detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2287.smt2 (content) ok ok 2.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2286.smt2 (content) ok ok 3.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2285.smt2 (content) ok ok 3.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2284.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2283.smt2 (content) ok ok 0.048s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2282.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2281.smt2 (content) ok ok 18.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2280.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_228.smt2 (content) ok ok 14.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2279.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2278.smt2 (content) ok ok 3.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2277.smt2 (content) ok ok 2.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2276.smt2 (content) ok ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2275.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2274.smt2 (content) ok ok 2.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2273.smt2 (content) ok ok 3.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2272.smt2 (content) ok ok 4.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2271.smt2 (content) ok ok 2.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2270.smt2 (content) ok ok 24.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_227.smt2 (content) ok ok 15.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2269.smt2 (content) ok ok 4.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2268.smt2 (content) ok ok 4.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2267.smt2 (content) ok ok 4.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2266.smt2 (content) ok ok 2.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2265.smt2 (content) ok ok 4s