2023-08-28 15:12:15,649-main.py-INFO: Load entities from data/dfg/codebert/entities/train.txt
2023-08-28 15:12:15,651-main.py-INFO: Finish loading 3600 entities...
2023-08-28 15:12:15,651-main.py-INFO: Label size=3
2023-08-28 15:12:15,651-main.py-INFO: Loading embeddings from data/dfg/codebert/embeddings/layers/train/12.txt
2023-08-28 15:12:17,155-main.py-INFO: Finish loading embeddings...
2023-08-28 15:12:17,340-space.py-INFO: Gurobi IS found in the system, we will use Gurobi.
2023-08-28 15:12:17,349-main.py-INFO: Initialize the Distance Queue...
2023-08-28 15:12:18,223-distanceQ.py-INFO: Initializing the pair-wise distance...
2023-08-28 15:12:18,223-distanceQ.py-INFO: Categorize the clusters based on the label...
2023-08-28 15:12:18,224-distanceQ.py-INFO: Computing the pair-wise distance inside the same label...
2023-08-28 15:12:21,413-distanceQ.py-INFO: Build the double heaps...
2023-08-28 15:12:21,790-probing.py-INFO: Initializing the tracks...
2023-08-28 15:12:21,792-probing.py-INFO: Probing to the end...
2023-08-28 15:12:35,633-probing.py-INFO: Finish probing to the end...
2023-08-28 15:12:35,633-probing.py-INFO: Checking for the end state..
2023-08-28 15:12:35,634-probing.py-INFO: Start ovelapping checking...
2023-08-28 15:13:12,519-probing.py-INFO: Start coarse search...
2023-08-28 15:13:12,519-probing.py-INFO: Test for state 3561
2023-08-28 15:13:12,526-probing.py-INFO: Start ovelapping checking...
2023-08-28 15:14:53,882-probing.py-INFO: Test for state 3525
2023-08-28 15:14:53,892-probing.py-INFO: Start ovelapping checking...
2023-08-28 15:16:19,646-probing.py-INFO: Test for state 3489
2023-08-28 15:16:19,662-probing.py-INFO: Start ovelapping checking...
2023-08-28 15:17:30,592-probing.py-INFO: Test for state 3453
2023-08-28 15:17:30,609-probing.py-INFO: Start ovelapping checking...
2023-08-28 15:19:33,665-probing.py-INFO: Test for state 3417
2023-08-28 15:19:33,689-probing.py-INFO: Start ovelapping checking...
2023-08-28 15:20:59,290-probing.py-INFO: Test for state 3381
2023-08-28 15:20:59,309-probing.py-INFO: Start ovelapping checking...
2023-08-28 15:22:07,375-probing.py-INFO: Test for state 3345
2023-08-28 15:22:07,398-probing.py-INFO: Start ovelapping checking...
2023-08-28 15:23:15,683-probing.py-INFO: Test for state 3309
2023-08-28 15:23:15,712-probing.py-INFO: Start ovelapping checking...
2023-08-28 15:24:45,224-probing.py-INFO: Test for state 3273
2023-08-28 15:24:45,262-probing.py-INFO: Start ovelapping checking...
2023-08-28 15:26:06,536-probing.py-INFO: Test for state 3237
2023-08-28 15:26:06,570-probing.py-INFO: Start ovelapping checking...
2023-08-28 15:27:16,020-probing.py-INFO: Test for state 3201
2023-08-28 15:27:16,054-probing.py-INFO: Start ovelapping checking...
2023-08-28 15:27:58,192-probing.py-INFO: Found 3201-th state is correct...
2023-08-28 15:27:58,192-probing.py-INFO: Start fine search...
2023-08-28 15:27:58,192-probing.py-INFO: Test for state 3219
2023-08-28 15:27:59,285-probing.py-INFO: Start ovelapping checking...
2023-08-28 15:28:27,740-probing.py-INFO: Test for state 3228
2023-08-28 15:28:29,056-probing.py-INFO: Start ovelapping checking...
2023-08-28 15:29:07,857-probing.py-INFO: Test for state 3224
2023-08-28 15:29:09,452-probing.py-INFO: Start ovelapping checking...
2023-08-28 15:29:34,619-probing.py-INFO: Test for state 3222
2023-08-28 15:29:35,845-probing.py-INFO: Start ovelapping checking...
2023-08-28 15:29:49,072-probing.py-INFO: Test for state 3223
2023-08-28 15:29:50,464-probing.py-INFO: Start ovelapping checking...
2023-08-28 15:30:05,838-probing.py-INFO: Found 3223-th state is the first error state
2023-08-28 15:30:07,122-distanceQ.py-INFO: Initializing the pair-wise distance...
2023-08-28 15:30:07,123-distanceQ.py-INFO: Categorize the clusters based on the label...
2023-08-28 15:30:07,123-distanceQ.py-INFO: Computing the pair-wise distance inside the same label...
2023-08-28 15:30:07,177-distanceQ.py-INFO: Build the double heaps...
2023-08-28 15:30:07,187-probing.py-INFO: Start normal forward probing...
2023-08-28 16:23:23,971-probing.py-INFO: Final number of clusters: 4
2023-08-28 16:23:24,002-main.py-INFO: Dumping the clusters...
2023-08-28 16:23:24,006-main.py-INFO: Finish dumping the clusters...
2023-08-28 16:23:24,006-main.py-INFO: Loading the clusters from results/dfg/codebert/12/clusters.txt
2023-08-28 16:23:24,006-main.py-INFO: Load entities from data/dfg/codebert/entities/train.txt
2023-08-28 16:23:24,056-main.py-INFO: Finish loading 3600 entities...
2023-08-28 16:23:24,056-main.py-INFO: Label size=3
2023-08-28 16:23:24,056-main.py-INFO: Loading embeddings from data/dfg/codebert/embeddings/layers/train/12.txt
2023-08-28 16:23:26,682-main.py-INFO: Finish loading embeddings...
2023-08-28 16:23:27,035-main.py-INFO: Finish loading the clusters...
2023-08-28 16:23:27,035-main.py-INFO: Load entities from data/dfg/codebert/entities/test.txt
2023-08-28 16:23:27,046-main.py-INFO: Finish loading 900 entities...
2023-08-28 16:23:27,047-main.py-INFO: Loading embeddings from data/dfg/codebert/embeddings/layers/test/12.txt
2023-08-28 16:23:27,683-main.py-INFO: Finish loading embeddings...
2023-08-28 16:23:27,758-main.py-INFO: Start prediction...
2023-08-28 16:23:27,758-analyzer.py-INFO: Computing the distances...
2023-08-28 16:26:49,271-main.py-INFO: Acc=0.8355555555555556
2023-08-28 16:26:49,273-main.py-INFO: Writing predictions to file...
2023-08-28 16:26:49,280-main.py-INFO: Computing the distances between clusters...
2023-08-28 16:26:53,676-main.py-INFO: Writing pair-wise distances...
2023-08-28 16:26:53,677-main.py-INFO: MinConvexDistance=0.23774487203207034
2023-08-28 16:26:53,677-main.py-INFO: MaxConvexDistance=9.528162863309205
2023-08-28 16:26:53,677-main.py-INFO: AverageConvexDistance=3.679601846835194
