detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node21152.smt2 (content) warn ok 0.126s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node20279.smt2 (content) warn ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node20269.smt2 (content) warn ok 0.119s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node19824.smt2 (content) warn ok 0.124s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node19624.smt2 (content) warn ok 0.119s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node19598.smt2 (content) warn ok 0.123s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node19355.smt2 (content) warn ok 0.178s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node18830.smt2 (content) warn ok 0.111s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node18288.smt2 (content) warn ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node18278.smt2 (content) warn ok 0.117s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node17908.smt2 (content) warn ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node17882.smt2 (content) warn ok 0.115s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node17872.smt2 (content) warn ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node17304.smt2 (content) warn ok 0.127s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node16789.smt2 (content) warn ok 0.166s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node16763.smt2 (content) warn ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node16753.smt2 (content) warn ok 0.111s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node16159.smt2 (content) warn ok 0.184s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node16105.smt2 (content) warn ok 0.112s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node16095.smt2 (content) warn ok 0.127s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node15885.smt2 (content) warn ok 0.247s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node15467.smt2 (content) warn ok 0.124s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node1479.smt2 (content) warn ok 0.171s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node1469.smt2 (content) warn ok 0.173s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node14496.smt2 (content) warn ok 0.118s