detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node189817.smt2 (content) warn ok 0.046s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node189705.smt2 (content) warn ok 0.054s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node189374.smt2 (content) warn ok 0.058s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node188949.smt2 (content) warn ok 0.048s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node188837.smt2 (content) warn ok 0.071s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node188623.smt2 (content) warn ok 0.072s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node188419.smt2 (content) warn ok 0.057s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node188180.smt2 (content) warn ok 0.054s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node18817.smt2 (content) warn ok 0.051s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node187936.smt2 (content) warn ok 0.048s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node187732.smt2 (content) warn ok 0.071s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node187493.smt2 (content) warn ok 0.077s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node187381.smt2 (content) warn ok 0.050s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node187167.smt2 (content) warn ok 0.081s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node186963.smt2 (content) warn ok 0.073s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node186627.smt2 (content) warn ok 0.069s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node186296.smt2 (content) warn ok 0.094s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node186184.smt2 (content) warn ok 0.057s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node185970.smt2 (content) warn ok 0.090s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node185766.smt2 (content) warn ok 0.078s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node185527.smt2 (content) warn ok 0.076s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node185415.smt2 (content) warn ok 0.049s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node185007.smt2 (content) warn ok 0.057s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node18486.smt2 (content) warn ok 0.058s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node184646.smt2 (content) warn ok 0.069s