detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node39751.smt2 (content) warn ok 0.081s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node39725.smt2 (content) warn ok 0.053s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node39715.smt2 (content) warn ok 0.055s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node39317.smt2 (content) warn ok 0.050s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node3891.smt2 (content) warn ok 0.065s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node38802.smt2 (content) warn ok 0.057s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node38776.smt2 (content) warn ok 0.047s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node38766.smt2 (content) warn ok 0.055s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node3865.smt2 (content) warn ok 0.067s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node3855.smt2 (content) warn ok 0.089s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node38396.smt2 (content) warn ok 0.052s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node38370.smt2 (content) warn ok 0.064s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node38360.smt2 (content) warn ok 0.070s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node38042.smt2 (content) warn ok 0.056s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node37527.smt2 (content) warn ok 0.052s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node37501.smt2 (content) warn ok 0.049s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node37491.smt2 (content) warn ok 0.049s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node37018.smt2 (content) warn ok 0.046s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node37008.smt2 (content) warn ok 0.068s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node3612.smt2 (content) warn ok 0.080s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node35952.smt2 (content) warn ok 0.044s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node35942.smt2 (content) warn ok 0.048s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node35453.smt2 (content) warn ok 0.053s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node34036.smt2 (content) warn ok 0.056s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node34026.smt2 (content) warn ok 0.050s