| 1786813887 | upcoming-repetitions | sroelants | upcoming-repetitions | 8.0+0.08 | STOP |
| 1786813580 | qsearch-pvs | sroelants | qsearch-pvs | 8.0+0.08 | STOP |
| 1786813576 | upcoming-repetitions | sroelants | upcoming-repetitions | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1786788153 | qsearch-pvs | sroelants | qsearch-pvs | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1786725034 | semi-fat-stack | sroelants | semi-fat-stack | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1786725020 | semi-fat-stack | sroelants | semi-fat-stack | 8.0+0.08 | DELETE |
| 1786724300 | semi-fat-stack | sroelants | semi-fat-stack | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1786724244 | semi-fat-stack | sroelants | semi-fat-stack | 8.0+0.08 | DELETE |
| 1786723349 | semi-fat-stack | sroelants | semi-fat-stack | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1786227778 | search/razoring-again-again | sroelants | search/razoring-again-again | 8.0+0.08 | RESTART |
| 1786227766 | search/razoring-again-again | sroelants | search/razoring-again-again | 8.0+0.08 | RESTART |
| 1786227749 | search/razoring-again-again | sroelants | search/razoring-again-again | 8.0+0.08 | RESTART |
| 1786227744 | search/razoring-again-again | sroelants | search/razoring-again-again | 8.0+0.08 | RESTART |
| 1786214442 | cutnode-experiment | sroelants | cutnode-experiment | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1786169729 | search/fix-nmp-flags | sroelants | search/fix-nmp-flags | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1786168207 | search/multicut-return-mixed-score | sroelants | search/multicut-return-mixed-score | 8.0+0.08 | STOP |
| 1786127758 | search/multicut-return-mixed-score | sroelants | search/multicut-return-mixed-score | 8.0+0.08 | RESTART |
| 1786104614 | search/fix-nmp-flags | sroelants | search/fix-nmp-flags | 8.0+0.08 | DELETE |
| 1786099868 | search/fix-nmp-flags | sroelants | search/fix-nmp-flags | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1786099846 | search/fix-nmp-flags | sroelants | search/fix-nmp-flags | 8.0+0.08 | STOP |
| 1786097855 | search/multicut-return-mixed-score | sroelants | search/multicut-return-mixed-score | 8.0+0.08 | STOP |
| 1786097851 | search/fix-nmp-flags | sroelants | search/fix-nmp-flags | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1786093431 | search/multicut-return-mixed-score | sroelants | search/multicut-return-mixed-score | 8.0+0.08 | RESTART |
| 1786093427 | const-nodetype | sroelants | const-nodetype | 8.0+0.08 | DELETE |
| 1786089156 | search/multicut-return-mixed-score | sroelants | search/multicut-return-mixed-score | 8.0+0.08 | STOP |