2023-09-22 19:46:56,138-main.py-INFO: Load entities from data/dfg/graphcodebert/entities/train.txt
2023-09-22 19:46:56,140-main.py-INFO: Finish loading 3600 entities...
2023-09-22 19:46:56,141-main.py-INFO: Label size=3
2023-09-22 19:46:56,141-main.py-INFO: Loading embeddings from data/dfg/graphcodebert/embeddings/layers/train/9.txt
2023-09-22 19:46:57,650-main.py-INFO: Finish loading embeddings...
2023-09-22 19:46:57,825-space.py-INFO: Gurobi IS found in the system, we will use Gurobi.
2023-09-22 19:46:57,834-main.py-INFO: Initialize the Distance Queue...
2023-09-22 19:46:58,388-distanceQ.py-INFO: Initializing the pair-wise distance...
2023-09-22 19:46:58,388-distanceQ.py-INFO: Categorize the clusters based on the label...
2023-09-22 19:46:58,388-distanceQ.py-INFO: Computing the pair-wise distance inside the same label...
2023-09-22 19:47:01,652-distanceQ.py-INFO: Build the double heaps...
2023-09-22 19:47:02,027-probing.py-INFO: Initializing the tracks...
2023-09-22 19:47:02,030-probing.py-INFO: Probing to the end...
2023-09-22 19:47:15,484-probing.py-INFO: Finish probing to the end...
2023-09-22 19:47:15,484-probing.py-INFO: Checking for the end state..
2023-09-22 19:47:15,484-probing.py-INFO: Start ovelapping checking...
2023-09-22 19:47:40,947-probing.py-INFO: Start coarse search...
2023-09-22 19:47:40,947-probing.py-INFO: Test for state 3561
2023-09-22 19:47:40,954-probing.py-INFO: Start ovelapping checking...
2023-09-22 19:48:12,075-probing.py-INFO: Test for state 3525
2023-09-22 19:48:12,088-probing.py-INFO: Start ovelapping checking...
2023-09-22 19:49:00,237-probing.py-INFO: Test for state 3489
2023-09-22 19:49:00,249-probing.py-INFO: Start ovelapping checking...
2023-09-22 19:50:22,509-probing.py-INFO: Test for state 3453
2023-09-22 19:50:22,525-probing.py-INFO: Start ovelapping checking...
2023-09-22 19:51:10,492-probing.py-INFO: Test for state 3417
2023-09-22 19:51:10,514-probing.py-INFO: Start ovelapping checking...
2023-09-22 19:53:15,048-probing.py-INFO: Test for state 3381
2023-09-22 19:53:15,069-probing.py-INFO: Start ovelapping checking...
2023-09-22 19:53:59,440-probing.py-INFO: Test for state 3345
2023-09-22 19:53:59,460-probing.py-INFO: Start ovelapping checking...
2023-09-22 19:54:55,674-probing.py-INFO: Test for state 3309
2023-09-22 19:54:55,727-probing.py-INFO: Start ovelapping checking...
2023-09-22 19:55:51,146-probing.py-INFO: Test for state 3273
2023-09-22 19:55:51,172-probing.py-INFO: Start ovelapping checking...
2023-09-22 19:57:07,212-probing.py-INFO: Test for state 3237
2023-09-22 19:57:07,241-probing.py-INFO: Start ovelapping checking...
2023-09-22 19:57:53,310-probing.py-INFO: Test for state 3201
2023-09-22 19:57:53,353-probing.py-INFO: Start ovelapping checking...
2023-09-22 19:58:50,298-probing.py-INFO: Test for state 3165
2023-09-22 19:58:50,332-probing.py-INFO: Start ovelapping checking...
2023-09-22 19:59:50,529-probing.py-INFO: Test for state 3129
2023-09-22 19:59:50,565-probing.py-INFO: Start ovelapping checking...
2023-09-22 20:01:29,613-probing.py-INFO: Test for state 3093
2023-09-22 20:01:29,648-probing.py-INFO: Start ovelapping checking...
2023-09-22 20:02:10,308-probing.py-INFO: Test for state 3057
2023-09-22 20:02:10,351-probing.py-INFO: Start ovelapping checking...
2023-09-22 20:03:28,733-probing.py-INFO: Test for state 3021
2023-09-22 20:03:28,783-probing.py-INFO: Start ovelapping checking...
2023-09-22 20:04:06,692-probing.py-INFO: Test for state 2985
2023-09-22 20:04:06,741-probing.py-INFO: Start ovelapping checking...
2023-09-22 20:04:42,224-probing.py-INFO: Test for state 2949
2023-09-22 20:04:42,268-probing.py-INFO: Start ovelapping checking...
2023-09-22 20:05:12,597-probing.py-INFO: Test for state 2913
2023-09-22 20:05:12,645-probing.py-INFO: Start ovelapping checking...
2023-09-22 20:05:52,755-probing.py-INFO: Test for state 2877
2023-09-22 20:05:52,808-probing.py-INFO: Start ovelapping checking...
2023-09-22 20:06:47,075-probing.py-INFO: Test for state 2841
2023-09-22 20:06:47,169-probing.py-INFO: Start ovelapping checking...
2023-09-22 20:07:13,269-probing.py-INFO: Test for state 2805
2023-09-22 20:07:13,333-probing.py-INFO: Start ovelapping checking...
2023-09-22 20:08:21,023-probing.py-INFO: Test for state 2769
2023-09-22 20:08:21,089-probing.py-INFO: Start ovelapping checking...
2023-09-22 20:08:45,507-probing.py-INFO: Found 2769-th state is correct...
2023-09-22 20:08:45,507-probing.py-INFO: Start fine search...
2023-09-22 20:08:45,507-probing.py-INFO: Test for state 2787
2023-09-22 20:08:46,269-probing.py-INFO: Start ovelapping checking...
2023-09-22 20:09:06,125-probing.py-INFO: Test for state 2796
2023-09-22 20:09:06,189-probing.py-INFO: Start ovelapping checking...
2023-09-22 20:09:23,441-probing.py-INFO: Test for state 2792
2023-09-22 20:09:24,235-probing.py-INFO: Start ovelapping checking...
2023-09-22 20:09:35,536-probing.py-INFO: Test for state 2794
2023-09-22 20:09:35,590-probing.py-INFO: Start ovelapping checking...
2023-09-22 20:09:48,000-probing.py-INFO: Test for state 2793
2023-09-22 20:09:48,051-probing.py-INFO: Start ovelapping checking...
2023-09-22 20:10:48,560-probing.py-INFO: Found 2792-th state is the first error state
2023-09-22 20:10:49,399-distanceQ.py-INFO: Initializing the pair-wise distance...
2023-09-22 20:10:49,400-distanceQ.py-INFO: Categorize the clusters based on the label...
2023-09-22 20:10:49,401-distanceQ.py-INFO: Computing the pair-wise distance inside the same label...
2023-09-22 20:10:49,881-distanceQ.py-INFO: Build the double heaps...
2023-09-22 20:10:49,983-probing.py-INFO: Start normal forward probing...
2023-09-22 22:29:44,346-probing.py-INFO: Final number of clusters: 4
2023-09-22 22:29:44,396-main.py-INFO: Dumping the clusters...
2023-09-22 22:29:44,401-main.py-INFO: Finish dumping the clusters...
2023-09-22 22:29:44,401-main.py-INFO: Loading the clusters from results/dfg/graphcodebert/9/clusters.txt
2023-09-22 22:29:44,401-main.py-INFO: Load entities from data/dfg/graphcodebert/entities/train.txt
2023-09-22 22:29:44,420-main.py-INFO: Finish loading 3600 entities...
2023-09-22 22:29:44,421-main.py-INFO: Label size=3
2023-09-22 22:29:44,421-main.py-INFO: Loading embeddings from data/dfg/graphcodebert/embeddings/layers/train/9.txt
2023-09-22 22:29:48,420-main.py-INFO: Finish loading embeddings...
2023-09-22 22:29:49,063-main.py-INFO: Finish loading the clusters...
2023-09-22 22:29:49,073-main.py-INFO: Load entities from data/dfg/graphcodebert/entities/test.txt
2023-09-22 22:29:49,076-main.py-INFO: Finish loading 900 entities...
2023-09-22 22:29:49,077-main.py-INFO: Loading embeddings from data/dfg/graphcodebert/embeddings/layers/test/9.txt
2023-09-22 22:29:49,771-main.py-INFO: Finish loading embeddings...
2023-09-22 22:29:49,854-main.py-INFO: Start prediction...
2023-09-22 22:29:49,855-analyzer.py-INFO: Computing the distances...
2023-09-22 22:33:33,405-main.py-INFO: Acc=0.8777777777777778
2023-09-22 22:33:33,410-main.py-INFO: Writing predictions to file...
2023-09-22 22:33:33,420-main.py-INFO: Computing the distances between clusters...
2023-09-22 22:33:42,610-main.py-INFO: Writing pair-wise distances...
2023-09-22 22:33:42,611-main.py-INFO: MinConvexDistance=0.5060814665890082
2023-09-22 22:33:42,611-main.py-INFO: MaxConvexDistance=5.568465103206699
2023-09-22 22:33:42,611-main.py-INFO: AverageConvexDistance=2.9028624774453373
