detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8656.smt2 (content) ok ok 17.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8655.smt2 (content) ok ok 11.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8654.smt2 (content) ok ok 19.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8653.smt2 (content) ok ok 17s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8652.smt2 (content) ok ok 11.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8651.smt2 (content) ok ok 17s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8650.smt2 (content) ok ok 14.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_865.smt2 (content) ok ok 0.041s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8649.smt2 (content) ok ok 18.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8648.smt2 (content) ok ok 16.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8647.smt2 (content) ok ok 18.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8646.smt2 (content) ok ok 15.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8645.smt2 (content) ok ok 18.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8644.smt2 (content) ok ok 11.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8643.smt2 (content) ok ok 21.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8642.smt2 (content) ok ok 14.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8641.smt2 (content) ok ok 13.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8640.smt2 (content) ok ok 12.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_864.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8639.smt2 (content) ok ok 16.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8638.smt2 (content) ok ok 13.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8637.smt2 (content) ok ok 13.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8636.smt2 (content) ok ok 17s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8635.smt2 (content) ok ok 17.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8634.smt2 (content) ok ok 11.5s