|
Function Name  |
Hit count  |
| _Z12replace_termR6clauseP9tree_node |
3268061 |
| _Z13branch_clauseR7formulaR6clauseP9tree_node |
7061 |
| _Z14decompose_termR7formulaR6clauseP9tree_node5rules |
4272642 |
| _Z16decompose_clauseR7formulaR6clause5rules |
35276 |
| _Z20decompose_conjuntionR7formulaR6clauseP9tree_node5rules |
3268061 |
| _Z21decompose_disjunctionR7formulaR6clauseP9tree_node5rules |
7061 |
| _Z5debugR6clause |
0 |
| _Z5debugR7formula |
0 |
| _Z8subsumesP9tree_nodeS0_ |
5974701 |
| _ZL10cnf_size_rP9tree_node |
6578545 |
| _ZL10dnf_size_rP9tree_node |
6578521 |
| _ZL12derive_proofR6clauseP9tree_node5rules |
1662135 |
| _ZL16save_subsumptionP9tree_nodeS0_b |
28217 |
| _ZL18lookup_subsumptionP9tree_nodeS0_ |
49803 |
| _ZL19derive_atomic_proofR6clauseP9tree_node |
0 |
| _ZL28subsumes_constraints_nonnullP9tree_nodeS0_ |
49803 |
| _ZL30derive_proof_for_both_operandsR6clauseP9tree_node5rules |
838047 |
| _ZL31derive_proof_for_either_operandR6clauseP9tree_node5rules |
3267 |
| _ZL8cnf_sizeP9tree_node |
0 |
| _ZL8dnf_sizeP9tree_node |
0 |
| _ZN18subsumption_hasher4hashEP17subsumption_entry |
139562 |
| _ZN18subsumption_hasher5equalEP17subsumption_entryS1_ |
89256 |
| _ZN6clause6insertESt14_List_iteratorIP9tree_nodeES2_ |
3268061 |
| _ZN6clause7advanceEv |
997520 |
| _ZN6clause7replaceEP9tree_node |
14122 |
| _ZN6clause7replaceEP9tree_nodeS1_ |
3268061 |
| _ZN6clause7replaceESt14_List_iteratorIP9tree_nodeES2_ |
3282183 |
| _ZN6clause8containsEP9tree_node |
820821 |
| _ZN6clauseC2EP9tree_node |
28217 |
| _ZN6clauseC2ERKS_ |
7061 |
| _ZN7formula5eraseESt14_List_iteratorI6clauseE |
21096 |
| _ZN7formula6branchEv |
7061 |
| _ZN7formula7advanceEv |
35276 |
| _ZN7formulaC2EP9tree_node |
28217 |