detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-inv-node6638.smt2 (content) warn ok 0.116s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-inv-node6637.smt2 (content) warn ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-inv-node6622.smt2 (content) warn ok 0.172s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-inv-node6621.smt2 (content) warn ok 0.252s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-inv-node6606.smt2 (content) warn ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-inv-node6605.smt2 (content) warn ok 0.111s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-inv-node6576.smt2 (content) warn ok 0.118s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-inv-node6575.smt2 (content) warn ok 0.181s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-inv-node6574.smt2 (content) warn ok 0.117s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-inv-node6573.smt2 (content) warn ok 0.110s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-inv-node6249.smt2 (content) warn ok 0.174s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-inv-node6248.smt2 (content) warn ok 0.115s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-inv-node6247.smt2 (content) warn ok 0.121s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/binary_driver-2007-10-09-node8746.smt2 (content) warn ok 0.171s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/binary_driver-2007-10-09-node8745.smt2 (content) warn ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/binary_driver-2007-10-09-node14896.smt2 (content) warn ok 0.128s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/binary_driver-2007-10-09-node14895.smt2 (content) warn ok 0.111s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/binary_driver-2007-10-09-node13792.smt2 (content) warn ok 0.126s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/binary_driver-2007-10-09-node13791.smt2 (content) warn ok 0.114s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/binary_driver-2007-10-09-node12553.smt2 (content) warn ok 0.115s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/binary_driver-2007-10-09-node12552.smt2 (content) warn ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/binary_driver-2007-10-09-node11384.smt2 (content) warn ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/binary_driver-2007-10-09-node11383.smt2 (content) warn ok 0.114s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/binary_driver-2007-10-09-node10280.smt2 (content) warn ok 0.120s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/binary_driver-2007-10-09-node10279.smt2 (content) warn ok 0.114s