OpenBench Testing Framework

DateUserTestTCSummary
1775207821Claudemain10.0+0.10STOP
1775207617Claudefix-hindsight-sign10.0+0.10CREATE P=0 TP=10
1775207616Claudefix-hindsight-sign10.0+0.10STOP
1775207616Claudefix-alpha-reduce10.0+0.10STOP
1775207615Claudefix-smp-helper-time10.0+0.10STOP
1775207197Claudefix-nmp-depth-gate10.0+0.10CREATE P=0 TP=10
1775207196Claudefix-nmp-verify-depth10.0+0.10CREATE P=0 TP=10
1775207195Claudefix-nmp-capture-r10.0+0.10CREATE P=0 TP=10
1775206893Adamfix-se-extensions10.0+0.10MODIFY
1775206832Adamfix-hindsight-sign10.0+0.10RESTART
1775206716Adamfix-hindsight-sign10.0+0.10MODIFY
1775206606Adamfix-cuckoo-bugs10.0+0.10STOP
1775206606Claudefix-see-promotion10.0+0.10STOP
1775171292Adamfix-nmp-bugs10.0+0.10MODIFY
1775170910Adamfix-cuckoo-bugs10.0+0.10MODIFY
1775170316Adamfix-unmake-keys10.0+0.10MODIFY
1775170311Adamfix-cuckoo-bugs10.0+0.10MODIFY
1775170231Adammain10.0+0.10MODIFY
1775170195Claudetest-768pw-w710.0+0.10STOP
1775169036Claudefix-probcut10.0+0.10CREATE P=5 TP=10
1775169034Claudefix-is-pseudo-legal10.0+0.10STOP
1775168999Adamfix-probcut10.0+0.10STOP
1775168102Adamfix-unmake-keys10.0+0.10MODIFY
1775168092Adamfix-see-ep10.0+0.10MODIFY
1775167952Claudefix-cuckoo-bugs10.0+0.10CREATE P=0 TP=10