| 1780654814 | Dan | main | N=12000 | STOP |
| 1780654808 | Dan | feature/tt-cut-lmr | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1780653047 | Dan | main | N=12000 | RESTART |
| 1780653044 | Dan | main | N=12000 | MODIFY |
| 1780649170 | Dan | main | N=12000 | STOP |
| 1780649167 | Dan | feature/no-se-all-node | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1780638940 | Dan | main | N=12000 | MODIFY |
| 1780629614 | Tecci | main | N=5000 | CREATE P=0 TP=1000 |
| 1780607543 | Dan | feature/pvs-quiet-see-bad-eval | 8.0+0.08 | MODIFY |
| 1780607538 | Dan | feature/pvs-noisy-see-bad-eval | 8.0+0.08 | MODIFY |
| 1780606901 | Dan | feature/pvs-quiet-see-bad-eval | 8.0+0.08 | RESTART |
| 1780606899 | Dan | feature/pvs-noisy-see-bad-eval | 8.0+0.08 | RESTART |
| 1780606893 | Dan | feature/pvs-noisy-see-bad-eval | 8.0+0.08 | MODIFY |
| 1780606885 | Dan | feature/pvs-quiet-see-bad-eval | 8.0+0.08 | MODIFY |
| 1780606879 | Dan | feature/pvs-quiet-see-bad-eval | 8.0+0.08 | STOP |
| 1780606877 | Dan | feature/pvs-noisy-see-bad-eval | 8.0+0.08 | STOP |
| 1780606873 | Dan | feature/cont-quiet-base | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1780603613 | Dan | feature/pvs-quiet-see-bad-eval | 8.0+0.08 | RESTART |
| 1780599839 | Dan | feature/pvs-quiet-see-bad-eval | 8.0+0.08 | STOP |
| 1780597415 | Dan | feature/pvs-quiet-see-bad-eval | 8.0+0.08 | MODIFY |
| 1780596968 | Dan | feature/pvs-quiet-see-bad-eval | 8.0+0.08 | RESTART |
| 1780596966 | Dan | feature/pvs-quiet-see-bad-eval | 8.0+0.08 | MODIFY |
| 1780596942 | Dan | feature/pvs-quiet-see-bad-eval | 8.0+0.08 | STOP |
| 1780590302 | Dan | main | N=12000 | RESTART |
| 1780590299 | Dan | main | N=12000 | MODIFY |