OpenBench Testing Framework

DateUserTestTCSummary
178724838187update-histories-on-beta-cutoff-only8.0+0.08CREATE P=0 TP=1000
178722802187broadred28.0+0.08CREATE P=0 TP=1000
178715421387broadred40.0+0.40CREATE P=0 TP=1000
178713628887broadred8.0+0.08CREATE P=0 TP=1000
178708887187pcm-low-mc8.0+0.08CREATE P=0 TP=1000
178707695887pv1-stability28.0+0.08CREATE P=0 TP=1000
178707695587pv1-stability28.0+0.08DELETE
178707689787pv1-stability28.0+0.08CREATE P=0 TP=1000
178707577287pv1-stability8.0+0.08CREATE P=0 TP=1000
178705320387upcoming-repetition-may-be-excluded8.0+0.08CREATE P=0 TP=1000
1787035297Jb1729nmp-nonproven-mate40.0+0.40CREATE P=0 TP=1000
1787002138Jb1729nmp-nonproven-mate8.0+0.08CREATE P=0 TP=1000
1787002077Jb1729nmp-nonproven-mate8.0+0.08STOP
1787001900Jb1729nmp-nonproven-mate8.0+0.08CREATE P=0 TP=1000
1786992916Saphereyeno-qs-in-check40.0+0.40CREATE P=0 TP=1000
1786972736Saphereyeno-qs-in-check8.0+0.08CREATE P=0 TP=1000
1786879346Saphereyesplit-dpbusd4.0+0.04CREATE P=0 TP=1000
1786879301Saphereyesplit-dpbusd4.0+0.04DELETE
1786878759Saphereyesplit-dpbusd4.0+0.04CREATE P=0 TP=1000
1786805706Saphereyeeval-diff-selective40.0+0.40STOP
1786797602Saphereyeeval-diff-selective40.0+0.40RESTART
1786797598Saphereyeeval-diff-selective8.0+0.08DELETE
1786796861Saphereyeeval-diff-selective8.0+0.08CREATE P=0 TP=1000
1786796639Saphereyeeval-diff-selective40.0+0.40STOP
1786743055Saphereyeeval-diff-selective40.0+0.40CREATE P=0 TP=1000