detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3074.smt2 (content) ok ok 3.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3073.smt2 (content) ok ok 3.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3072.smt2 (content) ok ok 3.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3071.smt2 (content) ok ok 3.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3070.smt2 (content) ok ok 3.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_307.smt2 (content) ok ok 14.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3069.smt2 (content) ok ok 19.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3068.smt2 (content) ok ok 3.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3067.smt2 (content) ok ok 3.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3066.smt2 (content) ok ok 2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3065.smt2 (content) ok ok 3.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3064.smt2 (content) ok ok 1.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3063.smt2 (content) ok ok 2.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3062.smt2 (content) ok ok 2.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3061.smt2 (content) ok ok 2.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3060.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_306.smt2 (content) ok ok 13.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3059.smt2 (content) ok ok 3.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3058.smt2 (content) ok ok 18.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3057.smt2 (content) ok ok 2.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3056.smt2 (content) ok ok 3.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3055.smt2 (content) ok ok 3.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3054.smt2 (content) ok ok 3.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3053.smt2 (content) ok ok 2.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3052.smt2 (content) ok ok 3.6s