2023-08-31 13:35:30,428-main.py-INFO: Load entities from data/distance_id/codet5/entities/train.txt
2023-08-31 13:35:30,431-main.py-INFO: Finish loading 5200 entities...
2023-08-31 13:35:30,431-main.py-INFO: Label size=5
2023-08-31 13:35:30,431-main.py-INFO: Loading embeddings from data/distance_id/codet5/embeddings/layers/train/12.txt
2023-08-31 13:35:31,480-main.py-INFO: Finish loading embeddings...
2023-08-31 13:35:31,624-space.py-INFO: Gurobi IS found in the system, we will use Gurobi.
2023-08-31 13:35:31,636-main.py-INFO: Initialize the Distance Queue...
2023-08-31 13:35:32,502-distanceQ.py-INFO: Initializing the pair-wise distance...
2023-08-31 13:35:32,502-distanceQ.py-INFO: Categorize the clusters based on the label...
2023-08-31 13:35:32,503-distanceQ.py-INFO: Computing the pair-wise distance inside the same label...
2023-08-31 13:35:36,377-distanceQ.py-INFO: Build the double heaps...
2023-08-31 13:35:36,808-probing.py-INFO: Initializing the tracks...
2023-08-31 13:35:36,811-probing.py-INFO: Probing to the end...
2023-08-31 13:35:57,315-probing.py-INFO: Finish probing to the end...
2023-08-31 13:35:57,315-probing.py-INFO: Checking for the end state..
2023-08-31 13:35:57,315-probing.py-INFO: Start ovelapping checking...
2023-08-31 13:37:01,712-probing.py-INFO: Start coarse search...
2023-08-31 13:37:01,713-probing.py-INFO: Test for state 5143
2023-08-31 13:37:01,724-probing.py-INFO: Start ovelapping checking...
2023-08-31 13:37:48,777-probing.py-INFO: Found 5143-th state is correct...
2023-08-31 13:37:48,778-probing.py-INFO: Start fine search...
2023-08-31 13:37:48,778-probing.py-INFO: Test for state 5169
2023-08-31 13:37:48,785-probing.py-INFO: Start ovelapping checking...
2023-08-31 13:37:59,353-probing.py-INFO: Test for state 5182
2023-08-31 13:37:59,359-probing.py-INFO: Start ovelapping checking...
2023-08-31 13:38:04,949-probing.py-INFO: Test for state 5189
2023-08-31 13:38:04,953-probing.py-INFO: Start ovelapping checking...
2023-08-31 13:38:07,823-probing.py-INFO: Test for state 5192
2023-08-31 13:38:07,828-probing.py-INFO: Start ovelapping checking...
2023-08-31 13:38:10,819-probing.py-INFO: Test for state 5194
2023-08-31 13:38:10,822-probing.py-INFO: Start ovelapping checking...
2023-08-31 13:38:12,564-probing.py-INFO: Test for state 5193
2023-08-31 13:38:12,569-probing.py-INFO: Start ovelapping checking...
2023-08-31 13:38:15,439-probing.py-INFO: Found 5193-th state is the first error state
2023-08-31 13:38:15,442-distanceQ.py-INFO: Initializing the pair-wise distance...
2023-08-31 13:38:15,442-distanceQ.py-INFO: Categorize the clusters based on the label...
2023-08-31 13:38:15,442-distanceQ.py-INFO: Computing the pair-wise distance inside the same label...
2023-08-31 13:38:15,444-distanceQ.py-INFO: Build the double heaps...
2023-08-31 13:38:15,444-probing.py-INFO: Start normal forward probing...
2023-08-31 13:38:18,473-probing.py-INFO: Final number of clusters: 6
2023-08-31 13:38:18,490-main.py-INFO: Dumping the clusters...
2023-08-31 13:38:18,494-main.py-INFO: Finish dumping the clusters...
2023-08-31 13:38:18,494-main.py-INFO: Loading the clusters from results/distance_id/codet5/12/clusters.txt
2023-08-31 13:38:18,494-main.py-INFO: Load entities from data/distance_id/codet5/entities/train.txt
2023-08-31 13:38:18,541-main.py-INFO: Finish loading 5200 entities...
2023-08-31 13:38:18,541-main.py-INFO: Label size=5
2023-08-31 13:38:18,541-main.py-INFO: Loading embeddings from data/distance_id/codet5/embeddings/layers/train/12.txt
2023-08-31 13:38:19,593-main.py-INFO: Finish loading embeddings...
2023-08-31 13:38:19,732-main.py-INFO: Finish loading the clusters...
2023-08-31 13:38:19,732-main.py-INFO: Load entities from data/distance_id/codet5/entities/test.txt
2023-08-31 13:38:19,733-main.py-INFO: Finish loading 1300 entities...
2023-08-31 13:38:19,733-main.py-INFO: Loading embeddings from data/distance_id/codet5/embeddings/layers/test/12.txt
2023-08-31 13:38:19,987-main.py-INFO: Finish loading embeddings...
2023-08-31 13:38:20,021-main.py-INFO: Start prediction...
2023-08-31 13:38:20,021-analyzer.py-INFO: Computing the distances...
2023-08-31 13:41:17,230-main.py-INFO: Acc=0.61
2023-08-31 13:41:17,235-main.py-INFO: Writing predictions to file...
2023-08-31 13:41:17,257-main.py-INFO: Computing the distances between clusters...
2023-08-31 13:41:20,420-main.py-INFO: Writing pair-wise distances...
2023-08-31 13:41:20,421-main.py-INFO: MinConvexDistance=0.0
2023-08-31 13:41:20,421-main.py-INFO: MaxConvexDistance=11.571381174075476
2023-08-31 13:41:20,421-main.py-INFO: AverageConvexDistance=3.0867146959051905
