detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_627.smt2 (content) ok ok 16s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6269.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6268.smt2 (content) ok ok 0.144s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6267.smt2 (content) ok ok 0.088s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6266.smt2 (content) ok ok 0.151s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6265.smt2 (content) ok ok 0.087s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6264.smt2 (content) ok ok 0.145s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6263.smt2 (content) ok ok 0.089s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6262.smt2 (content) ok ok 0.143s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6261.smt2 (content) ok ok 0.152s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6260.smt2 (content) ok ok 0.151s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_626.smt2 (content) ok ok 13.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6259.smt2 (content) ok ok 0.149s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6258.smt2 (content) ok ok 19.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6257.smt2 (content) ok ok 0.147s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6256.smt2 (content) ok ok 0.153s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6255.smt2 (content) ok ok 0.145s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6254.smt2 (content) ok ok 0.162s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6253.smt2 (content) ok ok 0.145s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6252.smt2 (content) ok ok 0.160s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6251.smt2 (content) ok ok 0.154s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6250.smt2 (content) ok ok 0.152s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_625.smt2 (content) ok ok 21.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6249.smt2 (content) ok ok 0.158s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6248.smt2 (content) ok ok 0.156s