detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5572.smt2 (content) ok ok 0.660s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5571.smt2 (content) ok ok 0.616s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5570.smt2 (content) ok ok 17.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_557.smt2 (content) ok ok 13.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5569.smt2 (content) ok ok 0.592s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5568.smt2 (content) ok ok 0.593s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5567.smt2 (content) ok ok 0.648s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5566.smt2 (content) ok ok 0.601s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5565.smt2 (content) ok ok 0.601s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5564.smt2 (content) ok ok 0.581s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5563.smt2 (content) ok ok 0.342s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5562.smt2 (content) ok ok 0.596s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5561.smt2 (content) ok ok 0.377s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5560.smt2 (content) ok ok 0.523s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_556.smt2 (content) ok ok 17.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5559.smt2 (content) ok ok 14.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5558.smt2 (content) ok ok 23s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5557.smt2 (content) ok ok 15.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5556.smt2 (content) ok ok 0.599s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5555.smt2 (content) ok ok 0.511s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5554.smt2 (content) ok ok 0.592s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5553.smt2 (content) ok ok 0.389s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5552.smt2 (content) ok ok 0.356s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5551.smt2 (content) ok ok 0.618s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5550.smt2 (content) ok ok 0.623s