detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2285.smt2 (content) ok ok 0.060s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2284.smt2 (content) ok ok 0.062s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2283.smt2 (content) ok ok 0.269s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2282.smt2 (content) ok ok 0.203s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2281.smt2 (content) ok ok 0.200s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2280.smt2 (content) ok ok 0.319s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_228.smt2 (content) ok ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2279.smt2 (content) ok ok 0.357s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2278.smt2 (content) ok ok 0.079s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2277.smt2 (content) ok ok 0.178s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2276.smt2 (content) ok ok 0.057s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2275.smt2 (content) ok ok 0.091s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2274.smt2 (content) ok ok 0.044s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2273.smt2 (content) ok ok 0.165s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2272.smt2 (content) ok ok 0.177s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2271.smt2 (content) ok ok 0.167s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2270.smt2 (content) ok ok 0.201s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_227.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2269.smt2 (content) ok ok 0.316s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2268.smt2 (content) ok ok 0.179s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2267.smt2 (content) ok ok 0.085s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2266.smt2 (content) ok ok 0.178s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2265.smt2 (content) ok ok 0.204s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2264.smt2 (content) ok ok 0.248s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2263.smt2 (content) ok ok 0.166s