| 1779960026 | Dan | main | N=12000 | MODIFY |
| 1779960021 | Dan | feature/mega-spsa | 40.0+0.40 | CREATE P=0 TP=1000 |
| 1779959574 | Dan | main | N=12000 | MODIFY |
| 1779955153 | Dan | main | N=12000 | MODIFY |
| 1779955147 | Dan | main | N=12000 | CREATE P=0 TP=1000 |
| 1779955112 | Dan | main | N=12000 | DELETE |
| 1779955089 | Dan | main | N=12000 | CREATE P=-1 TP=1000 |
| 1779955017 | Dan | main | N=20000 | STOP |
| 1779951273 | Dan | feature/mega-spsa | 40.0+0.40 | MODIFY |
| 1779923137 | Dan | feature/pvs-see-quiet-incheck | 8.0+0.08 | RESTART |
| 1779915495 | Dan | feature/proper-opp-worsening | 8.0+0.08 | MODIFY |
| 1779909677 | Dan | feature/proper-opp-worsening | 8.0+0.08 | MODIFY |
| 1779909641 | Dan | feature/mini-pc-before-nmp | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1779902849 | Dan | feature/pvs-see-quiet-incheck | 8.0+0.08 | STOP |
| 1779902845 | Dan | feature/proper-opp-worsening | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1779899452 | Dan | feature/pvs-see-quiet-incheck | 8.0+0.08 | MODIFY |
| 1779891969 | Dan | feature/mega-spsa | 40.0+0.40 | MODIFY |
| 1779891964 | Dan | feature/qs-see-quiet-evasions | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1779883834 | Dan | feature/mega-spsa | 40.0+0.40 | MODIFY |
| 1779883332 | Dan | feature/mega-spsa | 40.0+0.40 | MODIFY |
| 1779846586 | Tecci | main | N=5000 | CREATE P=0 TP=1000 |
| 1779831378 | Dan | feature/mega-spsa | 40.0+0.40 | MODIFY |
| 1779809417 | Dan | feature/pvs-see-quiet-incheck | 8.0+0.08 | RESTART |
| 1779809414 | Dan | feature/pvs-see-quiet-incheck | 8.0+0.08 | MODIFY |
| 1779809405 | Dan | feature/pvs-see-quiet-incheck | 8.0+0.08 | STOP |