detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/controllability-lemma-disturbed-node5255.smt2 (content) warn ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/controllability-lemma-disturbed-node4537.smt2 (content) warn ok 0.118s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/breaking-node2128.smt2 (content) warn ok 0.166s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-simple-node5982.smt2 (content) warn ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-simple-node5981.smt2 (content) warn ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-simple-node5980.smt2 (content) warn ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-simple-node5965.smt2 (content) warn ok 0.173s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-simple-node5964.smt2 (content) warn ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-simple-node5963.smt2 (content) warn ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-simple-node5920.smt2 (content) warn ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-simple-node5919.smt2 (content) warn ok 0.180s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-simple-node5918.smt2 (content) warn ok 0.123s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-simple-node5917.smt2 (content) warn ok 0.119s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-simple-node5587.smt2 (content) warn ok 0.121s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-simple-node5586.smt2 (content) warn ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-node6060.smt2 (content) warn ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-node6059.smt2 (content) warn ok 0.119s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-node5857.smt2 (content) warn ok 0.174s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-node5856.smt2 (content) warn ok 0.125s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-node5841.smt2 (content) warn ok 0.164s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-node5840.smt2 (content) warn ok 0.169s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-node5839.smt2 (content) warn ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-node5810.smt2 (content) warn ok 0.180s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-node5809.smt2 (content) warn ok 0.122s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-node5808.smt2 (content) warn ok 0.227s