| 1780658390 |
Dan |
main |
N=12000 |
RESTART |
| 1780658388 |
Dan |
main |
N=12000 |
MODIFY |
| 1780658363 |
Dan |
feature/tt-was-singular-sbeta |
8.0+0.08 |
CREATE P=0 TP=1000 |
| 1780658257 |
Dan |
main |
N=12000 |
STOP |
| 1780658254 |
Dan |
feature/tt-was-singular-ext |
8.0+0.08 |
CREATE P=0 TP=1000 |
| 1780656639 |
Dan |
main |
N=12000 |
MODIFY |
| 1780655162 |
Dan |
main |
N=12000 |
RESTART |
| 1780655159 |
Dan |
main |
N=12000 |
MODIFY |
| 1780655156 |
Dan |
main |
N=12000 |
MODIFY |
| 1780654814 |
Dan |
main |
N=12000 |
STOP |
| 1780654808 |
Dan |
feature/tt-cut-lmr |
8.0+0.08 |
CREATE P=0 TP=1000 |
| 1780653047 |
Dan |
main |
N=12000 |
RESTART |
| 1780653044 |
Dan |
main |
N=12000 |
MODIFY |
| 1780649170 |
Dan |
main |
N=12000 |
STOP |
| 1780649167 |
Dan |
feature/no-se-all-node |
8.0+0.08 |
CREATE P=0 TP=1000 |
| 1780638940 |
Dan |
main |
N=12000 |
MODIFY |
| 1780629614 |
Tecci |
main |
N=5000 |
CREATE P=0 TP=1000 |
| 1780607543 |
Dan |
feature/pvs-quiet-see-bad-eval |
8.0+0.08 |
MODIFY |
| 1780607538 |
Dan |
feature/pvs-noisy-see-bad-eval |
8.0+0.08 |
MODIFY |
| 1780606901 |
Dan |
feature/pvs-quiet-see-bad-eval |
8.0+0.08 |
RESTART |
| 1780606899 |
Dan |
feature/pvs-noisy-see-bad-eval |
8.0+0.08 |
RESTART |
| 1780606893 |
Dan |
feature/pvs-noisy-see-bad-eval |
8.0+0.08 |
MODIFY |
| 1780606885 |
Dan |
feature/pvs-quiet-see-bad-eval |
8.0+0.08 |
MODIFY |
| 1780606879 |
Dan |
feature/pvs-quiet-see-bad-eval |
8.0+0.08 |
STOP |
| 1780606877 |
Dan |
feature/pvs-noisy-see-bad-eval |
8.0+0.08 |
STOP |