Hello, I like to swap the order, so adaptive.start goes first. Though I'm not sure the default value for adaptive.start is 50000, I think it's 60000. Or do I miss something?
> -.It Cm adaptive.start Pq 120000 states by default > +.It Cm adaptive.start Pq 50000 states by default ^^^^^^^^^^ I believe there should be 60000. otherwise looks good. thanks and regards sashan