detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dynamic_reaction_to_static_bounds.proof-node829.smt2 (content) warn ok 0.127s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dynamic_reaction_to_static_bounds.proof-node819.smt2 (content) warn ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-simple-node6247.smt2 (content) warn ok 0.167s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-simple-node6246.smt2 (content) warn ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-simple-node6245.smt2 (content) warn ok 0.171s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-simple-node5005.smt2 (content) warn ok 0.115s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-simple-node3459.smt2 (content) warn ok 0.118s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-simple-node3458.smt2 (content) warn ok 0.223s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-simple-node3457.smt2 (content) warn ok 0.180s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-node6709.smt2 (content) warn ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-node6709-new.smt2 (content) warn ok 0.117s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-node6708.smt2 (content) warn ok 0.175s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-node6708-new.smt2 (content) warn ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-node6707.smt2 (content) warn ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-node6707-new.smt2 (content) warn ok 0.110s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-node5506.smt2 (content) warn ok 0.185s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-node5506-new.smt2 (content) warn ok 0.173s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-node5505.smt2 (content) warn ok 0.172s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-node5505-new.smt2 (content) warn ok 0.186s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-node3897.smt2 (content) warn ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-node3896.smt2 (content) warn ok 0.115s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-node3895.smt2 (content) warn ok 0.125s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/controllability-lemma-node2220.smt2 (content) warn ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/controllability-lemma-node1346.smt2 (content) warn ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/controllability-lemma-disturbed.proof-node770.smt2 (content) warn ok 0.180s