| 123456789101112131415161718 |
- read_root: 0.00000500679016113
- read_dict: 0.00000324786201673
- read_dict_keys: 0.00002278351202244
- read_value: 0.00000223726274447
- read_dict_node: 0.00000884923806336
- rule_generation: 0.00001658272065641
- read_dict_edge: 0.00000503007239812
- create_node: 0.00000235550958786
- create_nodevalue: 0.00000342790120932
- create_dict: 0.00000898999470544
- delete_edge: 0.00000574856703713
- delete_node: 0.00005147345229607
- read_reverse_dict: 0.00002517559631071
- create_edge: 0.00000452628852102
- read_outgoing: 0.00000310150921679
- read_incoming: 0.00000545786254067
- read_edge: 0.00000285873549026
|
