REPUGNANT CONCLUSIONS

DATEUSERTESTCONTROLSUMMARY
1755872273COSMOsuper-extend8.0+0.08CREATE P=0 TP=1000
1755868669COSMOpv-lmr-floor8.0+0.08CREATE P=0 TP=1000
1755819229COSMOhuge-pages4.0+0.04CREATE P=0 TP=1000
1755813593COSMOlmr-depth-analogisation8.0+0.08CREATE P=0 TP=1000
1755811386COSMOmatch-expectation8.0+0.08CREATE P=0 TP=1000
1755811045COSMOexceeds-expectation8.0+0.08DELETE
1755810831COSMOexceeds-expectation8.0+0.08RESTART
1755807726COSMOexceeds-expectation8.0+0.08CREATE P=0 TP=1000
1755807721COSMOexceeds-expectation8.0+0.08STOP
1755807462COSMOexceeds-expectation8.0+0.08CREATE P=0 TP=1000
1755717099AMBLYsf-pvs-fail-firm8.0+0.08MODIFY
1755714949COSMOsf-pvs-fail-firm8.0+0.08CREATE P=0 TP=1000
1755713661COSMOreprobe-corrhist8.0+0.08CREATE P=0 TP=1000
1755709671COSMOcontinuation-corrhist8.0+0.08CREATE P=0 TP=1000
1755704826COSMOlmr-complexity-adj8.0+0.08CREATE P=-1 TP=1000
1755703509COSMOlmr-complexity8.0+0.08RESTART
1755699330COSMOlmr-complexity8.0+0.08STOP
1755699292COSMOlmr-complexity8.0+0.08CREATE P=0 TP=1000
1755647190COSMOthreat-cap-hist40.0+0.40CREATE P=-1 TP=1000
1755645828COSMOthreat-cap-hist8.0+0.08CREATE P=0 TP=1000
1755639800COSMOmaster8.0+0.08CREATE P=1 TP=1000
1755633742COSMOlmr-extensions8.0+0.08CREATE P=0 TP=1000
1755633734COSMOlmr-extensions8.0+0.08DELETE
1755633428COSMOlmr-extensions8.0+0.08CREATE P=0 TP=1000
1755620330COSMOnmp-cut-guard8.0+0.08CREATE P=0 TP=1000