2023-09-23 07:23:46,443-main.py-INFO: Load entities from data/dfg/codet5/entities/train.txt
2023-09-23 07:23:46,445-main.py-INFO: Finish loading 3600 entities...
2023-09-23 07:23:46,445-main.py-INFO: Label size=3
2023-09-23 07:23:46,445-main.py-INFO: Loading embeddings from data/dfg/codet5/embeddings/layers/train/9.txt
2023-09-23 07:23:47,898-main.py-INFO: Finish loading embeddings...
2023-09-23 07:23:48,063-space.py-INFO: Gurobi IS found in the system, we will use Gurobi.
2023-09-23 07:23:48,071-main.py-INFO: Initialize the Distance Queue...
2023-09-23 07:23:48,643-distanceQ.py-INFO: Initializing the pair-wise distance...
2023-09-23 07:23:48,644-distanceQ.py-INFO: Categorize the clusters based on the label...
2023-09-23 07:23:48,644-distanceQ.py-INFO: Computing the pair-wise distance inside the same label...
2023-09-23 07:23:51,842-distanceQ.py-INFO: Build the double heaps...
2023-09-23 07:23:52,198-probing.py-INFO: Initializing the tracks...
2023-09-23 07:23:52,201-probing.py-INFO: Probing to the end...
2023-09-23 07:24:05,378-probing.py-INFO: Finish probing to the end...
2023-09-23 07:24:05,378-probing.py-INFO: Checking for the end state..
2023-09-23 07:24:05,378-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:24:31,770-probing.py-INFO: Start coarse search...
2023-09-23 07:24:31,770-probing.py-INFO: Test for state 3561
2023-09-23 07:24:31,777-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:24:54,374-probing.py-INFO: Test for state 3525
2023-09-23 07:24:54,383-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:25:34,453-probing.py-INFO: Test for state 3489
2023-09-23 07:25:34,466-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:26:39,535-probing.py-INFO: Test for state 3453
2023-09-23 07:26:39,548-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:27:39,267-probing.py-INFO: Test for state 3417
2023-09-23 07:27:39,284-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:28:38,858-probing.py-INFO: Test for state 3381
2023-09-23 07:28:38,879-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:29:29,908-probing.py-INFO: Test for state 3345
2023-09-23 07:29:29,928-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:30:54,996-probing.py-INFO: Test for state 3309
2023-09-23 07:30:55,073-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:32:01,046-probing.py-INFO: Test for state 3273
2023-09-23 07:32:01,078-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:33:05,492-probing.py-INFO: Test for state 3237
2023-09-23 07:33:05,566-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:34:01,197-probing.py-INFO: Test for state 3201
2023-09-23 07:34:01,231-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:34:59,344-probing.py-INFO: Test for state 3165
2023-09-23 07:34:59,378-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:35:56,129-probing.py-INFO: Test for state 3129
2023-09-23 07:35:56,171-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:37:05,389-probing.py-INFO: Test for state 3093
2023-09-23 07:37:05,430-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:37:58,678-probing.py-INFO: Test for state 3057
2023-09-23 07:37:58,722-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:38:55,675-probing.py-INFO: Test for state 3021
2023-09-23 07:38:55,894-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:40:01,042-probing.py-INFO: Test for state 2985
2023-09-23 07:40:01,094-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:40:56,733-probing.py-INFO: Test for state 2949
2023-09-23 07:40:56,779-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:41:44,141-probing.py-INFO: Test for state 2913
2023-09-23 07:41:44,196-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:42:40,303-probing.py-INFO: Test for state 2877
2023-09-23 07:42:40,361-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:43:37,797-probing.py-INFO: Test for state 2841
2023-09-23 07:43:39,019-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:44:16,356-probing.py-INFO: Test for state 2805
2023-09-23 07:44:16,423-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:44:51,535-probing.py-INFO: Test for state 2769
2023-09-23 07:44:51,601-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:45:25,781-probing.py-INFO: Test for state 2733
2023-09-23 07:45:25,848-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:46:08,707-probing.py-INFO: Test for state 2697
2023-09-23 07:46:08,778-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:46:44,516-probing.py-INFO: Test for state 2661
2023-09-23 07:46:44,607-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:47:24,616-probing.py-INFO: Test for state 2625
2023-09-23 07:47:24,874-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:48:18,983-probing.py-INFO: Test for state 2589
2023-09-23 07:48:19,061-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:48:46,747-probing.py-INFO: Test for state 2553
2023-09-23 07:48:46,828-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:49:24,416-probing.py-INFO: Test for state 2517
2023-09-23 07:49:24,498-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:50:10,099-probing.py-INFO: Test for state 2481
2023-09-23 07:50:10,179-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:50:52,809-probing.py-INFO: Test for state 2445
2023-09-23 07:50:52,885-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:51:33,326-probing.py-INFO: Test for state 2409
2023-09-23 07:51:33,409-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:52:18,491-probing.py-INFO: Test for state 2373
2023-09-23 07:52:18,602-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:52:55,869-probing.py-INFO: Test for state 2337
2023-09-23 07:52:55,954-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:53:31,155-probing.py-INFO: Test for state 2301
2023-09-23 07:53:31,248-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:54:06,785-probing.py-INFO: Test for state 2265
2023-09-23 07:54:06,876-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:54:37,095-probing.py-INFO: Test for state 2229
2023-09-23 07:54:37,188-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:55:07,909-probing.py-INFO: Test for state 2193
2023-09-23 07:55:08,006-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:55:37,014-probing.py-INFO: Test for state 2157
2023-09-23 07:55:37,110-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:56:12,101-probing.py-INFO: Test for state 2121
2023-09-23 07:56:12,233-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:56:39,840-probing.py-INFO: Test for state 2085
2023-09-23 07:56:39,943-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:57:03,824-probing.py-INFO: Test for state 2049
2023-09-23 07:57:03,941-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:57:29,745-probing.py-INFO: Test for state 2013
2023-09-23 07:57:29,849-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:58:03,029-probing.py-INFO: Found 2013-th state is correct...
2023-09-23 07:58:03,030-probing.py-INFO: Start fine search...
2023-09-23 07:58:03,030-probing.py-INFO: Test for state 2031
2023-09-23 07:58:03,150-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:58:21,235-probing.py-INFO: Test for state 2040
2023-09-23 07:58:21,335-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:58:32,246-probing.py-INFO: Test for state 2036
2023-09-23 07:58:32,345-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:58:35,273-probing.py-INFO: Test for state 2034
2023-09-23 07:58:35,372-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:58:38,782-probing.py-INFO: Test for state 2033
2023-09-23 07:58:38,888-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:58:39,927-probing.py-INFO: Test for state 2032
2023-09-23 07:58:40,027-probing.py-INFO: Start ovelapping checking...
2023-09-23 07:58:42,281-probing.py-INFO: Found 2031-th state is the first error state
2023-09-23 07:58:42,383-distanceQ.py-INFO: Initializing the pair-wise distance...
2023-09-23 07:58:42,384-distanceQ.py-INFO: Categorize the clusters based on the label...
2023-09-23 07:58:42,384-distanceQ.py-INFO: Computing the pair-wise distance inside the same label...
2023-09-23 07:58:43,220-distanceQ.py-INFO: Build the double heaps...
2023-09-23 07:58:43,312-probing.py-INFO: Start normal forward probing...
2023-09-23 10:55:31,368-probing.py-INFO: Final number of clusters: 4
2023-09-23 10:55:31,404-main.py-INFO: Dumping the clusters...
2023-09-23 10:55:31,409-main.py-INFO: Finish dumping the clusters...
2023-09-23 10:55:31,409-main.py-INFO: Loading the clusters from results/dfg/codet5/9/clusters.txt
2023-09-23 10:55:31,409-main.py-INFO: Load entities from data/dfg/codet5/entities/train.txt
2023-09-23 10:55:31,476-main.py-INFO: Finish loading 3600 entities...
2023-09-23 10:55:31,477-main.py-INFO: Label size=3
2023-09-23 10:55:31,477-main.py-INFO: Loading embeddings from data/dfg/codet5/embeddings/layers/train/9.txt
2023-09-23 10:55:33,716-main.py-INFO: Finish loading embeddings...
2023-09-23 10:55:33,989-main.py-INFO: Finish loading the clusters...
2023-09-23 10:55:33,989-main.py-INFO: Load entities from data/dfg/codet5/entities/test.txt
2023-09-23 10:55:33,990-main.py-INFO: Finish loading 900 entities...
2023-09-23 10:55:33,990-main.py-INFO: Loading embeddings from data/dfg/codet5/embeddings/layers/test/9.txt
2023-09-23 10:55:34,542-main.py-INFO: Finish loading embeddings...
2023-09-23 10:55:34,621-main.py-INFO: Start prediction...
2023-09-23 10:55:34,621-analyzer.py-INFO: Computing the distances...
2023-09-23 10:58:11,612-main.py-INFO: Acc=0.8166666666666667
2023-09-23 10:58:11,613-main.py-INFO: Writing predictions to file...
2023-09-23 10:58:11,618-main.py-INFO: Computing the distances between clusters...
2023-09-23 10:58:14,879-main.py-INFO: Writing pair-wise distances...
2023-09-23 10:58:14,880-main.py-INFO: MinConvexDistance=1.5723505966970244
2023-09-23 10:58:14,880-main.py-INFO: MaxConvexDistance=36.20532857995031
2023-09-23 10:58:14,880-main.py-INFO: AverageConvexDistance=14.997985937183916
