detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node3612.smt2 (content) warn ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node35952.smt2 (content) warn ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node35942.smt2 (content) warn ok 0.124s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node35453.smt2 (content) warn ok 0.118s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node34036.smt2 (content) warn ok 0.114s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node34026.smt2 (content) warn ok 0.255s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node32507.smt2 (content) warn ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node32497.smt2 (content) warn ok 0.170s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node32249.smt2 (content) warn ok 0.172s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node32239.smt2 (content) warn ok 0.121s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node31777.smt2 (content) warn ok 0.181s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node31555.smt2 (content) warn ok 0.183s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node31529.smt2 (content) warn ok 0.182s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node31286.smt2 (content) warn ok 0.118s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node30761.smt2 (content) warn ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node3059.smt2 (content) warn ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node3033.smt2 (content) warn ok 0.114s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node3023.smt2 (content) warn ok 0.221s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node30219.smt2 (content) warn ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node30209.smt2 (content) warn ok 0.122s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node29839.smt2 (content) warn ok 0.117s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node29813.smt2 (content) warn ok 0.124s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node29803.smt2 (content) warn ok 0.112s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node29257.smt2 (content) warn ok 0.178s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node28742.smt2 (content) warn ok 0.180s