detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_978.smt2 (content) ok ok 0.058s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_977.smt2 (content) ok ok 0.044s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_976.smt2 (content) ok ok 0.069s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_975.smt2 (content) ok ok 0.066s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_974.smt2 (content) ok ok 0.066s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_973.smt2 (content) ok ok 0.065s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_972.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_971.smt2 (content) ok ok 0.065s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_970.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_97.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_969.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_968.smt2 (content) ok ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_967.smt2 (content) ok ok 0.066s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_966.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_965.smt2 (content) ok ok 0.065s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_964.smt2 (content) ok ok 0.079s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_963.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_962.smt2 (content) ok ok 0.059s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_961.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_960.smt2 (content) ok ok 0.012s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_96.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_959.smt2 (content) ok ok 0.040s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_958.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_957.smt2 (content) ok ok 0.067s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_956.smt2 (content) ok ok 0.062s