2023-08-28 18:18:53,777-main.py-INFO: Load entities from data/dfg/graphcodebert/entities/train.txt
2023-08-28 18:18:53,782-main.py-INFO: Finish loading 3600 entities...
2023-08-28 18:18:53,782-main.py-INFO: Label size=3
2023-08-28 18:18:53,782-main.py-INFO: Loading embeddings from data/dfg/graphcodebert/embeddings/layers/train/5.txt
2023-08-28 18:18:56,253-main.py-INFO: Finish loading embeddings...
2023-08-28 18:18:56,500-space.py-INFO: Gurobi IS found in the system, we will use Gurobi.
2023-08-28 18:18:56,511-main.py-INFO: Initialize the Distance Queue...
2023-08-28 18:18:57,620-distanceQ.py-INFO: Initializing the pair-wise distance...
2023-08-28 18:18:57,621-distanceQ.py-INFO: Categorize the clusters based on the label...
2023-08-28 18:18:57,622-distanceQ.py-INFO: Computing the pair-wise distance inside the same label...
2023-08-28 18:19:01,162-distanceQ.py-INFO: Build the double heaps...
2023-08-28 18:19:01,541-probing.py-INFO: Initializing the tracks...
2023-08-28 18:19:01,544-probing.py-INFO: Probing to the end...
2023-08-28 18:19:20,028-probing.py-INFO: Finish probing to the end...
2023-08-28 18:19:20,029-probing.py-INFO: Checking for the end state..
2023-08-28 18:19:20,029-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:20:00,990-probing.py-INFO: Start coarse search...
2023-08-28 18:20:00,991-probing.py-INFO: Test for state 3561
2023-08-28 18:20:01,107-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:20:56,564-probing.py-INFO: Test for state 3525
2023-08-28 18:20:56,709-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:22:07,661-probing.py-INFO: Test for state 3489
2023-08-28 18:22:07,855-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:23:46,644-probing.py-INFO: Test for state 3453
2023-08-28 18:23:47,115-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:25:54,510-probing.py-INFO: Test for state 3417
2023-08-28 18:25:54,729-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:27:29,297-probing.py-INFO: Test for state 3381
2023-08-28 18:27:29,689-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:29:54,758-probing.py-INFO: Test for state 3345
2023-08-28 18:29:54,791-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:31:21,551-probing.py-INFO: Test for state 3309
2023-08-28 18:31:21,983-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:33:12,767-probing.py-INFO: Test for state 3273
2023-08-28 18:33:12,799-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:34:54,685-probing.py-INFO: Test for state 3237
2023-08-28 18:34:54,729-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:36:19,058-probing.py-INFO: Test for state 3201
2023-08-28 18:36:19,094-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:39:14,233-probing.py-INFO: Test for state 3165
2023-08-28 18:39:14,272-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:40:20,516-probing.py-INFO: Test for state 3129
2023-08-28 18:40:20,567-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:44:35,349-probing.py-INFO: Test for state 3093
2023-08-28 18:44:36,031-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:46:15,574-probing.py-INFO: Test for state 3057
2023-08-28 18:46:15,621-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:48:24,052-probing.py-INFO: Test for state 3021
2023-08-28 18:48:24,110-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:49:15,457-probing.py-INFO: Test for state 2985
2023-08-28 18:49:15,514-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:50:31,435-probing.py-INFO: Test for state 2949
2023-08-28 18:50:32,548-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:53:08,612-probing.py-INFO: Test for state 2913
2023-08-28 18:53:08,668-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:55:22,653-probing.py-INFO: Test for state 2877
2023-08-28 18:55:22,734-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:56:51,083-probing.py-INFO: Test for state 2841
2023-08-28 18:56:52,598-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:57:41,714-probing.py-INFO: Test for state 2805
2023-08-28 18:57:41,801-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:58:39,678-probing.py-INFO: Test for state 2769
2023-08-28 18:58:41,033-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:59:29,235-probing.py-INFO: Test for state 2733
2023-08-28 18:59:30,681-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:00:13,168-probing.py-INFO: Test for state 2697
2023-08-28 19:00:13,766-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:01:00,434-probing.py-INFO: Test for state 2661
2023-08-28 19:01:00,733-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:01:58,909-probing.py-INFO: Test for state 2625
2023-08-28 19:01:59,014-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:02:47,969-probing.py-INFO: Test for state 2589
2023-08-28 19:02:48,115-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:03:36,983-probing.py-INFO: Test for state 2553
2023-08-28 19:03:37,088-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:04:17,846-probing.py-INFO: Test for state 2517
2023-08-28 19:04:17,934-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:05:56,392-probing.py-INFO: Test for state 2481
2023-08-28 19:05:56,485-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:07:25,616-probing.py-INFO: Test for state 2445
2023-08-28 19:07:25,728-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:08:52,527-probing.py-INFO: Test for state 2409
2023-08-28 19:08:52,610-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:09:53,712-probing.py-INFO: Test for state 2373
2023-08-28 19:09:54,072-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:11:08,569-probing.py-INFO: Test for state 2337
2023-08-28 19:11:09,028-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:12:42,672-probing.py-INFO: Found 2337-th state is correct...
2023-08-28 19:12:42,672-probing.py-INFO: Start fine search...
2023-08-28 19:12:42,672-probing.py-INFO: Test for state 2355
2023-08-28 19:12:44,724-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:13:06,341-probing.py-INFO: Test for state 2346
2023-08-28 19:13:08,719-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:13:22,391-probing.py-INFO: Test for state 2351
2023-08-28 19:13:25,383-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:13:38,756-probing.py-INFO: Test for state 2353
2023-08-28 19:13:41,720-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:13:56,100-probing.py-INFO: Test for state 2352
2023-08-28 19:13:58,688-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:14:06,582-probing.py-INFO: Found 2351-th state is the first error state
2023-08-28 19:14:06,672-distanceQ.py-INFO: Initializing the pair-wise distance...
2023-08-28 19:14:06,672-distanceQ.py-INFO: Categorize the clusters based on the label...
2023-08-28 19:14:06,672-distanceQ.py-INFO: Computing the pair-wise distance inside the same label...
2023-08-28 19:14:07,748-distanceQ.py-INFO: Build the double heaps...
2023-08-28 19:14:07,853-probing.py-INFO: Start normal forward probing...
2023-08-28 23:17:20,865-probing.py-INFO: Final number of clusters: 4
2023-08-28 23:17:20,903-main.py-INFO: Dumping the clusters...
2023-08-28 23:17:20,908-main.py-INFO: Finish dumping the clusters...
2023-08-28 23:17:20,908-main.py-INFO: Loading the clusters from results/dfg/graphcodebert/5/clusters.txt
2023-08-28 23:17:20,908-main.py-INFO: Load entities from data/dfg/graphcodebert/entities/train.txt
2023-08-28 23:17:20,986-main.py-INFO: Finish loading 3600 entities...
2023-08-28 23:17:20,987-main.py-INFO: Label size=3
2023-08-28 23:17:20,987-main.py-INFO: Loading embeddings from data/dfg/graphcodebert/embeddings/layers/train/5.txt
2023-08-28 23:17:23,360-main.py-INFO: Finish loading embeddings...
2023-08-28 23:17:23,753-main.py-INFO: Finish loading the clusters...
2023-08-28 23:17:23,753-main.py-INFO: Load entities from data/dfg/graphcodebert/entities/test.txt
2023-08-28 23:17:23,763-main.py-INFO: Finish loading 900 entities...
2023-08-28 23:17:23,763-main.py-INFO: Loading embeddings from data/dfg/graphcodebert/embeddings/layers/test/5.txt
2023-08-28 23:17:24,344-main.py-INFO: Finish loading embeddings...
2023-08-28 23:17:24,416-main.py-INFO: Start prediction...
2023-08-28 23:17:24,417-analyzer.py-INFO: Computing the distances...
2023-08-28 23:20:18,510-main.py-INFO: Acc=0.8533333333333334
2023-08-28 23:20:18,513-main.py-INFO: Writing predictions to file...
2023-08-28 23:20:18,522-main.py-INFO: Computing the distances between clusters...
2023-08-28 23:20:23,594-main.py-INFO: Writing pair-wise distances...
2023-08-28 23:20:23,594-main.py-INFO: MinConvexDistance=0.4064006007219769
2023-08-28 23:20:23,594-main.py-INFO: MaxConvexDistance=4.469222179216045
2023-08-28 23:20:23,594-main.py-INFO: AverageConvexDistance=2.3203289173966497
