detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-simple-node3459.smt2 (content) warn ok 0.101s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-simple-node3458.smt2 (content) warn ok 0.054s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-simple-node3457.smt2 (content) warn ok 0.049s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-node6709.smt2 (content) warn ok 0.049s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-node6709-new.smt2 (content) warn ok 0.047s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-node6708.smt2 (content) warn ok 0.047s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-node6708-new.smt2 (content) warn ok 0.055s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-node6707.smt2 (content) warn ok 0.051s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-node6707-new.smt2 (content) warn ok 0.068s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-node5506.smt2 (content) warn ok 0.051s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-node5506-new.smt2 (content) warn ok 0.047s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-node5505.smt2 (content) warn ok 0.066s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-node5505-new.smt2 (content) warn ok 0.056s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-node3897.smt2 (content) warn ok 0.055s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-node3896.smt2 (content) warn ok 0.051s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-node3895.smt2 (content) warn ok 0.068s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/controllability-lemma-node2220.smt2 (content) warn ok 0.052s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/controllability-lemma-node1346.smt2 (content) warn ok 0.074s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/controllability-lemma-disturbed.proof-node770.smt2 (content) warn ok 0.077s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/controllability-lemma-disturbed-node5255.smt2 (content) warn ok 0.046s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/controllability-lemma-disturbed-node4537.smt2 (content) warn ok 0.068s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/breaking-node2128.smt2 (content) warn ok 0.044s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-simple-node5982.smt2 (content) warn ok 0.049s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-simple-node5981.smt2 (content) warn ok 0.050s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-simple-node5980.smt2 (content) warn ok 0.081s