detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_285.smt2 (content) ok ok 17.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2849.smt2 (content) ok ok 3.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2848.smt2 (content) ok ok 2.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2847.smt2 (content) ok ok 23.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2846.smt2 (content) ok ok 3.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2845.smt2 (content) ok ok 3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2844.smt2 (content) ok ok 3.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2843.smt2 (content) ok ok 2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2842.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2841.smt2 (content) ok ok 2.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2840.smt2 (content) ok ok 3.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_284.smt2 (content) ok ok 11.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2839.smt2 (content) ok ok 3.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2838.smt2 (content) ok ok 2.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2837.smt2 (content) ok ok 3.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2836.smt2 (content) ok ok 20.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2835.smt2 (content) ok ok 3.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2834.smt2 (content) ok ok 2.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2833.smt2 (content) ok ok 3.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2832.smt2 (content) ok ok 3.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2831.smt2 (content) ok ok 3.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2830.smt2 (content) ok ok 3.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_283.smt2 (content) ok ok 14.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2829.smt2 (content) ok ok 2.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2828.smt2 (content) ok ok 0.017s