MattBench Testing Framework

DateUserTestTCSummary
1771545734Teccifp-pv40.0+0.40STOP
1771545731Teccicont4-corr8.0+0.08CREATE P=0 TP=1000
1771544558Sp00phscore-stability8.0+0.08CREATE P=0 TP=1000
1771544550Sp00phscore-stability8.0+0.08STOP
1771543354Sp00phscore-stability8.0+0.08CREATE P=0 TP=1000
1771543347Sp00phscore-stability8.0+0.08STOP
1771541336Sp00phscore-stability8.0+0.08CREATE P=0 TP=1000
1771539516Paulfeature/razoring8.0+0.08CREATE P=0 TP=1000
1771535398Teccifp-pv40.0+0.40MODIFY
1771533108Teccifp-pv40.0+0.40CREATE P=-1 TP=1000
1771532713Paulfeature/futility-pruning8.0+0.08CREATE P=0 TP=1000
1771532438Teccifp-pv8.0+0.08STOP
1771529940Paulchore/remove-pv-assert8.0+0.08CREATE P=0 TP=1000
1771529817Paulfix/score-scaling8.0+0.08CREATE P=0 TP=1000
1771529798Sp00phcomplexity-tm40.0+0.40MODIFY
1771529789Sp00phcheck-lmr8.0+0.08CREATE P=0 TP=1000
1771524187Danfeature/even-more-tunables40.0+0.40CREATE P=0 TP=1000
1771520676Paulfix/pvs-node-logic8.0+0.08CREATE P=0 TP=1000
1771520470Paulfix/pvs-node-logic8.0+0.08STOP
1771519325Paulfix/pvs-node-logic8.0+0.08CREATE P=0 TP=1000
1771519067Paulfix/pvs-node-logic8.0+0.08STOP
1771519057Paulfix/pvs-node-logic8.0+0.08STOP
1771518483Paulfix/pvs-node-logic8.0+0.08CREATE P=0 TP=1000
1771518169Teccifp-pv8.0+0.08MODIFY
1771518050Paulfix/pvs-node-logic8.0+0.08CREATE P=0 TP=1000