| 123456789101112131415161718 |
- read_root: 0.00001406669616699
- read_dict: 0.00000460127038355
- read_dict_keys: 0.00001678063432883
- read_value: 0.00000388661630500
- read_dict_node: 0.00001020808859528
- rule_generation: 0.00001543215873893
- read_dict_edge: 0.00000642558526942
- create_node: 0.00000379181167487
- create_nodevalue: 0.00000501364247391
- create_dict: 0.00001028065706205
- delete_edge: 0.00000683382081240
- delete_node: 0.00004755891187096
- read_reverse_dict: 0.00002557890755790
- create_edge: 0.00000601282282066
- read_outgoing: 0.00000520600098073
- read_incoming: 0.00000645903181994
- read_edge: 0.00000449162172644
|
