detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5798.smt2 (content) ok ok 0.219s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5797.smt2 (content) ok ok 0.235s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5796.smt2 (content) ok ok 0.367s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5795.smt2 (content) ok ok 0.380s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5794.smt2 (content) ok ok 0.395s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5793.smt2 (content) ok ok 0.301s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5792.smt2 (content) ok ok 16.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5791.smt2 (content) ok ok 0.384s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5790.smt2 (content) ok ok 0.221s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_579.smt2 (content) ok ok 15.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5789.smt2 (content) ok ok 0.403s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5788.smt2 (content) ok ok 0.224s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5787.smt2 (content) ok ok 0.354s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5786.smt2 (content) ok ok 0.384s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5785.smt2 (content) ok ok 0.403s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5784.smt2 (content) ok ok 0.388s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5783.smt2 (content) ok ok 0.389s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5782.smt2 (content) ok ok 0.399s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5781.smt2 (content) ok ok 16.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5780.smt2 (content) ok ok 23s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_578.smt2 (content) ok ok 13.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5779.smt2 (content) ok ok 0.387s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5778.smt2 (content) ok ok 0.307s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5777.smt2 (content) ok ok 0.408s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5776.smt2 (content) ok ok 0.415s