detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_968.smt2 (content) ok ok 0.248s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_967.smt2 (content) ok ok 0.232s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_966.smt2 (content) ok ok 0.222s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_965.smt2 (content) ok ok 0.221s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_964.smt2 (content) ok ok 0.240s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_963.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_962.smt2 (content) ok ok 0.232s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_961.smt2 (content) ok ok 0.234s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_960.smt2 (content) ok ok 0.224s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_96.smt2 (content) ok ok 0.079s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_959.smt2 (content) ok ok 0.214s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_958.smt2 (content) ok ok 0.198s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_957.smt2 (content) ok ok 0.212s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_956.smt2 (content) ok ok 0.240s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_955.smt2 (content) ok ok 0.267s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_954.smt2 (content) ok ok 0.264s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_953.smt2 (content) ok ok 0.251s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_952.smt2 (content) ok ok 0.064s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_951.smt2 (content) ok ok 0.238s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_950.smt2 (content) ok ok 0.218s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_95.smt2 (content) ok ok 0.044s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_949.smt2 (content) ok ok 0.274s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_948.smt2 (content) ok ok 0.240s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_947.smt2 (content) ok ok 0.292s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_946.smt2 (content) ok ok 0.247s