DateUserTestTCSummary
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
1771517335Sp00phcomplexity-tm40.0+0.40MODIFY
1771514216Sp00phcomplexity-tm40.0+0.40RESTART
1771514204Sp00phcomplexity-tm40.0+0.40STOP
1771514035Sp00phcomplexity-tm40.0+0.40MODIFY
1771508730Sp00phcontcorr-2ply8.0+0.08CREATE P=0 TP=1000
1771508256Sp00phfp-pv8.0+0.08MODIFY
1771508251Sp00phfp-pv8.0+0.08CREATE P=0 TP=1000
1771508110Danfeature/rfp-not-complex8.0+0.08CREATE P=0 TP=1000