2023-08-28 18:19:52,213-main.py-INFO: Load entities from data/dfg/codet5/entities/train.txt
2023-08-28 18:19:52,215-main.py-INFO: Finish loading 3600 entities...
2023-08-28 18:19:52,216-main.py-INFO: Label size=3
2023-08-28 18:19:52,216-main.py-INFO: Loading embeddings from data/dfg/codet5/embeddings/layers/train/5.txt
2023-08-28 18:19:53,802-main.py-INFO: Finish loading embeddings...
2023-08-28 18:19:54,000-space.py-INFO: Gurobi IS found in the system, we will use Gurobi.
2023-08-28 18:19:54,008-main.py-INFO: Initialize the Distance Queue...
2023-08-28 18:19:55,049-distanceQ.py-INFO: Initializing the pair-wise distance...
2023-08-28 18:19:55,052-distanceQ.py-INFO: Categorize the clusters based on the label...
2023-08-28 18:19:55,053-distanceQ.py-INFO: Computing the pair-wise distance inside the same label...
2023-08-28 18:19:59,640-distanceQ.py-INFO: Build the double heaps...
2023-08-28 18:20:00,135-probing.py-INFO: Initializing the tracks...
2023-08-28 18:20:00,139-probing.py-INFO: Probing to the end...
2023-08-28 18:20:31,106-probing.py-INFO: Finish probing to the end...
2023-08-28 18:20:31,106-probing.py-INFO: Checking for the end state..
2023-08-28 18:20:31,106-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:21:02,029-probing.py-INFO: Start coarse search...
2023-08-28 18:21:02,029-probing.py-INFO: Test for state 3561
2023-08-28 18:21:02,109-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:21:28,595-probing.py-INFO: Test for state 3525
2023-08-28 18:21:28,606-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:22:35,875-probing.py-INFO: Test for state 3489
2023-08-28 18:22:36,206-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:24:10,289-probing.py-INFO: Test for state 3453
2023-08-28 18:24:10,304-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:25:35,713-probing.py-INFO: Test for state 3417
2023-08-28 18:25:36,021-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:27:04,221-probing.py-INFO: Test for state 3381
2023-08-28 18:27:04,243-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:28:20,026-probing.py-INFO: Test for state 3345
2023-08-28 18:28:20,060-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:29:56,715-probing.py-INFO: Test for state 3309
2023-08-28 18:29:56,782-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:31:50,426-probing.py-INFO: Test for state 3273
2023-08-28 18:31:50,462-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:33:16,744-probing.py-INFO: Test for state 3237
2023-08-28 18:33:16,888-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:35:09,468-probing.py-INFO: Test for state 3201
2023-08-28 18:35:09,601-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:37:04,563-probing.py-INFO: Test for state 3165
2023-08-28 18:37:04,603-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:38:55,012-probing.py-INFO: Test for state 3129
2023-08-28 18:38:55,066-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:40:27,149-probing.py-INFO: Test for state 3093
2023-08-28 18:40:27,242-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:42:15,127-probing.py-INFO: Test for state 3057
2023-08-28 18:42:17,536-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:44:02,339-probing.py-INFO: Test for state 3021
2023-08-28 18:44:02,391-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:45:32,400-probing.py-INFO: Test for state 2985
2023-08-28 18:45:34,867-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:46:48,415-probing.py-INFO: Test for state 2949
2023-08-28 18:46:51,333-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:48:10,369-probing.py-INFO: Test for state 2913
2023-08-28 18:48:10,646-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:49:15,855-probing.py-INFO: Test for state 2877
2023-08-28 18:49:15,912-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:51:02,398-probing.py-INFO: Test for state 2841
2023-08-28 18:51:02,487-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:52:35,891-probing.py-INFO: Test for state 2805
2023-08-28 18:52:35,953-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:53:34,619-probing.py-INFO: Test for state 2769
2023-08-28 18:53:38,397-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:54:53,044-probing.py-INFO: Test for state 2733
2023-08-28 18:54:56,202-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:56:01,453-probing.py-INFO: Test for state 2697
2023-08-28 18:56:06,383-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:57:39,199-probing.py-INFO: Test for state 2661
2023-08-28 18:57:39,557-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:58:27,375-probing.py-INFO: Test for state 2625
2023-08-28 18:58:27,499-probing.py-INFO: Start ovelapping checking...
2023-08-28 18:59:18,256-probing.py-INFO: Test for state 2589
2023-08-28 18:59:19,633-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:00:15,659-probing.py-INFO: Test for state 2553
2023-08-28 19:00:15,925-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:00:50,579-probing.py-INFO: Test for state 2517
2023-08-28 19:00:51,166-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:01:42,811-probing.py-INFO: Test for state 2481
2023-08-28 19:01:42,965-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:02:33,445-probing.py-INFO: Test for state 2445
2023-08-28 19:02:38,653-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:03:36,836-probing.py-INFO: Test for state 2409
2023-08-28 19:03:36,959-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:04:36,543-probing.py-INFO: Test for state 2373
2023-08-28 19:04:37,540-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:05:17,681-probing.py-INFO: Test for state 2337
2023-08-28 19:05:17,786-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:05:57,177-probing.py-INFO: Test for state 2301
2023-08-28 19:05:57,640-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:06:31,367-probing.py-INFO: Test for state 2265
2023-08-28 19:06:31,468-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:07:05,380-probing.py-INFO: Test for state 2229
2023-08-28 19:07:05,479-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:07:35,135-probing.py-INFO: Test for state 2193
2023-08-28 19:07:35,235-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:08:25,287-probing.py-INFO: Test for state 2157
2023-08-28 19:08:25,389-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:08:56,227-probing.py-INFO: Test for state 2121
2023-08-28 19:08:56,520-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:09:22,329-probing.py-INFO: Test for state 2085
2023-08-28 19:09:22,465-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:09:36,175-probing.py-INFO: Found 2085-th state is correct...
2023-08-28 19:09:36,175-probing.py-INFO: Start fine search...
2023-08-28 19:09:36,175-probing.py-INFO: Test for state 2103
2023-08-28 19:09:36,282-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:09:49,516-probing.py-INFO: Test for state 2094
2023-08-28 19:09:49,963-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:09:55,280-probing.py-INFO: Test for state 2099
2023-08-28 19:10:00,146-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:10:08,034-probing.py-INFO: Test for state 2101
2023-08-28 19:10:08,139-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:10:08,900-probing.py-INFO: Test for state 2100
2023-08-28 19:10:09,003-probing.py-INFO: Start ovelapping checking...
2023-08-28 19:10:09,824-probing.py-INFO: Found 2099-th state is the first error state
2023-08-28 19:10:09,928-distanceQ.py-INFO: Initializing the pair-wise distance...
2023-08-28 19:10:09,929-distanceQ.py-INFO: Categorize the clusters based on the label...
2023-08-28 19:10:09,929-distanceQ.py-INFO: Computing the pair-wise distance inside the same label...
2023-08-28 19:10:11,434-distanceQ.py-INFO: Build the double heaps...
2023-08-28 19:10:11,576-probing.py-INFO: Start normal forward probing...
2023-08-28 23:58:09,510-probing.py-INFO: Final number of clusters: 6
2023-08-28 23:58:09,534-main.py-INFO: Dumping the clusters...
2023-08-28 23:58:09,536-main.py-INFO: Finish dumping the clusters...
2023-08-28 23:58:09,536-main.py-INFO: Loading the clusters from results/dfg/codet5/5/clusters.txt
2023-08-28 23:58:09,536-main.py-INFO: Load entities from data/dfg/codet5/entities/train.txt
2023-08-28 23:58:09,583-main.py-INFO: Finish loading 3600 entities...
2023-08-28 23:58:09,583-main.py-INFO: Label size=3
2023-08-28 23:58:09,584-main.py-INFO: Loading embeddings from data/dfg/codet5/embeddings/layers/train/5.txt
2023-08-28 23:58:11,071-main.py-INFO: Finish loading embeddings...
2023-08-28 23:58:11,263-main.py-INFO: Finish loading the clusters...
2023-08-28 23:58:11,263-main.py-INFO: Load entities from data/dfg/codet5/entities/test.txt
2023-08-28 23:58:11,264-main.py-INFO: Finish loading 900 entities...
2023-08-28 23:58:11,264-main.py-INFO: Loading embeddings from data/dfg/codet5/embeddings/layers/test/5.txt
2023-08-28 23:58:11,636-main.py-INFO: Finish loading embeddings...
2023-08-28 23:58:11,685-main.py-INFO: Start prediction...
2023-08-28 23:58:11,685-analyzer.py-INFO: Computing the distances...
2023-08-29 00:00:27,506-main.py-INFO: Acc=0.8044444444444444
2023-08-29 00:00:27,510-main.py-INFO: Writing predictions to file...
2023-08-29 00:00:27,526-main.py-INFO: Computing the distances between clusters...
2023-08-29 00:00:30,434-main.py-INFO: Writing pair-wise distances...
2023-08-29 00:00:30,435-main.py-INFO: MinConvexDistance=0.0
2023-08-29 00:00:30,435-main.py-INFO: MaxConvexDistance=9.317209842042548
2023-08-29 00:00:30,435-main.py-INFO: AverageConvexDistance=3.395374896365726
