| ErrorLog |   | 12% |   | 11% | 33 | 37 | 108 | 127 | 16 | 19 | 0 | 1 |
| GMCSection |   | 34% |   | 26% | 40 | 54 | 88 | 141 | 9 | 18 | 0 | 1 |
| CommandLineParser |   | 46% |   | 34% | 39 | 55 | 78 | 146 | 4 | 12 | 0 | 1 |
| GuidedTransitionChooser |  | 0% |  | 0% | 22 | 22 | 83 | 83 | 7 | 7 | 1 | 1 |
| GMCConfiguration |   | 36% |   | 26% | 25 | 38 | 46 | 80 | 11 | 23 | 0 | 1 |
| Simulator |   | 57% |   | 55% | 17 | 30 | 32 | 91 | 6 | 13 | 0 | 1 |
| Trace |   | 45% |   | 33% | 9 | 15 | 13 | 28 | 7 | 12 | 0 | 1 |
| LogEntry |  | 0% | | n/a | 9 | 9 | 17 | 17 | 9 | 9 | 1 | 1 |
| ExcessiveErrorException |  | 0% | | n/a | 2 | 2 | 4 | 4 | 2 | 2 | 1 | 1 |
| FalsePredicate |  | 0% | | n/a | 4 | 4 | 4 | 4 | 4 | 4 | 1 | 1 |
| StateSpaceCycleException |  | 0% | | n/a | 2 | 2 | 4 | 4 | 2 | 2 | 1 | 1 |
| GuidedTransitionChooser.Guide |  | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 | 1 | 1 |
| Option |   | 96% |   | 83% | 3 | 17 | 2 | 35 | 1 | 11 | 0 | 1 |
| MisguidedExecutionException | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 | 1 | 1 |
| CommandLineException | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 | 1 | 1 |
| RandomTransitionChooser |  | 95% |  | 100% | 1 | 6 | 1 | 18 | 1 | 4 | 0 | 1 |
| Simulator.new OutputStream() {...} |  | 85% | | n/a | 1 | 2 | 1 | 2 | 1 | 2 | 0 | 1 |
| Option.OptionType |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 | 0 | 1 |