|
Function Name  |
Hit count  |
| _Z12replace_termR6clauseP9tree_node |
3355158 |
| _Z13branch_clauseR7formulaR6clauseP9tree_node |
7253 |
| _Z14decompose_termR7formulaR6clauseP9tree_node5rules |
4380287 |
| _Z16decompose_clauseR7formulaR6clause5rules |
36117 |
| _Z20decompose_conjuntionR7formulaR6clauseP9tree_node5rules |
3355158 |
| _Z21decompose_disjunctionR7formulaR6clauseP9tree_node5rules |
7253 |
| _Z5debugR6clause |
0 |
| _Z5debugR7formula |
0 |
| _Z8subsumesP9tree_nodeS0_ |
6259880 |
| _ZL10cnf_size_rP9tree_node |
6753772 |
| _ZL10dnf_size_rP9tree_node |
6753748 |
| _ZL12derive_proofR6clauseP9tree_node5rules |
1694416 |
| _ZL16save_subsumptionP9tree_nodeS0_b |
28866 |
| _ZL18lookup_subsumptionP9tree_nodeS0_ |
51521 |
| _ZL19derive_atomic_proofR6clauseP9tree_node |
0 |
| _ZL28subsumes_constraints_nonnullP9tree_nodeS0_ |
51521 |
| _ZL30derive_proof_for_both_operandsR6clauseP9tree_node5rules |
853203 |
| _ZL31derive_proof_for_either_operandR6clauseP9tree_node5rules |
3339 |
| _ZL8cnf_sizeP9tree_node |
0 |
| _ZL8dnf_sizeP9tree_node |
0 |
| _ZN18subsumption_hasher4hashEP17subsumption_entry |
143149 |
| _ZN18subsumption_hasher5equalEP17subsumption_entryS1_ |
91272 |
| _ZN6clause6insertESt14_List_iteratorIP9tree_nodeES2_ |
3355158 |
| _ZN6clause7advanceEv |
1017876 |
| _ZN6clause7replaceEP9tree_node |
14506 |
| _ZN6clause7replaceEP9tree_nodeS1_ |
3355158 |
| _ZN6clause7replaceESt14_List_iteratorIP9tree_nodeES2_ |
3369664 |
| _ZN6clause8containsEP9tree_node |
837874 |
| _ZN6clauseC2EP9tree_node |
28866 |
| _ZN6clauseC2ERKS_ |
7253 |
| _ZN7formula5eraseESt14_List_iteratorI6clauseE |
21611 |
| _ZN7formula6branchEv |
7253 |
| _ZN7formula7advanceEv |
36117 |
| _ZN7formulaC2EP9tree_node |
28866 |