detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node151408.smt2 (content) warn ok 0.116s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node151296.smt2 (content) warn ok 0.169s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node150970.smt2 (content) warn ok 0.114s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node150858.smt2 (content) warn ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node150608.smt2 (content) warn ok 0.125s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node15051.smt2 (content) warn ok 0.123s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node150404.smt2 (content) warn ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node150292.smt2 (content) warn ok 0.184s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node149857.smt2 (content) warn ok 0.122s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node149745.smt2 (content) warn ok 0.117s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node149531.smt2 (content) warn ok 0.171s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node14939.smt2 (content) warn ok 0.174s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node149098.smt2 (content) warn ok 0.122s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node148986.smt2 (content) warn ok 0.120s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node148772.smt2 (content) warn ok 0.127s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node148568.smt2 (content) warn ok 0.124s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node148232.smt2 (content) warn ok 0.124s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node148120.smt2 (content) warn ok 0.124s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node147712.smt2 (content) warn ok 0.120s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node147381.smt2 (content) warn ok 0.171s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node147269.smt2 (content) warn ok 0.247s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node147055.smt2 (content) warn ok 0.123s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node146851.smt2 (content) warn ok 0.164s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node146449.smt2 (content) warn ok 0.114s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node146337.smt2 (content) warn ok 0.127s