detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node19355.smt2 (content) warn ok 0.047s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node18830.smt2 (content) warn ok 0.044s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node18288.smt2 (content) warn ok 0.051s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node18278.smt2 (content) warn ok 0.074s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node17908.smt2 (content) warn ok 0.056s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node17882.smt2 (content) warn ok 0.046s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node17872.smt2 (content) warn ok 0.072s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node17304.smt2 (content) warn ok 0.049s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node16789.smt2 (content) warn ok 0.051s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node16763.smt2 (content) warn ok 0.070s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node16753.smt2 (content) warn ok 0.051s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node16159.smt2 (content) warn ok 0.050s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node16105.smt2 (content) warn ok 0.048s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node16095.smt2 (content) warn ok 0.056s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node15885.smt2 (content) warn ok 0.046s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node15467.smt2 (content) warn ok 0.090s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node1479.smt2 (content) warn ok 0.055s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node1469.smt2 (content) warn ok 0.053s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node14496.smt2 (content) warn ok 0.091s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node14442.smt2 (content) warn ok 0.051s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node14432.smt2 (content) warn ok 0.046s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node14222.smt2 (content) warn ok 0.059s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node14168.smt2 (content) warn ok 0.045s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node14158.smt2 (content) warn ok 0.056s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node13832.smt2 (content) warn ok 0.048s