detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3282.smt2 (content) ok ok 0.119s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3281.smt2 (content) ok ok 0.111s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3280.smt2 (content) ok ok 0.134s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_328.smt2 (content) ok ok 0.102s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3279.smt2 (content) ok ok 0.101s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3278.smt2 (content) ok ok 0.078s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3277.smt2 (content) ok ok 0.119s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3276.smt2 (content) ok ok 0.087s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3275.smt2 (content) ok ok 0.099s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3274.smt2 (content) ok ok 0.122s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3273.smt2 (content) ok ok 0.091s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3272.smt2 (content) ok ok 0.084s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3271.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3270.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_327.smt2 (content) ok ok 0.147s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3269.smt2 (content) ok ok 0.156s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3268.smt2 (content) ok ok 0.013s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3267.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3266.smt2 (content) ok ok 0.014s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3265.smt2 (content) ok ok 0.045s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3264.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3263.smt2 (content) ok ok 0.046s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3262.smt2 (content) ok ok 0.029s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3261.smt2 (content) ok ok 0.039s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3260.smt2 (content) ok ok 0.059s