| rank2(Globals, ST_Agraph_s, int, int, int) |   | 76% | | 70% | 5 | 10 | 7 | 32 | 0 | 1 |
| add_tree_edge(Globals, ST_Agedge_s) | | 88% | | 70% | 3 | 6 | 6 | 26 | 0 | 1 |
| update(Globals, ST_Agedge_s, ST_Agedge_s) | | 89% | | 80% | 2 | 6 | 3 | 23 | 0 | 1 |
| init_rank(Globals) | | 88% | | 92% | 1 | 8 | 4 | 23 | 0 | 1 |
| feasible_tree(Globals) | | 96% | | 91% | 2 | 13 | 1 | 22 | 0 | 1 |
| rank(Globals, ST_Agraph_s, int, int) | | 87% | | 50% | 1 | 2 | 1 | 6 | 0 | 1 |
| TB_balance(Globals) | | 98% | | 86% | 3 | 12 | 2 | 36 | 0 | 1 |
| ns__c() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| init_graph(Globals, ST_Agraph_s) | | 100% | | 100% | 0 | 8 | 0 | 29 | 0 | 1 |
| exchange_tree_edges(Globals, ST_Agedge_s, ST_Agedge_s) | | 100% | | 75% | 2 | 5 | 0 | 30 | 0 | 1 |
| leave_edge(Globals) | | 100% | | 100% | 0 | 12 | 0 | 26 | 0 | 1 |
| treesearch(Globals, ST_Agnode_s) | | 100% | | 100% | 0 | 11 | 0 | 13 | 0 | 1 |
| tight_tree(Globals) | | 100% | | 87% | 1 | 5 | 0 | 13 | 0 | 1 |
| x_val(ST_Agedge_s, ST_Agnode_s, int) | | 100% | | 100% | 0 | 9 | 0 | 26 | 0 | 1 |
| dfs_enter_outedge(Globals, ST_Agnode_s) | | 100% | | 94% | 1 | 10 | 0 | 15 | 0 | 1 |
| dfs_enter_inedge(Globals, ST_Agnode_s) | | 100% | | 94% | 1 | 10 | 0 | 15 | 0 | 1 |
| x_cutval(ST_Agedge_s) | | 100% | | 100% | 0 | 4 | 0 | 16 | 0 | 1 |
| scan_and_normalize(Globals) | | 100% | | 100% | 0 | 5 | 0 | 14 | 0 | 1 |
| dfs_range(ST_Agnode_s, ST_Agedge_s, int) | | 100% | | 100% | 0 | 5 | 0 | 13 | 0 | 1 |
| LR_balance(Globals) | | 100% | | 100% | 0 | 6 | 0 | 16 | 0 | 1 |
| treeupdate(ST_Agnode_s, ST_Agnode_s, int, boolean) | | 100% | | 100% | 0 | 6 | 0 | 14 | 0 | 1 |
| rerank(ST_Agnode_s, int) | | 100% | | 100% | 0 | 5 | 0 | 10 | 0 | 1 |
| enter_edge(Globals, ST_Agedge_s) | | 100% | | 100% | 0 | 3 | 0 | 15 | 0 | 1 |
| dfs_cutval(ST_Agnode_s, ST_Agedge_s) | | 100% | | 100% | 0 | 6 | 0 | 11 | 0 | 1 |
| incident(ST_Agedge_s) | | 100% | | 100% | 0 | 4 | 0 | 8 | 0 | 1 |
| freeTreeList(Globals, ST_Agraph_s) | | 100% | | 100% | 0 | 2 | 0 | 7 | 0 | 1 |
| init_cutvalues(Globals) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |