RektBench Testing Framework

DateUserTestTCSummary
1757374046Erenfail-high-count-lmr-68.0+0.08CREATE P=-1 TP=1000
1757373479Erenpost-lmr-conthist-update8.0+0.08CREATE P=-1 TP=1000
1757373245Erennoisy-futility-pruning-28.0+0.08STOP
1757373241Erenprior-lmr-reduction8.0+0.08CREATE P=0 TP=1000
1757371838Rektdielmp-base8.0+0.08STOP
1757371833Rektdiefp-improving8.0+0.08CREATE P=0 TP=1000
1757371733Erennoisy-futility-pruning-28.0+0.08STOP
1757371728Erennoisy-futility-pruning-28.0+0.08CREATE P=0 TP=1000
1757370465Erennoisy-lmp8.0+0.08STOP
1757370461Erennoisy-futility-pruning-28.0+0.08CREATE P=0 TP=1000
1757368784Erennoisy-lmp8.0+0.08STOP
1757368781Erennoisy-lmp8.0+0.08CREATE P=0 TP=1000
1757366157Rektdielmp-base8.0+0.08CREATE P=0 TP=1000
1757365775Erensimplify-more-negext-nonpv8.0+0.08STOP
1757364354Erennoisy-lmp8.0+0.08MODIFY
1757364348Erensimplify-more-negext-nonpv8.0+0.08MODIFY
1757361602Erensimplify-more-negext-nonpv8.0+0.08MODIFY
1757361592Erendepth-14-rfp-240.0+0.40MODIFY
1757361482Rektdielmp-improving8.0+0.08MODIFY
1757361477Rektdielmp-improving8.0+0.08MODIFY
1757358243Rektdielmp-improving8.0+0.08CREATE P=0 TP=1000
1757358237Rektdielmp-improving8.0+0.08STOP
1757357357Rektdielmp-improving8.0+0.08CREATE P=0 TP=1000
1757357349Rektdielmp-improving8.0+0.08STOP
1757347637Rektdielmp-improving8.0+0.08CREATE P=0 TP=1000