detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node13822.smt2 (content) warn ok 0.067s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node12972.smt2 (content) warn ok 0.048s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node12962.smt2 (content) warn ok 0.043s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node12517.smt2 (content) warn ok 0.059s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node12491.smt2 (content) warn ok 0.066s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node12481.smt2 (content) warn ok 0.076s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node12083.smt2 (content) warn ok 0.066s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node11568.smt2 (content) warn ok 0.049s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node11542.smt2 (content) warn ok 0.049s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node11532.smt2 (content) warn ok 0.085s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node11162.smt2 (content) warn ok 0.075s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node11136.smt2 (content) warn ok 0.085s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node11126.smt2 (content) warn ok 0.066s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node10808.smt2 (content) warn ok 0.055s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node10293.smt2 (content) warn ok 0.077s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node10267.smt2 (content) warn ok 0.078s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-onelane.proof-node10257.smt2 (content) warn ok 0.049s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dynamic_reaction_to_static_bounds.proof-node849.smt2 (content) warn ok 0.056s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dynamic_reaction_to_static_bounds.proof-node839.smt2 (content) warn ok 0.057s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dynamic_reaction_to_static_bounds.proof-node829.smt2 (content) warn ok 0.046s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dynamic_reaction_to_static_bounds.proof-node819.smt2 (content) warn ok 0.054s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-simple-node6247.smt2 (content) warn ok 0.046s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-simple-node6246.smt2 (content) warn ok 0.048s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-simple-node6245.smt2 (content) warn ok 0.075s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/dccs-example-simple-node5005.smt2 (content) warn ok 0.057s