detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_735.smt2 (content) ok ok 15.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7349.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7348.smt2 (content) ok ok 0.039s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7347.smt2 (content) ok ok 17.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7346.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7345.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7344.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7343.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7342.smt2 (content) ok ok 0.041s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7341.smt2 (content) ok ok 0.041s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7340.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_734.smt2 (content) ok ok 13s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7339.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7338.smt2 (content) ok ok 0.039s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7337.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7336.smt2 (content) ok ok 12.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7335.smt2 (content) ok ok 21.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7334.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7333.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7332.smt2 (content) ok ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7331.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7330.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_733.smt2 (content) ok ok 12.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7329.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7328.smt2 (content) ok ok 0.024s