detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2239.smt2 (content) ok ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2238.smt2 (content) ok ok 0.048s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2237.smt2 (content) ok ok 0.056s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2236.smt2 (content) ok ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2235.smt2 (content) ok ok 0.053s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2233.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2232.smt2 (content) ok ok 0.059s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2231.smt2 (content) ok ok 0.057s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2230.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_223.smt2 (content) ok ok 0.125s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2229.smt2 (content) ok ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2228.smt2 (content) ok ok 0.068s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2227.smt2 (content) ok ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2226.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2225.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2224.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2223.smt2 (content) ok ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2222.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2221.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2220.smt2 (content) ok ok 0.057s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_222.smt2 (content) ok ok 0.129s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2219.smt2 (content) ok ok 0.045s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2218.smt2 (content) ok ok 0.060s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2217.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2216.smt2 (content) ok ok 0.016s