detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node109802.smt2 (content) warn ok 0.048s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node109593.smt2 (content) warn ok 0.053s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node109389.smt2 (content) warn ok 0.055s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node109022.smt2 (content) warn ok 0.071s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node108910.smt2 (content) warn ok 0.055s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node10891.smt2 (content) warn ok 0.056s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node108798.smt2 (content) warn ok 0.050s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node108589.smt2 (content) warn ok 0.046s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node108385.smt2 (content) warn ok 0.056s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node108273.smt2 (content) warn ok 0.095s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node107844.smt2 (content) warn ok 0.046s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node10779.smt2 (content) warn ok 0.064s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node107732.smt2 (content) warn ok 0.056s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node107518.smt2 (content) warn ok 0.057s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node107314.smt2 (content) warn ok 0.055s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node106948.smt2 (content) warn ok 0.050s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node106836.smt2 (content) warn ok 0.050s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node106622.smt2 (content) warn ok 0.071s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node106189.smt2 (content) warn ok 0.046s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node106077.smt2 (content) warn ok 0.051s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node105863.smt2 (content) warn ok 0.058s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node10570.smt2 (content) warn ok 0.075s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node105659.smt2 (content) warn ok 0.048s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node105318.smt2 (content) warn ok 0.049s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node105206.smt2 (content) warn ok 0.051s