OpenBench Testing Framework

DateUserTestTCSummary
1765074357Worldlmr-depth-ttpv-reduction8.0+0.08CREATE P=-1 TP=1000
1765073488Worldsee-one-shot8.0+0.08CREATE P=0 TP=1000
1765073260Worldless-lmp8.0+0.08CREATE P=0 TP=1000
1765073254Worldprobcut-log-depth-240.0+0.40STOP
1765069306Worldprobcut-log-depth-240.0+0.40CREATE P=0 TP=1000
1765042719Worldnetworks40.0+0.40RESTART
1765042676Worldnetworks40.0+0.40STOP
1765042669Worldnetworks40.0+0.40MODIFY
1765042140Worldprobcut-log-depth-28.0+0.08MODIFY
1765041043Worldnetworks8.0+0.08STOP
1765040862Worldprobcut-log-depth-28.0+0.08CREATE P=-1 TP=1000
1765040799Worldnetworks40.0+0.40MODIFY
1765040790Worldnetworks40.0+0.40CREATE P=0 TP=1000
1765040102Worldmain40.0+0.40CREATE P=-50 TP=1000
1765040076Worldmain8.0+0.08CREATE P=-50 TP=1000
1765040043Worldstrict-worsening8.0+0.08RESTART
1765040012Worldnetworks8.0+0.08MODIFY
1765040005Worldnetworks8.0+0.08DELETE
1765040000Worldnetworks8.0+0.08CREATE P=0 TP=1000
1765040000Worldnetworks8.0+0.08CREATE P=0 TP=1000
1765039823Worldstrict-worsening8.0+0.08STOP
1765039797Worldstrict-worsening8.0+0.08CREATE P=0 TP=1000
1765037673Worldhs-reduction8.0+0.08STOP
1765037662Worldse-log-depth40.0+0.40STOP
1765031289Worldhs-reduction8.0+0.08CREATE P=0 TP=1000