| 1777981444 | Jgilchrist | fail-medium-multicut | 8.0+0.08 | CREATE P=3 TP=1000 |
| 1777979373 | Jgilchrist | larger-negative-extensions | 8.0+0.08 | CREATE P=1 TP=1000 |
| 1777979280 | Jgilchrist | fail-medium-multicut | 8.0+0.08 | CREATE P=2 TP=1000 |
| 1777970459 | Jgilchrist | lmr-depth-lmp | 8.0+0.08 | CREATE P=-1 TP=1000 |
| 1777970423 | Jgilchrist | lmr-depth-history-pruning | 8.0+0.08 | DELETE |
| 1777970420 | Jgilchrist | lmr-depth-history-pruning | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1777914831 | Jgilchrist | lmr-depth-lmp | 8.0+0.08 | CREATE P=-4 TP=1000 |
| 1777910286 | Jgilchrist | lmr-depth-history-pruning | 8.0+0.08 | CREATE P=-1 TP=1000 |
| 1777909978 | Jgilchrist | less-branching | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1777909913 | Jgilchrist | futility-pruning | 8.0+0.08 | STOP |
| 1777817055 | Jgilchrist | futility-pruning | 8.0+0.08 | RESTART |
| 1777816993 | Jgilchrist | futility-pruning | 8.0+0.08 | STOP |
| 1777816986 | Jgilchrist | lmr-depth | 8.0+0.08 | CREATE P=2 TP=1000 |
| 1777814775 | Jgilchrist | futility-pruning | 8.0+0.08 | STOP |
| 1777814772 | Jgilchrist | futility-pruning | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1777814358 | Jgilchrist | futility-pruning | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1777814350 | Jgilchrist | futility-pruning | 8.0+0.08 | STOP |
| 1777813748 | Jgilchrist | futility-pruning | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1777813741 | Jgilchrist | futility-pruning | 8.0+0.08 | STOP |
| 1777813376 | Jgilchrist | futility-pruning | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1777674700 | Jgilchrist | futility-pruning | 8.0+0.08 | CREATE P=2 TP=1000 |
| 1777599043 | Jgilchrist | futility-pruning | 8.0+0.08 | STOP |
| 1777599039 | Jgilchrist | futility-pruning | 8.0+0.08 | CREATE P=2 TP=1000 |
| 1777597943 | Jgilchrist | spsa-2026-05-01 | 40.0+0.40 | RESTART |
| 1777597914 | Jgilchrist | spsa-2026-05-01 | 40.0+0.40 | STOP |