| print(PrintStream) |  | 0% | | 0% | 11 | 11 | 38 | 38 | 1 | 1 |
| compareTo(ProverInfo) | | 0% | | 0% | 10 | 10 | 29 | 29 | 1 | 1 |
| equals(Object) | | 0% | | 0% | 3 | 3 | 4 | 4 | 1 | 1 |
| toString() | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| isExecutable() |  | 53% | | 33% | 2 | 3 | 2 | 4 | 0 | 1 |
| addOption(String) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setEnv(String) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| getEnv() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| CommonProverInfo() | | 100% | | n/a | 0 | 1 | 0 | 13 | 0 | 1 |
| addAlias(String) | | 100% | | 50% | 1 | 2 | 0 | 3 | 0 | 1 |
| setTimeout(double) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setKind(ProverInfo.ProverKind) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setPath(File) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setVersion(String) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setShowQueries(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setShowInconclusives(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setShowErrors(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| getAliases() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getFirstAlias() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getKind() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getPath() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVersion() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getOptions() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getTimeout() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getShowQueries() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getShowInconclusives() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getShowErrors() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |