| readSmtOutput(BufferedReader, BufferedReader, int, int, PrintStream) |   | 49% | | 53% | 10 | 16 | 15 | 33 | 0 | 1 |
| executeCommand(Path, int, int, PrintStream) | | 83% | | 66% | 2 | 4 | 6 | 23 | 0 | 1 |
| printProverUnexpectedException(BufferedReader, PrintStream) | | 0% | | 0% | 3 | 3 | 6 | 6 | 1 | 1 |
| createSmtFile(BooleanExpression, boolean, Path, PrintStream) | | 89% | | 100% | 0 | 4 | 4 | 30 | 0 | 1 |
| runProver(BooleanExpression, boolean) | | 89% | | 83% | 3 | 10 | 4 | 24 | 0 | 1 |
| SMTProver(PreUniverse, BooleanExpression, ProverInfo, Path, ProverFunctionInterpretation[]) | | 81% | | 50% | 3 | 4 | 0 | 13 | 0 | 1 |
| timeoutOption(double) | | 81% | | 57% | 3 | 6 | 3 | 14 | 0 | 1 |
| validOrModel(BooleanExpression) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| newSMTTranslator(ProverInfo.ProverKind, PreUniverse, SymbolicExpression, ProverFunctionInterpretation[]) | | 100% | | 100% | 0 | 3 | 0 | 4 | 0 | 1 |
| newSMTTranslator(ProverInfo.ProverKind, SMTTranslator, SymbolicExpression) | | 100% | | 100% | 0 | 3 | 0 | 4 | 0 | 1 |
| print(String, PrintStream, PrintStream) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| println(String, PrintStream, PrintStream) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| print(FastList, PrintStream, PrintStream) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| queryName(int, int) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| toString() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| valid(BooleanExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| unsat(BooleanExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| queryFilename(int, int) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |