detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4726.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4725.smt2 (content) ok ok 0.087s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4724.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4723.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4722.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4721.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4720.smt2 (content) ok ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_472.smt2 (content) ok ok 0.076s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4719.smt2 (content) ok ok 0.060s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4718.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4717.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4716.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4715.smt2 (content) ok ok 0.059s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4714.smt2 (content) ok ok 0.065s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4713.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4712.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4711.smt2 (content) ok ok 0.040s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4710.smt2 (content) ok ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_471.smt2 (content) ok ok 0.090s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4709.smt2 (content) ok ok 0.061s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4708.smt2 (content) ok ok 0.059s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4707.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4706.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4705.smt2 (content) ok ok 0.029s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4704.smt2 (content) ok ok 0.033s