detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node231068.smt2 (content) warn ok 0.255s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node230956.smt2 (content) warn ok 0.174s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node230742.smt2 (content) warn ok 0.118s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node230538.smt2 (content) warn ok 0.115s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node230172.smt2 (content) warn ok 0.173s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node230060.smt2 (content) warn ok 0.171s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node229846.smt2 (content) warn ok 0.173s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node229413.smt2 (content) warn ok 0.115s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node229301.smt2 (content) warn ok 0.171s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node22930.smt2 (content) warn ok 0.173s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node229087.smt2 (content) warn ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node228883.smt2 (content) warn ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node228542.smt2 (content) warn ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node228430.smt2 (content) warn ok 0.114s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node228094.smt2 (content) warn ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node227763.smt2 (content) warn ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node227651.smt2 (content) warn ok 0.165s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node227437.smt2 (content) warn ok 0.120s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node22726.smt2 (content) warn ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node227233.smt2 (content) warn ok 0.244s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node226740.smt2 (content) warn ok 0.125s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node226628.smt2 (content) warn ok 0.116s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node226414.smt2 (content) warn ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node226210.smt2 (content) warn ok 0.118s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node225869.smt2 (content) warn ok 0.226s