| DATE | USER | TEST | CONTROL | SUMMARY |
|---|---|---|---|---|
| 1755714949 | COSMO | sf-pvs-fail-firm | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1755713661 | COSMO | reprobe-corrhist | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1755709671 | COSMO | continuation-corrhist | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1755704826 | COSMO | lmr-complexity-adj | 8.0+0.08 | CREATE P=-1 TP=1000 |
| 1755703509 | COSMO | lmr-complexity | 8.0+0.08 | RESTART |
| 1755699330 | COSMO | lmr-complexity | 8.0+0.08 | STOP |
| 1755699292 | COSMO | lmr-complexity | 8.0+0.08 | CREATE P=0 TP=1000 |