detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6337.smt2 (content) ok ok 0.076s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6336.smt2 (content) ok ok 13.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6335.smt2 (content) ok ok 18.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6334.smt2 (content) ok ok 0.128s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6333.smt2 (content) ok ok 0.129s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6332.smt2 (content) ok ok 0.127s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6331.smt2 (content) ok ok 0.075s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6330.smt2 (content) ok ok 0.121s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_633.smt2 (content) ok ok 14.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6329.smt2 (content) ok ok 0.079s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6328.smt2 (content) ok ok 0.164s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6327.smt2 (content) ok ok 0.129s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6326.smt2 (content) ok ok 0.084s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6325.smt2 (content) ok ok 0.246s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6324.smt2 (content) ok ok 18s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6323.smt2 (content) ok ok 0.129s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6322.smt2 (content) ok ok 0.126s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6321.smt2 (content) ok ok 0.124s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6320.smt2 (content) ok ok 0.133s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_632.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6319.smt2 (content) ok ok 0.160s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6318.smt2 (content) ok ok 0.128s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6317.smt2 (content) ok ok 0.127s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6316.smt2 (content) ok ok 0.086s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6315.smt2 (content) ok ok 0.078s