Hi Rosemary,
I've administered and used Modelcheck since the late 1990's when it was still owned by Rand. After Rand sold Modelcheck to PTC there were a number of years in which there was zero support for Modelcheck: when one contacted PTC support, they didn't even know what the product was. Eventually, PTC made some minor tweaks to it but the product is still nearly identical to how Rand originally wrote it: it still contains a few of the software bugs in it from when Rand was developing it.
Unfortunately, one of the few PTC changes to Modelcheck was the elimination of the aggregate results analysis functionality that was called "Admin". A few years ago, PTC had launched a replacement for it that, according to PTC, was found to be too complicated to setup and was withdrawn and is no longer available, leaving no functionality in Modelcheck to analyze aggregate results (i.e. results across an organization or group of users). It used to be very useful for identifying what groups of users were doing well and not well and assisted in training plans. PTC now has a "canned" aggregate tool - for an additional price - called Expert Model Analysis (XMA) that is not related to the licensing of Modelcheck, but essentially did what the Modelcheck Admin functionality used to do, but the Admin tool could be configured anyway you wanted it to to analyze the data anyway you wanted. The Admin tool also worked "real time" rather than performing a run on a folder containing files specifically put there for the analysis, the way XMA works.
As organizations have become more interested in MBD and 3D annotations, Modelcheck has not been updated to include functionality related to 3D annotations. In short, to the best of my knowledge, Modelcheck doesn't explicitly do anything regarding 3D annotations (Annotation Elements), Layer States, Combination States, etc. It does have capabilities to check parameters and add parameters and their values.
Regardless, given that the most up-to-date PTC documentation for Modelcheck is for Wildfire 2, I applaud your efforts to document and provide training for Modelcheck. I have found, however, that with little enhancement to Modelcheck, and the variety of new third-party tools available that better address "modern" model quality checking criteria, Modelcheck seems increasingly out of date and increasingly irrelevant. It works well for the things it does, but there are lots of things it just doesn't do and probably should.
