DateUserTestTCSummary
1768543370Peregrinelmp-in-check-240.0+0.40STOP
1768543360Peregrinereverse_qsearch40.0+0.40MODIFY
1768537707Cj5716prelim-se-28.0+0.08CREATE P=0 TP=1000
1768521682Peregrinereverse_qsearch40.0+0.40CREATE P=0 TP=1000
1768521661Peregrinereverse_qsearch8.0+0.08DELETE
1768521624Peregrinereverse_qsearch8.0+0.08CREATE P=0 TP=1000
1768519650Cj5716tt-was-singular8.0+0.08CREATE P=0 TP=1000
1768518418Worldsimplify-away-initial-depth40.0+0.40CREATE P=0 TP=1000
1768517869Worldsimplify-away-initial-depth8.0+0.08MODIFY
1768517864Worldsimplify-away-initial-depth8.0+0.08MODIFY
1768517669Peregrinereverse_qsearch8.0+0.08CREATE P=0 TP=1000
1768517477Peregrinereverse_qsearch8.0+0.08DELETE
1768517465Peregrinereverse_qsearch8.0+0.08CREATE P=0 TP=1000
1768517137Worldsimplify-lmr-check-rule40.0+0.40RESTART
1768517133Worldsimplify-lmr-check-rule40.0+0.40STOP
1768517122Worldsimplify-lmr-check-rule40.0+0.40RESTART
1768517091Worldsimplify-lmr-check-rule40.0+0.40STOP
1768517087Worldsimplify-away-initial-depth8.0+0.08MODIFY
1768516154Cj5716pc-skip-bad-eval40.0+0.40STOP
1768516141Cj5716less-bits-age8.0+0.08STOP
1768513251Worldsimplify-lmr-check-rule40.0+0.40MODIFY
1768513000Worldsimplify-away-initial-depth8.0+0.08RESTART
1768512961Worldsimplify-away-initial-depth8.0+0.08STOP
1768512953Worldsimplify-lmr-check-rule40.0+0.40MODIFY
1768512942Worldsimplify-lmr-check-rule40.0+0.40CREATE P=0 TP=1000