OpenBench Testing Framework

DateUserTestTCSummary
1750350273Peregrinefix-root4.0+0.04STOP
1750350269Peregrinefix-root24.0+0.04MODIFY
1750350264Peregrinefix-root24.0+0.04CREATE P=0 TP=1000
1750347134Peregrinesimplify-diving8.0+0.08RESTART
1750347131Peregrinefix-root4.0+0.04MODIFY
1750346429Peregrinesimplify-diving8.0+0.08STOP
1750346426Peregrinefix-root4.0+0.04CREATE P=0 TP=1000
1750344200Worldmain8.0+0.08MODIFY
1750341565Worldsimplify-lmr-gives-check8.0+0.08MODIFY
1750341564Worldsimplify-lmr-gives-check8.0+0.08MODIFY
1750341560Worldmain8.0+0.08MODIFY
1750341557WorldmainN=25000STOP
1750340092StyxdotomainN=25000MODIFY
1750340086Styxdotomain8.0+0.08CREATE P=0 TP=1000
1750340073StyxdotomainN=25000CREATE P=0 TP=1000
1750333993Worldsimplify-diving8.0+0.08MODIFY
1750331892Worldremove-quiet-history-factorizer8.0+0.08MODIFY
1750331885Worldsimplify-lmr-gives-check8.0+0.08CREATE P=0 TP=1000
1750329792Worldsimplify-diving8.0+0.08MODIFY
1750327522Worldsimplify-killers8.0+0.08MODIFY
1750327287Worldremove-quiet-history-factorizer8.0+0.08CREATE P=0 TP=1000
1750323506Worldmain40.0+0.40DELETE
1750320532Worldfail-low-tt-move8.0+0.08RESTART
1750320531Worldlow-ply-history8.0+0.08RESTART
1750320531Worldsimplification-68.0+0.08RESTART