detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2624.smt2 (content) ok ok 3.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2623.smt2 (content) ok ok 3.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2622.smt2 (content) ok ok 2.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2621.smt2 (content) ok ok 4.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2620.smt2 (content) ok ok 2.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_262.smt2 (content) ok ok 11.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2619.smt2 (content) ok ok 3.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2618.smt2 (content) ok ok 2.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2617.smt2 (content) ok ok 3.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2616.smt2 (content) ok ok 2.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2615.smt2 (content) ok ok 3.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2614.smt2 (content) ok ok 16.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2613.smt2 (content) ok ok 3.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2612.smt2 (content) ok ok 2.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2611.smt2 (content) ok ok 3.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2610.smt2 (content) ok ok 3.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_261.smt2 (content) ok ok 15.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2609.smt2 (content) ok ok 2.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2608.smt2 (content) ok ok 3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2607.smt2 (content) ok ok 2.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2606.smt2 (content) ok ok 3.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2605.smt2 (content) ok ok 3.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2604.smt2 (content) ok ok 2.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2603.smt2 (content) ok ok 18.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2602.smt2 (content) ok ok 3.9s