detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_1724.smt2 (content) ok ok 0.012s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_1723.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_172.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_1718.smt2 (content) ok ok 0.013s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_1717.smt2 (content) ok ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_1714.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_171.smt2 (content) ok ok 0.086s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_1708.smt2 (content) ok ok 0.106s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_1707.smt2 (content) ok ok 0.100s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_1706.smt2 (content) ok ok 0.052s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_1703.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_1700.smt2 (content) ok ok 0.011s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_170.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_17.smt2 (content) ok ok 0.041s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_1695.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_1694.smt2 (content) ok ok 0.041s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_1693.smt2 (content) ok ok 0.012s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_1692.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_1691.smt2 (content) ok ok 0.014s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_1690.smt2 (content) ok ok 0.042s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_169.smt2 (content) ok ok 0.084s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_1687.smt2 (content) ok ok 0.012s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_1686.smt2 (content) ok ok 0.042s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_1681.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_168.smt2 (content) ok ok 0.085s