2023-09-21 13:10:21,150-main.py-INFO: Load entities from data/dfg/unixcoder/entities/train.txt
2023-09-21 13:10:21,152-main.py-INFO: Finish loading 3600 entities...
2023-09-21 13:10:21,152-main.py-INFO: Label size=3
2023-09-21 13:10:21,152-main.py-INFO: Loading embeddings from data/dfg/unixcoder/embeddings/layers/train/5.txt
2023-09-21 13:10:22,556-main.py-INFO: Finish loading embeddings...
2023-09-21 13:10:22,729-space.py-INFO: Gurobi IS found in the system, we will use Gurobi.
2023-09-21 13:10:22,737-main.py-INFO: Initialize the Distance Queue...
2023-09-21 13:10:23,444-distanceQ.py-INFO: Initializing the pair-wise distance...
2023-09-21 13:10:23,445-distanceQ.py-INFO: Categorize the clusters based on the label...
2023-09-21 13:10:23,445-distanceQ.py-INFO: Computing the pair-wise distance inside the same label...
2023-09-21 13:10:26,579-distanceQ.py-INFO: Build the double heaps...
2023-09-21 13:10:26,943-probing.py-INFO: Initializing the tracks...
2023-09-21 13:10:26,945-probing.py-INFO: Probing to the end...
2023-09-21 13:10:39,938-probing.py-INFO: Finish probing to the end...
2023-09-21 13:10:39,938-probing.py-INFO: Checking for the end state..
2023-09-21 13:10:39,938-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:10:58,325-probing.py-INFO: Start coarse search...
2023-09-21 13:10:58,325-probing.py-INFO: Test for state 3561
2023-09-21 13:10:58,332-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:11:26,419-probing.py-INFO: Test for state 3525
2023-09-21 13:11:26,429-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:11:51,795-probing.py-INFO: Test for state 3489
2023-09-21 13:11:51,807-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:13:55,251-probing.py-INFO: Test for state 3453
2023-09-21 13:13:55,293-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:15:02,140-probing.py-INFO: Test for state 3417
2023-09-21 13:15:02,163-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:19:05,439-probing.py-INFO: Test for state 3381
2023-09-21 13:19:05,460-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:20:43,585-probing.py-INFO: Test for state 3345
2023-09-21 13:20:43,607-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:22:12,861-probing.py-INFO: Test for state 3309
2023-09-21 13:22:12,891-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:23:59,567-probing.py-INFO: Test for state 3273
2023-09-21 13:23:59,695-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:25:20,828-probing.py-INFO: Test for state 3237
2023-09-21 13:25:20,859-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:26:21,427-probing.py-INFO: Test for state 3201
2023-09-21 13:26:21,463-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:29:46,138-probing.py-INFO: Test for state 3165
2023-09-21 13:29:46,171-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:30:41,113-probing.py-INFO: Test for state 3129
2023-09-21 13:30:41,164-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:32:37,861-probing.py-INFO: Test for state 3093
2023-09-21 13:32:37,899-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:33:41,136-probing.py-INFO: Test for state 3057
2023-09-21 13:33:41,181-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:35:29,034-probing.py-INFO: Test for state 3021
2023-09-21 13:35:29,097-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:36:14,698-probing.py-INFO: Test for state 2985
2023-09-21 13:36:14,746-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:37:08,529-probing.py-INFO: Test for state 2949
2023-09-21 13:37:08,583-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:38:05,834-probing.py-INFO: Test for state 2913
2023-09-21 13:38:06,633-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:39:56,178-probing.py-INFO: Test for state 2877
2023-09-21 13:39:57,449-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:42:03,622-probing.py-INFO: Test for state 2841
2023-09-21 13:42:04,585-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:43:13,927-probing.py-INFO: Test for state 2805
2023-09-21 13:43:14,148-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:44:06,765-probing.py-INFO: Test for state 2769
2023-09-21 13:44:07,497-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:44:39,313-probing.py-INFO: Test for state 2733
2023-09-21 13:44:39,391-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:46:16,199-probing.py-INFO: Test for state 2697
2023-09-21 13:46:17,610-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:46:49,780-probing.py-INFO: Found 2697-th state is correct...
2023-09-21 13:46:49,780-probing.py-INFO: Start fine search...
2023-09-21 13:46:49,780-probing.py-INFO: Test for state 2715
2023-09-21 13:46:49,856-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:47:09,572-probing.py-INFO: Test for state 2706
2023-09-21 13:47:09,758-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:47:22,908-probing.py-INFO: Test for state 2711
2023-09-21 13:47:22,971-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:47:37,647-probing.py-INFO: Test for state 2709
2023-09-21 13:47:38,744-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:47:54,593-probing.py-INFO: Test for state 2708
2023-09-21 13:47:54,667-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:48:11,485-probing.py-INFO: Found 2708-th state is the first error state
2023-09-21 13:48:11,556-distanceQ.py-INFO: Initializing the pair-wise distance...
2023-09-21 13:48:11,557-distanceQ.py-INFO: Categorize the clusters based on the label...
2023-09-21 13:48:11,557-distanceQ.py-INFO: Computing the pair-wise distance inside the same label...
2023-09-21 13:48:11,799-distanceQ.py-INFO: Build the double heaps...
2023-09-21 13:48:11,851-probing.py-INFO: Start normal forward probing...
2023-09-21 15:34:33,183-probing.py-INFO: Final number of clusters: 4
2023-09-21 15:34:33,203-main.py-INFO: Dumping the clusters...
2023-09-21 15:34:33,206-main.py-INFO: Finish dumping the clusters...
2023-09-21 15:34:33,206-main.py-INFO: Loading the clusters from results/dfg/unixcoder/5/clusters.txt
2023-09-21 15:34:33,206-main.py-INFO: Load entities from data/dfg/unixcoder/entities/train.txt
2023-09-21 15:34:33,253-main.py-INFO: Finish loading 3600 entities...
2023-09-21 15:34:33,253-main.py-INFO: Label size=3
2023-09-21 15:34:33,253-main.py-INFO: Loading embeddings from data/dfg/unixcoder/embeddings/layers/train/5.txt
2023-09-21 15:34:34,746-main.py-INFO: Finish loading embeddings...
2023-09-21 15:34:34,938-main.py-INFO: Finish loading the clusters...
2023-09-21 15:34:34,938-main.py-INFO: Load entities from data/dfg/unixcoder/entities/test.txt
2023-09-21 15:34:34,939-main.py-INFO: Finish loading 900 entities...
2023-09-21 15:34:34,939-main.py-INFO: Loading embeddings from data/dfg/unixcoder/embeddings/layers/test/5.txt
2023-09-21 15:34:35,314-main.py-INFO: Finish loading embeddings...
2023-09-21 15:34:35,361-main.py-INFO: Start prediction...
2023-09-21 15:34:35,361-analyzer.py-INFO: Computing the distances...
2023-09-21 15:36:57,341-main.py-INFO: Acc=0.8333333333333334
2023-09-21 15:36:57,343-main.py-INFO: Writing predictions to file...
2023-09-21 15:36:57,347-main.py-INFO: Computing the distances between clusters...
2023-09-21 15:36:59,992-main.py-INFO: Writing pair-wise distances...
2023-09-21 15:36:59,993-main.py-INFO: MinConvexDistance=0.4058922091121897
2023-09-21 15:36:59,993-main.py-INFO: MaxConvexDistance=12.096891346298042
2023-09-21 15:36:59,993-main.py-INFO: AverageConvexDistance=4.887078076861767
