detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6945.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6944.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6943.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6942.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6941.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6940.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_694.smt2 (content) ok ok 14.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6939.smt2 (content) ok ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6938.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6937.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6936.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6935.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6934.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6933.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6932.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6931.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6930.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_693.smt2 (content) ok ok 9.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6929.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6928.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6927.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6926.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6925.smt2 (content) ok ok 16.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6924.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6923.smt2 (content) ok ok 0.023s