detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-simple-node5965.smt2 (content) warn ok 0.053s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-simple-node5964.smt2 (content) warn ok 0.048s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-simple-node5963.smt2 (content) warn ok 0.073s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-simple-node5920.smt2 (content) warn ok 0.058s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-simple-node5919.smt2 (content) warn ok 0.075s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-simple-node5918.smt2 (content) warn ok 0.053s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-simple-node5917.smt2 (content) warn ok 0.075s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-simple-node5587.smt2 (content) warn ok 0.055s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-simple-node5586.smt2 (content) warn ok 0.079s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-node6060.smt2 (content) warn ok 0.056s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-node6059.smt2 (content) warn ok 0.050s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-node5857.smt2 (content) warn ok 0.064s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-node5856.smt2 (content) warn ok 0.045s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-node5841.smt2 (content) warn ok 0.046s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-node5840.smt2 (content) warn ok 0.054s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-node5839.smt2 (content) warn ok 0.048s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-node5810.smt2 (content) warn ok 0.066s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-node5809.smt2 (content) warn ok 0.052s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-node5808.smt2 (content) warn ok 0.047s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-inv-node6638.smt2 (content) warn ok 0.045s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-inv-node6637.smt2 (content) warn ok 0.047s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-inv-node6622.smt2 (content) warn ok 0.046s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-inv-node6621.smt2 (content) warn ok 0.052s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-inv-node6606.smt2 (content) warn ok 0.048s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-inv-node6605.smt2 (content) warn ok 0.070s