OpenBench Testing Framework

DateUserTestTCSummary
1743064293Yoshie2000lmr-prune-red-28.0+0.08CREATE P=0 TP=1000
1743064236Yoshie2000lmr-prune-red8.0+0.08CREATE P=0 TP=1000
1743055598Aronqs_rewrite8.0+0.08RESTART
1743037762Vastfury-dont-fail-me-now8.0+0.08CREATE P=0 TP=1000
1743027350Yoshie2000lmr-prune-red8.0+0.08CREATE P=0 TP=1000
1743027171Yoshie2000postlmr-tthit-cond8.0+0.08CREATE P=0 TP=1000
1743023230Aronlmr_correction_opd8.0+0.08STOP
1743023227Aronlmr_correction_opd8.0+0.08CREATE P=0 TP=1000
1743019279Witeklmr_no_rand10.0+0.10MODIFY
1743019101Yoshie2000postlmr-opp-worsening40.0+0.40STOP
1743019097Yoshie2000postlmr-imp-not-imp8.0+0.08CREATE P=0 TP=1000
1743018987Yoshie2000postlmr-imp-not-imp8.0+0.08DELETE
1743014494Aronsq_speedup8.0+0.08STOP
1743014386Aronsq_speedup8.0+0.08RESTART
1743014378Aronsq_speedup8.0+0.08STOP
1743014289Aronlmr_correction_opd8.0+0.08CREATE P=0 TP=1000
1743010781DarkNeutrinopv-node-replacement8.0+0.08CREATE P=0 TP=1000
1743010582DarkNeutrinopv-node-replacement8.0+0.08DELETE
1743010559DarkNeutrinopv-node-replacement8.0+0.08CREATE P=0 TP=1000
1743010059Aronsq_speedup8.0+0.08DELETE
1743009461Aronsq_speedup8.0+0.08CREATE P=0 TP=1000
1743009260Aronsq_speedup8.0+0.08CREATE P=0 TP=1000
1742998222Witekmaster8.0+0.08MODIFY
1742998215Witekmaster60.0+0.60MODIFY
1742998209Witekmaster60.0+0.60MODIFY