detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_902.smt2 (content) ok ok 10.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_901.smt2 (content) ok ok 14.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_900.smt2 (content) ok ok 11.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_90.smt2 (content) ok ok 17.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_9.smt2 (content) ok ok 15.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_899.smt2 (content) ok ok 9.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_898.smt2 (content) ok ok 13.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_897.smt2 (content) ok ok 11s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_896.smt2 (content) ok ok 9.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_895.smt2 (content) ok ok 8.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_894.smt2 (content) ok ok 8.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_893.smt2 (content) ok ok 11.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_892.smt2 (content) ok ok 19.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_891.smt2 (content) ok ok 21.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_890.smt2 (content) ok ok 10.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_89.smt2 (content) ok ok 18.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_889.smt2 (content) ok ok 12.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_888.smt2 (content) ok ok 9.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_887.smt2 (content) ok ok 13.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_886.smt2 (content) ok ok 10.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_885.smt2 (content) ok ok 12.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_884.smt2 (content) ok ok 12.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_883.smt2 (content) ok ok 14.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_882.smt2 (content) ok ok 11.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_881.smt2 (content) ok ok 14.7s