detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4005.smt2 (content) ok ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4004.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4003.smt2 (content) ok ok 0.058s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4002.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4001.smt2 (content) ok ok 0.080s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4000.smt2 (content) ok ok 0.057s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_400.smt2 (content) ok ok 0.120s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_40.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3999.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3998.smt2 (content) ok ok 0.012s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3997.smt2 (content) ok ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3996.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3995.smt2 (content) ok ok 0.011s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3994.smt2 (content) ok ok 0.071s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3993.smt2 (content) ok ok 0.029s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3992.smt2 (content) ok ok 0.073s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3991.smt2 (content) ok ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3990.smt2 (content) ok ok 0.076s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_399.smt2 (content) ok ok 0.119s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3989.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3988.smt2 (content) ok ok 0.047s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3987.smt2 (content) ok ok 0.067s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3986.smt2 (content) ok ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_3985.smt2 (content) ok ok 0.075s