checked and covered are now updated in isMatchCached function which is
called from the generateMatchSetCached function whenever a new matchSet
is to be created

smp functions updated