detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2804.smt2 (content) ok ok 3.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2803.smt2 (content) ok ok 17.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2802.smt2 (content) ok ok 3.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2801.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2800.smt2 (content) ok ok 3.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_280.smt2 (content) ok ok 15.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_28.smt2 (content) ok ok 15.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2799.smt2 (content) ok ok 2.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2798.smt2 (content) ok ok 3.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2797.smt2 (content) ok ok 3.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2796.smt2 (content) ok ok 3.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2795.smt2 (content) ok ok 3.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2794.smt2 (content) ok ok 2.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2793.smt2 (content) ok ok 3.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2792.smt2 (content) ok ok 22.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2791.smt2 (content) ok ok 3.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2790.smt2 (content) ok ok 3.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_279.smt2 (content) ok ok 14s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2789.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2788.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2787.smt2 (content) ok ok 3.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2786.smt2 (content) ok ok 2.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2785.smt2 (content) ok ok 3.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2784.smt2 (content) ok ok 3.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2783.smt2 (content) ok ok 3.2s