OpenBench Testing Framework

DateUserTestTCSummary
1756930335Worldmain60.0+0.60MODIFY
1756930331Worldmain60.0+0.60STOP
1756930328Worldlmr-reduction-all8.0+0.08CREATE P=0 TP=1000
1756930121Worldmain60.0+0.60RESTART
1756929741Worldmain60.0+0.60STOP
1756927939Worldmain60.0+0.60MODIFY
1756926103Worldmain60.0+0.60RESTART
1756925931Worldmain60.0+0.60STOP
1756925929Worldmain60.0+0.60MODIFY
1756925807Worldsee-lmr-depth8.0+0.08CREATE P=0 TP=1000
1756925345Worldmain60.0+0.60MODIFY
1756925322Worldmain60.0+0.60STOP
1756925319Worldmain60.0+0.60CREATE P=0 TP=1000
1756924449Worldmain60.0+0.60CREATE P=0 TP=1000
1756899540WorldmainN=25000CREATE P=0 TP=1000
1756899529Worldmain40.0+0.40CREATE P=-1 TP=1000
1756899521Worldmain8.0+0.08CREATE P=0 TP=1000
1756877966Peregrinefix-bad-pvs8.0+0.08MODIFY
1756877937Peregrinefix-bad-pvs8.0+0.08CREATE P=0 TP=1000
1756877380Peregrinefix-bad-pvs8.0+0.08DELETE
1756877315Peregrinefix-bad-pvs8.0+0.08CREATE P=0 TP=1000
1756846691Worldsimplify-see-threshold40.0+0.40MODIFY
1756846688Worldmain40.0+0.40CREATE P=0 TP=1000
1756846664Worldsimplify-see-threshold40.0+0.40RESTART
1756844416Worldsimplify-see-threshold40.0+0.40STOP