detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_63.smt2 (content) ok ok 0.013s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_629.smt2 (content) ok ok 0.414s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_628.smt2 (content) ok ok 0.470s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_627.smt2 (content) ok ok 0.377s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_626.smt2 (content) ok ok 0.396s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_625.smt2 (content) ok ok 0.421s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_624.smt2 (content) ok ok 0.440s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_623.smt2 (content) ok ok 0.429s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_622.smt2 (content) ok ok 0.431s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_621.smt2 (content) ok ok 0.498s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_620.smt2 (content) ok ok 0.417s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_62.smt2 (content) ok ok 0.014s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_619.smt2 (content) ok ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_618.smt2 (content) ok ok 0.437s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_617.smt2 (content) ok ok 0.465s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_616.smt2 (content) ok ok 0.415s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_615.smt2 (content) ok ok 0.435s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_614.smt2 (content) ok ok 0.430s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_613.smt2 (content) ok ok 0.430s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_612.smt2 (content) ok ok 0.424s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_611.smt2 (content) ok ok 0.456s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_610.smt2 (content) ok ok 0.429s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_61.smt2 (content) ok ok 0.011s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_609.smt2 (content) ok ok 0.396s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_608.smt2 (content) ok ok 0.040s