detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2252.smt2 (content) ok ok 0.178s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2251.smt2 (content) ok ok 0.183s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2250.smt2 (content) ok ok 0.197s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_225.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2249.smt2 (content) ok ok 0.174s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2248.smt2 (content) ok ok 0.145s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2247.smt2 (content) ok ok 0.280s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2246.smt2 (content) ok ok 0.247s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2245.smt2 (content) ok ok 0.079s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2244.smt2 (content) ok ok 0.187s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2243.smt2 (content) ok ok 0.383s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2242.smt2 (content) ok ok 0.211s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2241.smt2 (content) ok ok 0.264s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2240.smt2 (content) ok ok 0.176s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_224.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2239.smt2 (content) ok ok 0.177s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2238.smt2 (content) ok ok 0.183s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2237.smt2 (content) ok ok 0.266s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2236.smt2 (content) ok ok 0.270s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2235.smt2 (content) ok ok 0.231s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2234.smt2 (content) ok ok 0.065s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2233.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2232.smt2 (content) ok ok 0.189s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2231.smt2 (content) ok ok 0.198s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2230.smt2 (content) ok ok 0.268s