detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2084.smt2 (content) ok ok 3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2083.smt2 (content) ok ok 4.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2082.smt2 (content) ok ok 4.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2081.smt2 (content) ok ok 3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2080.smt2 (content) ok ok 17.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_208.smt2 (content) ok ok 16.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2079.smt2 (content) ok ok 4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2078.smt2 (content) ok ok 5.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2077.smt2 (content) ok ok 3.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2076.smt2 (content) ok ok 2.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2075.smt2 (content) ok ok 4.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2074.smt2 (content) ok ok 4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2073.smt2 (content) ok ok 4.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2072.smt2 (content) ok ok 4.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2071.smt2 (content) ok ok 4.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2070.smt2 (content) ok ok 2.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_207.smt2 (content) ok ok 14.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2069.smt2 (content) ok ok 16.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2068.smt2 (content) ok ok 2.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2067.smt2 (content) ok ok 4.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2066.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2065.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2064.smt2 (content) ok ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2063.smt2 (content) ok ok 0.029s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2062.smt2 (content) ok ok 0.038s