detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2803.smt2 (content) ok ok 0.150s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2802.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2801.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2800.smt2 (content) ok ok 0.042s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_280.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_28.smt2 (content) ok ok 0.010s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2799.smt2 (content) ok ok 0.039s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2798.smt2 (content) ok ok 0.042s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2797.smt2 (content) ok ok 0.012s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2796.smt2 (content) ok ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2795.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2794.smt2 (content) ok ok 0.029s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2793.smt2 (content) ok ok 0.012s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2792.smt2 (content) ok ok 0.108s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2791.smt2 (content) ok ok 0.014s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2790.smt2 (content) ok ok 0.041s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_279.smt2 (content) ok ok 0.054s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2789.smt2 (content) ok ok 0.040s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2788.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2787.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2786.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2785.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2784.smt2 (content) ok ok 0.041s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2783.smt2 (content) ok ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2782.smt2 (content) ok ok 0.039s