detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_990.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_99.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_989.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_988.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_987.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_986.smt2 (content) ok ok 0.075s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_985.smt2 (content) ok ok 0.222s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_984.smt2 (content) ok ok 0.282s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_983.smt2 (content) ok ok 0.218s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_982.smt2 (content) ok ok 0.235s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_981.smt2 (content) ok ok 0.238s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_980.smt2 (content) ok ok 0.220s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_98.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_979.smt2 (content) ok ok 0.210s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_978.smt2 (content) ok ok 0.225s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_977.smt2 (content) ok ok 0.236s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_976.smt2 (content) ok ok 0.231s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_975.smt2 (content) ok ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_974.smt2 (content) ok ok 0.044s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_973.smt2 (content) ok ok 0.246s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_972.smt2 (content) ok ok 0.205s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_971.smt2 (content) ok ok 0.224s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_970.smt2 (content) ok ok 0.216s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_97.smt2 (content) ok ok 0.013s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_969.smt2 (content) ok ok 0.191s