detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2365.smt2 (content) ok ok 0.178s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2364.smt2 (content) ok ok 0.199s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2363.smt2 (content) ok ok 0.215s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2362.smt2 (content) ok ok 0.171s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2361.smt2 (content) ok ok 0.176s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2360.smt2 (content) ok ok 0.171s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_236.smt2 (content) ok ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2359.smt2 (content) ok ok 0.161s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2358.smt2 (content) ok ok 0.137s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2357.smt2 (content) ok ok 0.163s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2356.smt2 (content) ok ok 0.301s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2355.smt2 (content) ok ok 0.224s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2354.smt2 (content) ok ok 0.195s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2353.smt2 (content) ok ok 0.194s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2352.smt2 (content) ok ok 0.183s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2351.smt2 (content) ok ok 0.175s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2350.smt2 (content) ok ok 0.177s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_235.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2349.smt2 (content) ok ok 0.162s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2348.smt2 (content) ok ok 0.167s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2347.smt2 (content) ok ok 0.174s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2346.smt2 (content) ok ok 0.178s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2345.smt2 (content) ok ok 0.216s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2344.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2343.smt2 (content) ok ok 0.180s