| 1782722232 | Jgilchrist | spsa | 20.0+0.20 | CREATE P=100 TP=1000 |
| 1782720132 | Jgilchrist | more-extension-se-tt-ge-beta | 20.0+0.20 | RESTART |
| 1782720115 | Jgilchrist | iir-in-pv-or-cutnode | 20.0+0.20 | DELETE |
| 1782720100 | Jgilchrist | more-extension-se-tt-ge-beta | 20.0+0.20 | STOP |
| 1782686058 | Jgilchrist | more-extension-se-tt-ge-beta | 20.0+0.20 | CREATE P=-1 TP=1000 |
| 1782686042 | Jgilchrist | more-extension-se-tt-ge-beta | 8.0+0.08 | DELETE |
| 1782686038 | Jgilchrist | more-extension-se-tt-ge-beta | 8.0+0.08 | CREATE P=-1 TP=1000 |
| 1782686021 | Jgilchrist | cutnode-negext | 20.0+0.20 | MODIFY |
| 1782685003 | Jgilchrist | rfp-improving | 20.0+0.20 | STOP |
| 1782684655 | Jgilchrist | reduce-less-if-we-gave-check | 20.0+0.20 | CREATE P=-160 TP=1000 |
| 1782587941 | Jgilchrist | alternative-pvs-form | 20.0+0.20 | MODIFY |
| 1782585750 | Jgilchrist | cutnode-negext | 20.0+0.20 | MODIFY |
| 1782585735 | Jgilchrist | rfp-improving | 20.0+0.20 | MODIFY |
| 1782583518 | Jgilchrist | triple-extensions | 20.0+0.20 | MODIFY |
| 1782577122 | Jgilchrist | simpl-check-extensions | 8.0+0.08 | STOP |
| 1782577005 | Jgilchrist | iir-in-pv-or-cutnode | 20.0+0.20 | MODIFY |
| 1782576992 | Jgilchrist | cutnode-negext | 20.0+0.20 | CREATE P=-157 TP=1000 |
| 1782576682 | Jgilchrist | rfp-improving | 20.0+0.20 | CREATE P=-154 TP=1000 |
| 1782576475 | Jgilchrist | triple-extensions | 20.0+0.20 | CREATE P=-153 TP=1000 |
| 1782576463 | Jgilchrist | triple-extensions | 20.0+0.20 | DELETE |
| 1782576457 | Jgilchrist | triple-extensions | 20.0+0.20 | CREATE P=-153 TP=1000 |
| 1782576428 | Jgilchrist | triple-extensions | 8.0+0.08 | STOP |
| 1782576412 | Jgilchrist | quiescence-futility-pruning | 20.0+0.20 | CREATE P=-152 TP=1000 |
| 1782576070 | Jgilchrist | iir-in-pv-or-cutnode | 20.0+0.20 | CREATE P=-151 TP=1000 |
| 1782576046 | Jgilchrist | iir-in-pv-or-cutnode | 20.0+0.20 | DELETE |