Results of model checking with WHATCHECK and PROCHECK

The real server provides a few more options for viewing the results. For the purposes of this exercise they have been elided to the three following options:

• See the results in a big table. (by residue)
• See the results in another big table. (by atom)
• See the results one method at a time.