| Date | User | Test | TC | Summary |
|---|---|---|---|---|
| 1763568162 | World | main | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1763568156 | World | main | N=25000 | MODIFY |
| 1763568152 | World | main | N=25000 | CREATE P=0 TP=1000 |
| 1763566569 | World | scale-expt | N=25000 | MODIFY |
| 1763566553 | World | scale-expt | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1763565766 | World | simplify-see-threshold-2 | 8.0+0.08 | MODIFY |
| 1763565762 | World | scale-expt | N=25000 | CREATE P=0 TP=1000 |
| 1763564484 | World | simplify-see-threshold-2 | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1763550032 | World | simplify-tt-cut-cn | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1763545920 | World | higher-upper-bound | 8.0+0.08 | STOP |
| 1763545918 | World | simplify-fail-high-delta | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1763545868 | World | singular-depth-se | 40.0+0.40 | STOP |
| 1763537974 | World | yoshie-conthist | 8.0+0.08 | DELETE |
| 1763535875 | World | higher-upper-bound | 8.0+0.08 | MODIFY |
| 1763530127 | World | multicut-conthist | 8.0+0.08 | RESTART |
| 1763530125 | World | multicut-conthist | 8.0+0.08 | MODIFY |
| 1763530108 | World | multicut-conthist | 8.0+0.08 | STOP |
| 1763529839 | World | higher-upper-bound | 8.0+0.08 | MODIFY |
| 1763526731 | World | rfp-trust-eval | 8.0+0.08 | MODIFY |
| 1763526728 | World | higher-upper-bound | 8.0+0.08 | RESTART |
| 1763526727 | World | multicut-conthist | 8.0+0.08 | RESTART |
| 1763526685 | World | higher-upper-bound | 8.0+0.08 | STOP |
| 1763526684 | World | multicut-conthist | 8.0+0.08 | STOP |
| 1763526681 | World | rfp-trust-eval | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1763526500 | World | early-eval-ergodice | 8.0+0.08 | STOP |