detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_113.smt2 (content) ok ok 4.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_112.smt2 (content) ok ok 4.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_111.smt2 (content) ok ok 7.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_110.smt2 (content) ok ok 7.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_11.smt2 (content) ok ok 7.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_109.smt2 (content) ok ok 7.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_108.smt2 (content) ok ok 4.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_107.smt2 (content) ok ok 6.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_106.smt2 (content) ok ok 6.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_105.smt2 (content) ok ok 5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_104.smt2 (content) ok ok 4.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_103.smt2 (content) ok ok 4.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_102.smt2 (content) ok ok 5.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_101.smt2 (content) ok ok 7.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_100.smt2 (content) ok ok 4.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_10.smt2 (content) ok ok 7.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_1.smt2 (content) ok ok 4.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_9.smt2 (content) ok ok 0.571s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_8.smt2 (content) ok ok 0.447s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_7.smt2 (content) ok ok 0.624s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_6.smt2 (content) ok ok 0.591s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_52.smt2 (content) ok ok 0.577s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_51.smt2 (content) ok ok 0.386s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_50.smt2 (content) ok ok 0.403s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_5.smt2 (content) ok ok 0.577s