detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_91.smt2 (content) ok ok 7.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_90.smt2 (content) ok ok 4.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_9.smt2 (content) ok ok 5.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_89.smt2 (content) ok ok 6.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_88.smt2 (content) ok ok 7.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_87.smt2 (content) ok ok 7.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_86.smt2 (content) ok ok 4.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_85.smt2 (content) ok ok 7.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_84.smt2 (content) ok ok 6.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_83.smt2 (content) ok ok 4.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_82.smt2 (content) ok ok 4.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_81.smt2 (content) ok ok 7.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_80.smt2 (content) ok ok 7.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_8.smt2 (content) ok ok 7.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_79.smt2 (content) ok ok 5.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_78.smt2 (content) ok ok 5.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_77.smt2 (content) ok ok 4.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_76.smt2 (content) ok ok 7.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_75.smt2 (content) ok ok 5.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_74.smt2 (content) ok ok 7.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_73.smt2 (content) ok ok 7.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_72.smt2 (content) ok ok 7.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_71.smt2 (content) ok ok 7.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_70.smt2 (content) ok ok 5.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_7.smt2 (content) ok ok 6.9s