| runProver(BooleanExpression, boolean) |  | 0% | | 0% | 18 | 18 | 64 | 64 | 1 | 1 |
| readSmtOutput(BufferedReader, BufferedReader) | | 0% | | 0% | 13 | 13 | 32 | 32 | 1 | 1 |
| SMTProverOld(PreUniverse, BooleanExpression, ProverInfo, ProverFunctionInterpretation[]) | | 0% | | 0% | 4 | 4 | 13 | 13 | 1 | 1 |
| newSMTTranslator(ProverInfo.ProverKind, PreUniverse, SymbolicExpression, ProverFunctionInterpretation[]) | | 0% | | 0% | 3 | 3 | 4 | 4 | 1 | 1 |
| newSMTTranslator(ProverInfo.ProverKind, SMTTranslator, SymbolicExpression) | | 0% | | 0% | 3 | 3 | 4 | 4 | 1 | 1 |
| printProverUnexpectedException(BufferedReader, PrintStream) | | 0% | | 0% | 3 | 3 | 6 | 6 | 1 | 1 |
| print(String, PrintStream, PrintStream) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| println(String, PrintStream, PrintStream) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| print(FastList, PrintStream, PrintStream) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| toString() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| valid(BooleanExpression) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| unsat(BooleanExpression) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| static {...} | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validOrModel(BooleanExpression) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |