detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7237.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7236.smt2 (content) ok ok 13.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7235.smt2 (content) ok ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7234.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7233.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7232.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7231.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7230.smt2 (content) ok ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_723.smt2 (content) ok ok 12.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7229.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7228.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7227.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7226.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7225.smt2 (content) ok ok 11.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7224.smt2 (content) ok ok 25.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7223.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7222.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7221.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7220.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_722.smt2 (content) ok ok 12.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7219.smt2 (content) ok ok 0.045s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7218.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7217.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7216.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7215.smt2 (content) ok ok 0.025s