OpenBench Testing Framework

DateUserTestTCSummary
1782576028Jgilchristrfp-ge-beta8.0+0.08DELETE
1782575986Jgilchristiir-in-pv-or-cutnode20.0+0.20CREATE P=-151 TP=1000
1782549683Jgilchristtriple-extensions8.0+0.08CREATE P=-14 TP=1000
1782520922Jgilchristsimpl-check-extensions8.0+0.08RESTART
1782520911Jgilchristsimpl-check-extensions8.0+0.08MODIFY
1782520256Jgilchristtriple-extensions8.0+0.08MODIFY
1782520243Jgilchristtriple-extensions8.0+0.08MODIFY
1782520116Jgilchristreduce-less-if-improving8.0+0.08RESTART
1782520046Jgilchristrfp-ge-beta8.0+0.08RESTART
1782520039Jgilchristreduce-less-if-improving8.0+0.08STOP
1782520036Jgilchristquiescence-futility-pruning8.0+0.08MODIFY
1782520013Jgilchristrfp-ge-beta8.0+0.08STOP
1782520007Jgilchristrfp-ge-beta8.0+0.08MODIFY
1782514781Jgilchristdon-t-let-reduction-drop-into-qsearch8.0+0.08MODIFY
1782514776Jgilchristtriple-extensions8.0+0.08MODIFY
1782514771Jgilchristtriple-extensions8.0+0.08MODIFY
1782514763Jgilchristtriple-extensions8.0+0.08CREATE P=-10 TP=1000
1782514600Jgilchristalternative-pvs-form20.0+0.20RESTART
1782514480Jgilchristalternative-pvs-form20.0+0.20STOP
1782514475Jgilchristalternative-pvs-form20.0+0.20MODIFY
1782513229Jgilchristtriple-extensions8.0+0.08DELETE
1782513224Jgilchristtriple-extensions8.0+0.08STOP
1782510157Jgilchristalternative-pvs-form20.0+0.20MODIFY
1782510146Jgilchristalternative-pvs-form20.0+0.20CREATE P=0 TP=1000
1782492178Jgilchristalternative-pvs-form8.0+0.08CREATE P=-1 TP=1000