2023-08-31 13:58:45,410-main.py-INFO: Load entities from data/distance_id/graphcodebert/entities/train.txt
2023-08-31 13:58:45,413-main.py-INFO: Finish loading 5200 entities...
2023-08-31 13:58:45,413-main.py-INFO: Label size=5
2023-08-31 13:58:45,413-main.py-INFO: Loading embeddings from data/distance_id/graphcodebert/embeddings/layers/train/12.txt
2023-08-31 13:58:46,451-main.py-INFO: Finish loading embeddings...
2023-08-31 13:58:46,596-space.py-INFO: Gurobi IS found in the system, we will use Gurobi.
2023-08-31 13:58:46,608-main.py-INFO: Initialize the Distance Queue...
2023-08-31 13:58:47,638-distanceQ.py-INFO: Initializing the pair-wise distance...
2023-08-31 13:58:47,638-distanceQ.py-INFO: Categorize the clusters based on the label...
2023-08-31 13:58:47,638-distanceQ.py-INFO: Computing the pair-wise distance inside the same label...
2023-08-31 13:58:51,510-distanceQ.py-INFO: Build the double heaps...
2023-08-31 13:58:51,941-probing.py-INFO: Initializing the tracks...
2023-08-31 13:58:51,944-probing.py-INFO: Probing to the end...
2023-08-31 13:59:12,364-probing.py-INFO: Finish probing to the end...
2023-08-31 13:59:12,365-probing.py-INFO: Checking for the end state..
2023-08-31 13:59:12,365-probing.py-INFO: Start ovelapping checking...
2023-08-31 14:00:22,764-probing.py-INFO: Start coarse search...
2023-08-31 14:00:22,764-probing.py-INFO: Test for state 5143
2023-08-31 14:00:22,771-probing.py-INFO: Start ovelapping checking...
2023-08-31 14:01:25,376-probing.py-INFO: Test for state 5091
2023-08-31 14:01:25,390-probing.py-INFO: Start ovelapping checking...
2023-08-31 14:01:41,041-probing.py-INFO: Found 5091-th state is correct...
2023-08-31 14:01:41,041-probing.py-INFO: Start fine search...
2023-08-31 14:01:41,041-probing.py-INFO: Test for state 5117
2023-08-31 14:01:41,049-probing.py-INFO: Start ovelapping checking...
2023-08-31 14:01:52,532-probing.py-INFO: Test for state 5130
2023-08-31 14:01:52,540-probing.py-INFO: Start ovelapping checking...
2023-08-31 14:02:11,531-probing.py-INFO: Test for state 5137
2023-08-31 14:02:11,542-probing.py-INFO: Start ovelapping checking...
2023-08-31 14:02:24,887-probing.py-INFO: Test for state 5134
2023-08-31 14:02:24,900-probing.py-INFO: Start ovelapping checking...
2023-08-31 14:02:35,020-probing.py-INFO: Test for state 5136
2023-08-31 14:02:35,030-probing.py-INFO: Start ovelapping checking...
2023-08-31 14:02:41,250-probing.py-INFO: Found 5136-th state is the first error state
2023-08-31 14:02:41,262-distanceQ.py-INFO: Initializing the pair-wise distance...
2023-08-31 14:02:41,262-distanceQ.py-INFO: Categorize the clusters based on the label...
2023-08-31 14:02:41,262-distanceQ.py-INFO: Computing the pair-wise distance inside the same label...
2023-08-31 14:02:41,265-distanceQ.py-INFO: Build the double heaps...
2023-08-31 14:02:41,265-probing.py-INFO: Start normal forward probing...
2023-08-31 14:09:43,571-probing.py-INFO: Final number of clusters: 7
2023-08-31 14:09:43,598-main.py-INFO: Dumping the clusters...
2023-08-31 14:09:43,603-main.py-INFO: Finish dumping the clusters...
2023-08-31 14:09:43,603-main.py-INFO: Loading the clusters from results/distance_id/graphcodebert/12/clusters.txt
2023-08-31 14:09:43,603-main.py-INFO: Load entities from data/distance_id/graphcodebert/entities/train.txt
2023-08-31 14:09:43,608-main.py-INFO: Finish loading 5200 entities...
2023-08-31 14:09:43,608-main.py-INFO: Label size=5
2023-08-31 14:09:43,608-main.py-INFO: Loading embeddings from data/distance_id/graphcodebert/embeddings/layers/train/12.txt
2023-08-31 14:09:44,659-main.py-INFO: Finish loading embeddings...
2023-08-31 14:09:44,799-main.py-INFO: Finish loading the clusters...
2023-08-31 14:09:44,799-main.py-INFO: Load entities from data/distance_id/graphcodebert/entities/test.txt
2023-08-31 14:09:44,800-main.py-INFO: Finish loading 1300 entities...
2023-08-31 14:09:44,800-main.py-INFO: Loading embeddings from data/distance_id/graphcodebert/embeddings/layers/test/12.txt
2023-08-31 14:09:45,053-main.py-INFO: Finish loading embeddings...
2023-08-31 14:09:45,087-main.py-INFO: Start prediction...
2023-08-31 14:09:45,087-analyzer.py-INFO: Computing the distances...
2023-08-31 14:12:39,391-main.py-INFO: Acc=0.6084615384615385
2023-08-31 14:12:39,397-main.py-INFO: Writing predictions to file...
2023-08-31 14:12:39,422-main.py-INFO: Computing the distances between clusters...
2023-08-31 14:12:42,475-main.py-INFO: Writing pair-wise distances...
2023-08-31 14:12:42,476-main.py-INFO: MinConvexDistance=0.0
2023-08-31 14:12:42,476-main.py-INFO: MaxConvexDistance=9.165448662190613
2023-08-31 14:12:42,476-main.py-INFO: AverageConvexDistance=2.3234558114222166
