OpenBench Testing Framework

DateUserTestTCSummary
1777371056Worldsimplify-bmc40.0+0.40CREATE P=0 TP=1000
1777370790Worldtt-cutoffs-440.0+0.40DELETE
1777370786Worldtt-cutoffs-440.0+0.40CREATE P=0 TP=1000
1777370783Worldtt-cutoffs-440.0+0.40CREATE P=0 TP=1000
1777339512Worldlmr-clamp8.0+0.08STOP
1777337750Worldlmr-clamp-28.0+0.08CREATE P=0 TP=1000
1777337733Worldlmr-clamp-28.0+0.08DELETE
1777337730Worldlmr-clamp-28.0+0.08STOP
1777336998Worldsimplify-bmc8.0+0.08CREATE P=0 TP=1000
1777336927Worldasp-win-noise5.0+0.05CREATE P=-1 TP=1000
1777336599Worldlmr-clamp-28.0+0.08CREATE P=0 TP=1000
1777336590Worldlmr-clamp8.0+0.08CREATE P=0 TP=1000
1777334888Worldtt-depth-cutoffs5.0+0.05STOP
1777334104Worldtt-cutoffs-340.0+0.40CREATE P=-1 TP=1000
1777331749Worldtt-cutoffs-38.0+0.08CREATE P=0 TP=1000
1777331742Worldtt-cutoffs-38.0+0.08DELETE
1777331512Worldtt-cutoffs-48.0+0.08CREATE P=0 TP=1000
1777331498Worldtt-depth-cutoffs5.0+0.05RESTART
1777331379Worldtt-depth-cutoffs5.0+0.05STOP
1777331374Worldtt-cutoffs-38.0+0.08CREATE P=0 TP=1000
1777331049Worldtt-depth-cutoffs5.0+0.05RESTART
1777330996Worldtt-depth-cutoffs5.0+0.05STOP
1777330993Worldtt-cutoffs-28.0+0.08CREATE P=0 TP=1000
1777330523Worldtt-depth-cutoffs5.0+0.05MODIFY
1777329615Worldtt-depth-cutoffs5.0+0.05MODIFY