detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2039.smt2 (content) ok ok 3.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2038.smt2 (content) ok ok 2.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2037.smt2 (content) ok ok 2.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2036.smt2 (content) ok ok 24s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2035.smt2 (content) ok ok 2.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2034.smt2 (content) ok ok 5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2033.smt2 (content) ok ok 4.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2032.smt2 (content) ok ok 4.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2031.smt2 (content) ok ok 5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2030.smt2 (content) ok ok 4.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_203.smt2 (content) ok ok 18s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2029.smt2 (content) ok ok 4.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2028.smt2 (content) ok ok 4.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2027.smt2 (content) ok ok 5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2026.smt2 (content) ok ok 3.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2025.smt2 (content) ok ok 24.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2024.smt2 (content) ok ok 3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2023.smt2 (content) ok ok 5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2022.smt2 (content) ok ok 4.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2021.smt2 (content) ok ok 3.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2020.smt2 (content) ok ok 5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_202.smt2 (content) ok ok 18.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2019.smt2 (content) ok ok 4.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2018.smt2 (content) ok ok 4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2017.smt2 (content) ok ok 4.8s