detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8453.smt2 (content) ok ok 0.052s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8452.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8451.smt2 (content) ok ok 0.053s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8450.smt2 (content) ok ok 0.053s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_845.smt2 (content) ok ok 15.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8449.smt2 (content) ok ok 0.068s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8448.smt2 (content) ok ok 0.054s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8447.smt2 (content) ok ok 17.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8446.smt2 (content) ok ok 20.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8445.smt2 (content) ok ok 0.053s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8444.smt2 (content) ok ok 0.053s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8443.smt2 (content) ok ok 0.050s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8442.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8441.smt2 (content) ok ok 0.057s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8440.smt2 (content) ok ok 0.059s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_844.smt2 (content) ok ok 14.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8439.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8438.smt2 (content) ok ok 0.056s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8437.smt2 (content) ok ok 0.039s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8436.smt2 (content) ok ok 0.057s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8435.smt2 (content) ok ok 16.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8434.smt2 (content) ok ok 0.064s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8433.smt2 (content) ok ok 0.057s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8432.smt2 (content) ok ok 0.056s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8431.smt2 (content) ok ok 0.058s