detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7192.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7191.smt2 (content) ok ok 13.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7190.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_719.smt2 (content) ok ok 11.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7189.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7188.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7187.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7186.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7185.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7184.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7183.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7182.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7181.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7180.smt2 (content) ok ok 17.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_718.smt2 (content) ok ok 10.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7179.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7178.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7177.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7176.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7175.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7174.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7173.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7172.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7171.smt2 (content) ok ok 0.029s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_7170.smt2 (content) ok ok 0.023s