| Date | User | Test | TC | Summary |
|---|---|---|---|---|
| 1762523159 | Peregrine | RFR | 8.0+0.08 | STOP |
| 1762523155 | Peregrine | RFR2 | 8.0+0.08 | MODIFY |
| 1762523137 | Peregrine | RFR2 | 8.0+0.08 | CREATE P=1 TP=1000 |
| 1762521743 | Peregrine | RFR | 8.0+0.08 | MODIFY |
| 1762521708 | Peregrine | razor-reductions | 8.0+0.08 | STOP |
| 1762521705 | Peregrine | RFR | 8.0+0.08 | CREATE P=1 TP=1000 |
| 1762520225 | Peregrine | current-search-count | 8.0+0.08 | RESTART |
| 1762520222 | Peregrine | simplify-hmr | 8.0+0.08 | RESTART |
| 1762520219 | Peregrine | see-3 | 8.0+0.08 | RESTART |
| 1762520129 | Peregrine | see-3 | 8.0+0.08 | STOP |
| 1762520126 | Peregrine | simplify-hmr | 8.0+0.08 | STOP |
| 1762520123 | Peregrine | current-search-count | 8.0+0.08 | STOP |
| 1762520034 | Peregrine | razor-reductions | 8.0+0.08 | CREATE P=1 TP=1000 |
| 1762516391 | World | see-3 | 8.0+0.08 | MODIFY |
| 1762516367 | World | current-search-count | 8.0+0.08 | MODIFY |
| 1762516358 | World | see-3 | 8.0+0.08 | MODIFY |
| 1762516351 | World | simplify-hmr | 8.0+0.08 | MODIFY |
| 1762507200 | World | fp-no-skip | 8.0+0.08 | STOP |
| 1762507142 | World | tt-entry-value | 8.0+0.08 | STOP |
| 1762507130 | World | simplify-hmr | 8.0+0.08 | CREATE P=-2 TP=1000 |
| 1762505604 | World | see-2 | 8.0+0.08 | STOP |
| 1762504562 | World | see-1 | 8.0+0.08 | STOP |
| 1762504557 | World | see-2 | 8.0+0.08 | MODIFY |
| 1762504554 | World | see-4 | 8.0+0.08 | DELETE |
| 1762504539 | World | see-4 | 8.0+0.08 | MODIFY |