detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node35535.smt2 (content) warn ok 0.119s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node355115.smt2 (content) warn ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node355003.smt2 (content) warn ok 0.118s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node354789.smt2 (content) warn ok 0.118s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node354585.smt2 (content) warn ok 0.188s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node354249.smt2 (content) warn ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node353918.smt2 (content) warn ok 0.111s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node353806.smt2 (content) warn ok 0.171s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node353592.smt2 (content) warn ok 0.119s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node353388.smt2 (content) warn ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node35321.smt2 (content) warn ok 0.120s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node353149.smt2 (content) warn ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node353037.smt2 (content) warn ok 0.174s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node352719.smt2 (content) warn ok 0.146s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node352261.smt2 (content) warn ok 0.110s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node352149.smt2 (content) warn ok 0.121s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node351935.smt2 (content) warn ok 0.122s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node351731.smt2 (content) warn ok 0.166s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node351492.smt2 (content) warn ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node351248.smt2 (content) warn ok 0.127s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node35117.smt2 (content) warn ok 0.185s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node351044.smt2 (content) warn ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node350805.smt2 (content) warn ok 0.116s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node350693.smt2 (content) warn ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node350479.smt2 (content) warn ok 0.120s