Two percentage options in compset

[manishvenu]

In CrocoDash we get two options after MOM6 in the compset REGIONAL and MARBL-BIO. Those don't seem to play well in the checking with Z3, that needs to be looked at a bit.