| 1720821060 | main | sroelants | main | 40.0+0.40 | CREATE P=0 TP=1000 |
| 1720821017 | main | sroelants | main | 40.0+0.40 | DELETE |
| 1720820976 | main | sroelants | main | 40.0+0.40 | STOP |
| 1720820918 | time/fix-increment | sroelants | time/fix-increment | 8.0+0.08 | STOP |
| 1720820911 | main | sroelants | main | 40.0+0.40 | CREATE P=0 TP=1000 |
| 1720816884 | time/fix-increment | sroelants | time/fix-increment | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1720813715 | spsa-tune-12-07-2024 | sroelants | spsa-tune-12-07-2024 | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1720813340 | refactor/global-params | sroelants | refactor/global-params | 10.0+0.10 | STOP |
| 1720782882 | refactor/global-params | sroelants | refactor/global-params | 10.0+0.10 | CREATE P=0 TP=1000 |
| 1720524698 | search/separate-refutation-moves | sroelants | search/separate-refutation-moves | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1720524684 | search/separate-refutation-moves | sroelants | search/separate-refutation-moves | 8.0+0.08 | STOP |
| 1720524307 | search/separate-refutation-moves | sroelants | search/separate-refutation-moves | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1720512180 | search/negext | sroelants | search/negext | 8.0+0.08 | STOP |
| 1720475469 | search/negext | sroelants | search/negext | 8.0+0.08 | RESTART |
| 1720468929 | search/cutnode-tracking | sroelants | search/cutnode-tracking | 8.0+0.08 | STOP |
| 1720466552 | search/cutnode-tracking | sroelants | search/cutnode-tracking | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1720465562 | search/cutnode-reductions | sroelants | search/cutnode-reductions | 8.0+0.08 | STOP |
| 1720462126 | search/cutnode-reductions | sroelants | search/cutnode-reductions | 8.0+0.08 | RESTART |
| 1720462021 | search/cutnode-reductions | sroelants | search/cutnode-reductions | 8.0+0.08 | STOP |
| 1720461205 | search/cutnode-reductions | sroelants | search/cutnode-reductions | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1720461196 | search/multicut | sroelants | search/multicut | 8.0+0.08 | STOP |
| 1720461157 | search/cutnode-reductions | sroelants | search/cutnode-reductions | 8.0+0.08 | STOP |
| 1720451734 | search/cutnode-reductions | sroelants | search/cutnode-reductions | 8.0+0.08 | STOP |
| 1720451710 | search/cutnode-reductions | sroelants | search/cutnode-reductions | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1720449978 | search/negext | sroelants | search/negext | 8.0+0.08 | STOP |