detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3736.smt2 (content) ok ok 0.013s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3735.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3734.smt2 (content) ok ok 0.011s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3733.smt2 (content) ok ok 0.039s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3732.smt2 (content) ok ok 0.012s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3731.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3730.smt2 (content) ok ok 0.039s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_373.smt2 (content) ok ok 0.120s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3729.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3728.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3727.smt2 (content) ok ok 0.041s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3726.smt2 (content) ok ok 0.039s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3725.smt2 (content) ok ok 0.010s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3724.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3723.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3722.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3721.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3720.smt2 (content) ok ok 0.011s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_372.smt2 (content) ok ok 0.060s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3719.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3718.smt2 (content) ok ok 0.011s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3717.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3716.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3715.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3714.smt2 (content) ok ok 0.031s