detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2106.smt2 (content) ok ok 4.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2105.smt2 (content) ok ok 4.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2104.smt2 (content) ok ok 4.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2103.smt2 (content) ok ok 3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2102.smt2 (content) ok ok 24.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2101.smt2 (content) ok ok 2.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2100.smt2 (content) ok ok 3.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_210.smt2 (content) ok ok 17.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_21.smt2 (content) ok ok 17.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2099.smt2 (content) ok ok 2.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2098.smt2 (content) ok ok 4.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2097.smt2 (content) ok ok 4.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2096.smt2 (content) ok ok 2.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2095.smt2 (content) ok ok 4.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2094.smt2 (content) ok ok 4.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2093.smt2 (content) ok ok 4.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2092.smt2 (content) ok ok 2.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2091.smt2 (content) ok ok 18.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2090.smt2 (content) ok ok 4.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_209.smt2 (content) ok ok 16.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2089.smt2 (content) ok ok 4.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2088.smt2 (content) ok ok 4.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2087.smt2 (content) ok ok 4.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2086.smt2 (content) ok ok 2.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2085.smt2 (content) ok ok 2.7s