detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-inv-node6576.smt2 (content) warn ok 0.050s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-inv-node6575.smt2 (content) warn ok 0.046s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-inv-node6574.smt2 (content) warn ok 0.056s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-inv-node6573.smt2 (content) warn ok 0.051s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-inv-node6249.smt2 (content) warn ok 0.080s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-inv-node6248.smt2 (content) warn ok 0.073s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-inv-node6247.smt2 (content) warn ok 0.051s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/binary_driver-2007-10-09-node8746.smt2 (content) warn ok 0.060s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/binary_driver-2007-10-09-node8745.smt2 (content) warn ok 0.047s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/binary_driver-2007-10-09-node14896.smt2 (content) warn ok 0.059s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/binary_driver-2007-10-09-node14895.smt2 (content) warn ok 0.052s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/binary_driver-2007-10-09-node13792.smt2 (content) warn ok 0.050s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/binary_driver-2007-10-09-node13791.smt2 (content) warn ok 0.046s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/binary_driver-2007-10-09-node12553.smt2 (content) warn ok 0.049s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/binary_driver-2007-10-09-node12552.smt2 (content) warn ok 0.053s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/binary_driver-2007-10-09-node11384.smt2 (content) warn ok 0.061s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/binary_driver-2007-10-09-node11383.smt2 (content) warn ok 0.057s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/binary_driver-2007-10-09-node10280.smt2 (content) warn ok 0.052s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/binary_driver-2007-10-09-node10279.smt2 (content) warn ok 0.049s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/accelerating-node2100.smt2 (content) warn ok 0.070s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/FTRM-entry-tang-feasible-node1796.smt2 (content) warn ok 0.071s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/Ecoli-chemotaxis-node8285.smt2 (content) warn ok 0.072s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/Ecoli-chemotaxis-node8284.smt2 (content) warn ok 0.046s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/Ecoli-chemotaxis-node7008.smt2 (content) warn ok 0.050s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/Ecoli-chemotaxis-node7007.smt2 (content) warn ok 0.048s