2023-08-28 18:19:18,950-main.py-INFO: Load entities from data/dfg/graphcodebert/entities/train.txt
2023-08-28 18:19:18,953-main.py-INFO: Finish loading 3600 entities...
2023-08-28 18:19:18,953-main.py-INFO: Label size=3
2023-08-28 18:19:18,953-main.py-INFO: Loading embeddings from data/dfg/graphcodebert/embeddings/layers/train/12.txt
2023-08-28 18:19:20,799-main.py-INFO: Finish loading embeddings...
2023-08-28 18:19:21,003-space.py-INFO: Gurobi IS found in the system, we will use Gurobi.
2023-08-28 18:19:21,013-main.py-INFO: Initialize the Distance Queue...
2023-08-28 18:19:22,123-distanceQ.py-INFO: Initializing the pair-wise distance...
2023-08-28 18:19:22,126-distanceQ.py-INFO: Categorize the clusters based on the label...
2023-08-28 18:19:22,127-distanceQ.py-INFO: Computing the pair-wise distance inside the same label...
2023-08-28 18:19:26,178-distanceQ.py-INFO: Build the double heaps...
2023-08-28 18:19:26,682-probing.py-INFO: Initializing the tracks...
2023-08-28 18:19:26,686-probing.py-INFO: Probing to the end...
2023-08-28 18:19:49,713-probing.py-INFO: Finish probing to the end...
2023-08-28 18:19:49,713-probing.py-INFO: Checking for the end state..
2023-08-28 18:19:49,714-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:20:30,513-probing.py-INFO: Start coarse search...
2023-08-28 18:20:30,514-probing.py-INFO: Test for state 3561
2023-08-28 18:20:30,557-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:21:12,466-probing.py-INFO: Test for state 3525
2023-08-28 18:21:12,475-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:22:07,800-probing.py-INFO: Test for state 3489
2023-08-28 18:22:07,981-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:23:32,617-probing.py-INFO: Test for state 3453
2023-08-28 18:23:32,634-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:25:01,027-probing.py-INFO: Test for state 3417
2023-08-28 18:25:01,385-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:26:13,611-probing.py-INFO: Test for state 3381
2023-08-28 18:26:13,896-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:27:26,945-probing.py-INFO: Test for state 3345
2023-08-28 18:27:27,412-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:28:40,135-probing.py-INFO: Test for state 3309
2023-08-28 18:28:40,409-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:32:47,323-probing.py-INFO: Test for state 3273
2023-08-28 18:32:47,833-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:34:23,921-probing.py-INFO: Test for state 3237
2023-08-28 18:34:24,128-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:35:02,010-probing.py-INFO: Test for state 3201
2023-08-28 18:35:02,046-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:37:06,968-probing.py-INFO: Test for state 3165
2023-08-28 18:37:07,018-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:38:34,541-probing.py-INFO: Test for state 3129
2023-08-28 18:38:35,116-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:39:26,089-probing.py-INFO: Test for state 3093
2023-08-28 18:39:27,129-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:40:47,800-probing.py-INFO: Test for state 3057
2023-08-28 18:40:48,892-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:42:47,154-probing.py-INFO: Test for state 3021
2023-08-28 18:42:48,211-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:44:06,014-probing.py-INFO: Test for state 2985
2023-08-28 18:44:06,082-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:45:50,549-probing.py-INFO: Test for state 2949
2023-08-28 18:45:51,852-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:46:34,684-probing.py-INFO: Test for state 2913
2023-08-28 18:46:34,739-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:47:25,292-probing.py-INFO: Test for state 2877
2023-08-28 18:47:26,414-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:49:08,035-probing.py-INFO: Test for state 2841
2023-08-28 18:49:08,100-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:50:16,332-probing.py-INFO: Test for state 2805
2023-08-28 18:50:18,256-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:50:58,193-probing.py-INFO: Test for state 2769
2023-08-28 18:50:58,277-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:51:58,311-probing.py-INFO: Test for state 2733
2023-08-28 18:51:59,578-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:53:13,845-probing.py-INFO: Test for state 2697
2023-08-28 18:53:14,315-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:54:24,483-probing.py-INFO: Test for state 2661
2023-08-28 18:54:25,519-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:55:12,815-probing.py-INFO: Test for state 2625
2023-08-28 18:55:15,078-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:55:47,907-probing.py-INFO: Test for state 2589
2023-08-28 18:55:50,469-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:56:56,924-probing.py-INFO: Test for state 2553
2023-08-28 18:56:59,478-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:58:25,361-probing.py-INFO: Test for state 2517
2023-08-28 18:58:25,490-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:59:54,984-probing.py-INFO: Found 2517-th state is correct...
2023-08-28 18:59:54,984-probing.py-INFO: Start fine search...
2023-08-28 18:59:54,984-probing.py-INFO: Test for state 2535
2023-08-28 18:59:55,076-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:00:38,454-probing.py-INFO: Test for state 2526
2023-08-28 19:00:41,217-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:01:13,235-probing.py-INFO: Test for state 2521
2023-08-28 19:01:15,944-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:01:33,672-probing.py-INFO: Test for state 2519
2023-08-28 19:01:34,000-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:01:42,398-probing.py-INFO: Test for state 2518
2023-08-28 19:01:42,522-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:01:43,901-probing.py-INFO: Test for state 2517
2023-08-28 19:01:44,022-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:01:45,238-probing.py-INFO: Found 2517-th state is the first error state
2023-08-28 19:01:45,326-distanceQ.py-INFO: Initializing the pair-wise distance...
2023-08-28 19:01:45,327-distanceQ.py-INFO: Categorize the clusters based on the label...
2023-08-28 19:01:45,327-distanceQ.py-INFO: Computing the pair-wise distance inside the same label...
2023-08-28 19:01:45,977-distanceQ.py-INFO: Build the double heaps...
2023-08-28 19:01:46,049-probing.py-INFO: Start normal forward probing...
2023-08-28 23:18:57,947-probing.py-INFO: Final number of clusters: 7
2023-08-28 23:18:57,973-main.py-INFO: Dumping the clusters...
2023-08-28 23:18:57,976-main.py-INFO: Finish dumping the clusters...
2023-08-28 23:18:57,976-main.py-INFO: Loading the clusters from results/dfg/graphcodebert/12/clusters.txt
2023-08-28 23:18:57,976-main.py-INFO: Load entities from data/dfg/graphcodebert/entities/train.txt
2023-08-28 23:18:58,014-main.py-INFO: Finish loading 3600 entities...
2023-08-28 23:18:58,014-main.py-INFO: Label size=3
2023-08-28 23:18:58,014-main.py-INFO: Loading embeddings from data/dfg/graphcodebert/embeddings/layers/train/12.txt
2023-08-28 23:19:00,179-main.py-INFO: Finish loading embeddings...
2023-08-28 23:19:00,568-main.py-INFO: Finish loading the clusters...
2023-08-28 23:19:00,568-main.py-INFO: Load entities from data/dfg/graphcodebert/entities/test.txt
2023-08-28 23:19:00,569-main.py-INFO: Finish loading 900 entities...
2023-08-28 23:19:00,569-main.py-INFO: Loading embeddings from data/dfg/graphcodebert/embeddings/layers/test/12.txt
2023-08-28 23:19:00,999-main.py-INFO: Finish loading embeddings...
2023-08-28 23:19:01,055-main.py-INFO: Start prediction...
2023-08-28 23:19:01,055-analyzer.py-INFO: Computing the distances...
2023-08-28 23:21:46,880-main.py-INFO: Acc=0.8655555555555555
2023-08-28 23:21:46,884-main.py-INFO: Writing predictions to file...
2023-08-28 23:21:46,902-main.py-INFO: Computing the distances between clusters...
2023-08-28 23:21:51,034-main.py-INFO: Writing pair-wise distances...
2023-08-28 23:21:51,035-main.py-INFO: MinConvexDistance=0.0
2023-08-28 23:21:51,035-main.py-INFO: MaxConvexDistance=24.841392859754524
2023-08-28 23:21:51,035-main.py-INFO: AverageConvexDistance=8.609997125906862
