| 1782903060 | Jgilchrist | thread-voting | 5.0+0.05 | DELETE |
| 1782902280 | Jgilchrist | thread-voting | 5.0+0.05 | RESTART |
| 1782902236 | Jgilchrist | thread-voting | 5.0+0.05 | STOP |
| 1782902177 | Jgilchrist | thread-time-management | 5.0+0.05 | MODIFY |
| 1782901701 | Jgilchrist | thread-time-management | 5.0+0.05 | RESTART |
| 1782901668 | Jgilchrist | thread-time-management | 5.0+0.05 | STOP |
| 1782901663 | Jgilchrist | thread-time-management | 5.0+0.05 | MODIFY |
| 1782901652 | Jgilchrist | thread-voting | 5.0+0.05 | CREATE P=0 TP=1000 |
| 1782901627 | Jgilchrist | thread-voting | 5.0+0.05 | DELETE |
| 1782900121 | Jgilchrist | thread-voting | 5.0+0.05 | CREATE P=-1 TP=1000 |
| 1782898329 | Jgilchrist | simpl-check-extensions | 20.0+0.20 | DELETE |
| 1782898326 | Jgilchrist | qsearch-in-check | 20.0+0.20 | STOP |
| 1782898316 | Jgilchrist | thread-time-management | 5.0+0.05 | CREATE P=0 TP=1000 |
| 1782894262 | Jgilchrist | simpl-check-extensions | 20.0+0.20 | RESTART |
| 1782894213 | Jgilchrist | simpl-check-extensions | 20.0+0.20 | STOP |
| 1782894204 | Jgilchrist | qsearch-in-check | 20.0+0.20 | CREATE P=1000 TP=1000 |
| 1782894181 | Jgilchrist | qsearch-in-check | 8.0+0.08 | DELETE |
| 1782894179 | Jgilchrist | qsearch-in-check | 8.0+0.08 | CREATE P=1000 TP=1000 |
| 1782891034 | Jgilchrist | upcoming-repetition-detection | 20.0+0.20 | STOP |
| 1782856856 | Jgilchrist | time-management-tune | 40.0+0.40 | CREATE P=-3 TP=1000 |
| 1782856802 | Jgilchrist | simpl-check-extensions | 20.0+0.20 | CREATE P=-1 TP=1000 |
| 1782856480 | Jgilchrist | reduce-less-if-we-gave-check | 20.0+0.20 | DELETE |
| 1782856381 | Jgilchrist | upcoming-repetition-detection | 20.0+0.20 | CREATE P=0 TP=1000 |
| 1782856372 | Jgilchrist | upcoming-repetition-detection | 20.0+0.20 | DELETE |
| 1782856331 | Jgilchrist | upcoming-repetition-detection | 20.0+0.20 | CREATE P=0 TP=1000 |