As far as I can tell, it is not currently enforced or even checked (except for the .ans files). Checking the .ans files is of course not sufficient, as in some problems, smaller .ans might mean a better solution, meaning that PAC solutions producing larger solutions will not get checked.
As far as I can tell, it is not currently enforced or even checked (except for the .ans files). Checking the .ans files is of course not sufficient, as in some problems, smaller .ans might mean a better solution, meaning that PAC solutions producing larger solutions will not get checked.