detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node174472.smt2 (content) warn ok 0.070s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node174360.smt2 (content) warn ok 0.056s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node174126.smt2 (content) warn ok 0.043s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node174014.smt2 (content) warn ok 0.070s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node173902.smt2 (content) warn ok 0.065s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node173665.smt2 (content) warn ok 0.053s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node173553.smt2 (content) warn ok 0.059s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node17340.smt2 (content) warn ok 0.051s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node173319.smt2 (content) warn ok 0.091s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node173207.smt2 (content) warn ok 0.052s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node173095.smt2 (content) warn ok 0.048s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node172886.smt2 (content) warn ok 0.067s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node172682.smt2 (content) warn ok 0.051s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node172570.smt2 (content) warn ok 0.059s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node172211.smt2 (content) warn ok 0.067s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node172099.smt2 (content) warn ok 0.049s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node171987.smt2 (content) warn ok 0.055s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node171778.smt2 (content) warn ok 0.053s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node171574.smt2 (content) warn ok 0.055s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node171462.smt2 (content) warn ok 0.074s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node17126.smt2 (content) warn ok 0.051s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node171228.smt2 (content) warn ok 0.049s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node171116.smt2 (content) warn ok 0.051s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node171004.smt2 (content) warn ok 0.054s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node170601.smt2 (content) warn ok 0.049s