detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_226.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_225.smt2 (content) ok ok 0.063s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_22.smt2 (content) ok ok 0.065s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_214.smt2 (content) ok ok 0.097s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_21.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_203.smt2 (content) ok ok 0.092s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_20.smt2 (content) ok ok 0.064s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_2.smt2 (content) ok ok 0.049s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_192.smt2 (content) ok ok 0.044s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_19.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_181.smt2 (content) ok ok 0.100s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_18.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_170.smt2 (content) ok ok 0.053s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_17.smt2 (content) ok ok 0.052s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_16.smt2 (content) ok ok 0.067s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_159.smt2 (content) ok ok 0.046s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_15.smt2 (content) ok ok 0.061s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_148.smt2 (content) ok ok 0.094s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_14.smt2 (content) ok ok 0.069s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_137.smt2 (content) ok ok 0.094s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_1309.smt2 (content) ok ok 0.010s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_1308.smt2 (content) ok ok 0.067s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_1307.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_1306.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app5/bench_1305.smt2 (content) ok ok 0.068s