detailed results (95063 total)

prover file res expected time
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
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_49.smt2 (content) ok ok 0.068s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_48.smt2 (content) ok ok 0.485s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_46.smt2 (content) ok ok 0.642s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_45.smt2 (content) ok ok 0.155s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_44.smt2 (content) ok ok 0.099s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_43.smt2 (content) ok ok 0.159s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_42.smt2 (content) ok ok 0.174s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_41.smt2 (content) ok ok 0.222s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_40.smt2 (content) ok ok 0.212s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_4.smt2 (content) ok ok 0.519s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_39.smt2 (content) ok ok 0.112s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_38.smt2 (content) ok ok 0.097s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_37.smt2 (content) ok ok 0.117s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_36.smt2 (content) ok ok 0.112s