detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2044.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2043.smt2 (content) ok ok 0.099s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2042.smt2 (content) ok ok 0.050s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2041.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2040.smt2 (content) ok ok 0.051s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_204.smt2 (content) ok ok 0.069s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2039.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2038.smt2 (content) ok ok 0.013s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2037.smt2 (content) ok ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2036.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2035.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2034.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2033.smt2 (content) ok ok 0.046s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2032.smt2 (content) ok ok 0.013s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2031.smt2 (content) ok ok 0.046s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2030.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_203.smt2 (content) ok ok 0.135s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2029.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2028.smt2 (content) ok ok 0.050s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2027.smt2 (content) ok ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2026.smt2 (content) ok ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2025.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2024.smt2 (content) ok ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2023.smt2 (content) ok ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2022.smt2 (content) ok ok 0.030s