detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_996.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_995.smt2 (content) ok ok 0.045s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_994.smt2 (content) ok ok 0.014s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_993.smt2 (content) ok ok 0.044s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_992.smt2 (content) ok ok 0.057s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_991.smt2 (content) ok ok 0.101s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_990.smt2 (content) ok ok 0.103s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_99.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_989.smt2 (content) ok ok 0.045s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_988.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_987.smt2 (content) ok ok 0.052s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_986.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_985.smt2 (content) ok ok 0.045s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_984.smt2 (content) ok ok 0.044s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_983.smt2 (content) ok ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_982.smt2 (content) ok ok 0.011s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_981.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_980.smt2 (content) ok ok 0.151s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_98.smt2 (content) ok ok 0.010s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_979.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_978.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_977.smt2 (content) ok ok 0.009s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_976.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_975.smt2 (content) ok ok 0.009s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_974.smt2 (content) ok ok 0.033s