detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node47058.smt2 (content) warn ok 0.111s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node46858.smt2 (content) warn ok 0.115s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node46832.smt2 (content) warn ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node46589.smt2 (content) warn ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node46064.smt2 (content) warn ok 0.178s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node45522.smt2 (content) warn ok 0.118s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node45512.smt2 (content) warn ok 0.117s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node45142.smt2 (content) warn ok 0.111s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node45116.smt2 (content) warn ok 0.179s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node45106.smt2 (content) warn ok 0.179s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node44538.smt2 (content) warn ok 0.182s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node44023.smt2 (content) warn ok 0.124s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node43997.smt2 (content) warn ok 0.127s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node43987.smt2 (content) warn ok 0.180s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node43393.smt2 (content) warn ok 0.119s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node43339.smt2 (content) warn ok 0.122s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node43329.smt2 (content) warn ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node43119.smt2 (content) warn ok 0.127s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node4271.smt2 (content) warn ok 0.124s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node42701.smt2 (content) warn ok 0.113s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node4261.smt2 (content) warn ok 0.166s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node41730.smt2 (content) warn ok 0.288s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node41676.smt2 (content) warn ok 0.115s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node41666.smt2 (content) warn ok 0.188s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node41456.smt2 (content) warn ok 0.116s