detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5414.smt2 (content) ok ok 0.389s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5413.smt2 (content) ok ok 19.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5412.smt2 (content) ok ok 0.676s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5411.smt2 (content) ok ok 0.660s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5410.smt2 (content) ok ok 0.534s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_541.smt2 (content) ok ok 13.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5409.smt2 (content) ok ok 0.663s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5408.smt2 (content) ok ok 0.642s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5407.smt2 (content) ok ok 0.375s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5406.smt2 (content) ok ok 0.680s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5405.smt2 (content) ok ok 0.393s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5404.smt2 (content) ok ok 0.461s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5403.smt2 (content) ok ok 0.384s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5402.smt2 (content) ok ok 14.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5401.smt2 (content) ok ok 0.385s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5400.smt2 (content) ok ok 0.577s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_540.smt2 (content) ok ok 15.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_54.smt2 (content) ok ok 14.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5399.smt2 (content) ok ok 0.631s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5398.smt2 (content) ok ok 0.619s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5397.smt2 (content) ok ok 0.671s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5396.smt2 (content) ok ok 0.662s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5395.smt2 (content) ok ok 0.738s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5394.smt2 (content) ok ok 0.664s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5393.smt2 (content) ok ok 0.614s