| 1765483554 | Jgilchrist | update-histories-during-se | 8.0+0.08 | MODIFY |
| 1765483551 | Jgilchrist | more-singular-extension | 40.0+0.40 | MODIFY |
| 1765483545 | Jgilchrist | persistent-thread-data | 8.0+0.08 | CREATE P=10 TP=1000 |
| 1765474630 | Jgilchrist | rfp-improving | 8.0+0.08 | DELETE |
| 1765474078 | Jgilchrist | rfp-improving | 8.0+0.08 | MODIFY |
| 1765474040 | Jgilchrist | rfp-improving | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1765474033 | Jgilchrist | rfp-improving | 8.0+0.08 | DELETE |
| 1765473958 | Jgilchrist | rfp-improving | 8.0+0.08 | CREATE P=22 TP=1000 |
| 1765469708 | Jgilchrist | more-singular-extension | 40.0+0.40 | MODIFY |
| 1765464688 | Jgilchrist | pick-best-result-from-threads | 8.0+0.08 | STOP |
| 1765464674 | Jgilchrist | disable-shared-counters | 8.0+0.08 | STOP |
| 1765458355 | Jgilchrist | less-lmp-if-not-improving | 8.0+0.08 | CREATE P=20 TP=1000 |
| 1765458184 | Jgilchrist | more-nmp-if-improving | 8.0+0.08 | DELETE |
| 1765457868 | Jgilchrist | more-nmp-if-improving | 8.0+0.08 | CREATE P=20 TP=1000 |
| 1765457732 | Jgilchrist | more-nmp-if-improving | 8.0+0.08 | DELETE |
| 1765457563 | Jgilchrist | more-nmp-if-improving | 8.0+0.08 | CREATE P=20 TP=1000 |
| 1765457492 | Jgilchrist | more-nmp-if-improving | 8.0+0.08 | DELETE |
| 1765457425 | Jgilchrist | more-nmp-if-improving | 8.0+0.08 | MODIFY |
| 1765457419 | Jgilchrist | more-nmp-if-improving | 8.0+0.08 | CREATE P=10 TP=1000 |
| 1765456851 | Jgilchrist | master | 8.0+0.08 | STOP |
| 1765455547 | Jgilchrist | master | 8.0+0.08 | CREATE P=19 TP=1000 |
| 1765455157 | Jgilchrist | conthist-1 | 8.0+0.08 | CREATE P=20 TP=1000 |
| 1765454753 | Jgilchrist | update-histories-during-se | 8.0+0.08 | CREATE P=15 TP=1000 |
| 1765451691 | Jgilchrist | more-singular-extension | 40.0+0.40 | CREATE P=10 TP=1000 |
| 1765451680 | Jgilchrist | more-singular-extension | 40.0+0.40 | STOP |