detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5752.smt2 (content) ok ok 0.433s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5751.smt2 (content) ok ok 0.431s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5750.smt2 (content) ok ok 0.259s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_575.smt2 (content) ok ok 16.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5749.smt2 (content) ok ok 0.439s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5748.smt2 (content) ok ok 0.451s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5747.smt2 (content) ok ok 13.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5746.smt2 (content) ok ok 0.438s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5745.smt2 (content) ok ok 0.435s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5744.smt2 (content) ok ok 0.369s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5743.smt2 (content) ok ok 0.434s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5742.smt2 (content) ok ok 0.275s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5741.smt2 (content) ok ok 0.448s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5740.smt2 (content) ok ok 0.452s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_574.smt2 (content) ok ok 14.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5739.smt2 (content) ok ok 0.448s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5738.smt2 (content) ok ok 0.449s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5737.smt2 (content) ok ok 0.460s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5736.smt2 (content) ok ok 16.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5735.smt2 (content) ok ok 0.278s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5734.smt2 (content) ok ok 0.451s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5733.smt2 (content) ok ok 0.469s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5732.smt2 (content) ok ok 0.275s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5731.smt2 (content) ok ok 0.271s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5730.smt2 (content) ok ok 0.449s