detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app6/bench_37.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app6/bench_36.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app6/bench_35.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app6/bench_34.smt2 (content) ok ok 0.052s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app6/bench_33.smt2 (content) ok ok 0.051s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app6/bench_32.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app6/bench_31.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app6/bench_30.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app6/bench_3.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app6/bench_29.smt2 (content) ok ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app6/bench_28.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app6/bench_27.smt2 (content) ok ok 0.013s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app6/bench_26.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app6/bench_25.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app6/bench_246.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app6/bench_245.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app6/bench_244.smt2 (content) ok ok 0.046s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app6/bench_243.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app6/bench_242.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app6/bench_241.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app6/bench_240.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app6/bench_24.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app6/bench_239.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app6/bench_238.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app6/bench_237.smt2 (content) ok ok 0.034s