2023-09-21 13:14:42,693-main.py-INFO: Load entities from data/dfg/codet5/entities/train.txt
2023-09-21 13:14:42,696-main.py-INFO: Finish loading 3600 entities...
2023-09-21 13:14:42,696-main.py-INFO: Label size=3
2023-09-21 13:14:42,696-main.py-INFO: Loading embeddings from data/dfg/codet5/embeddings/layers/train/12.txt
2023-09-21 13:14:44,334-main.py-INFO: Finish loading embeddings...
2023-09-21 13:14:44,535-space.py-INFO: Gurobi IS found in the system, we will use Gurobi.
2023-09-21 13:14:44,547-main.py-INFO: Initialize the Distance Queue...
2023-09-21 13:14:45,204-distanceQ.py-INFO: Initializing the pair-wise distance...
2023-09-21 13:14:45,205-distanceQ.py-INFO: Categorize the clusters based on the label...
2023-09-21 13:14:45,205-distanceQ.py-INFO: Computing the pair-wise distance inside the same label...
2023-09-21 13:14:48,758-distanceQ.py-INFO: Build the double heaps...
2023-09-21 13:14:49,221-probing.py-INFO: Initializing the tracks...
2023-09-21 13:14:49,223-probing.py-INFO: Probing to the end...
2023-09-21 13:15:05,868-probing.py-INFO: Finish probing to the end...
2023-09-21 13:15:05,868-probing.py-INFO: Checking for the end state..
2023-09-21 13:15:05,868-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:15:27,695-probing.py-INFO: Start coarse search...
2023-09-21 13:15:27,695-probing.py-INFO: Test for state 3561
2023-09-21 13:15:27,702-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:15:52,021-probing.py-INFO: Test for state 3525
2023-09-21 13:15:52,031-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:16:35,832-probing.py-INFO: Test for state 3489
2023-09-21 13:16:35,844-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:17:53,171-probing.py-INFO: Test for state 3453
2023-09-21 13:17:53,233-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:18:43,443-probing.py-INFO: Test for state 3417
2023-09-21 13:18:43,464-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:20:09,156-probing.py-INFO: Test for state 3381
2023-09-21 13:20:09,177-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:21:32,014-probing.py-INFO: Test for state 3345
2023-09-21 13:21:32,211-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:22:40,974-probing.py-INFO: Test for state 3309
2023-09-21 13:22:41,073-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:23:42,514-probing.py-INFO: Test for state 3273
2023-09-21 13:23:42,636-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:24:56,869-probing.py-INFO: Test for state 3237
2023-09-21 13:24:57,605-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:26:35,576-probing.py-INFO: Test for state 3201
2023-09-21 13:26:35,617-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:27:41,994-probing.py-INFO: Test for state 3165
2023-09-21 13:27:42,031-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:28:28,973-probing.py-INFO: Test for state 3129
2023-09-21 13:28:29,014-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:29:07,691-probing.py-INFO: Test for state 3093
2023-09-21 13:29:07,730-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:29:56,008-probing.py-INFO: Test for state 3057
2023-09-21 13:29:56,054-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:31:03,463-probing.py-INFO: Test for state 3021
2023-09-21 13:31:03,628-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:31:58,214-probing.py-INFO: Test for state 2985
2023-09-21 13:31:58,266-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:32:30,873-probing.py-INFO: Test for state 2949
2023-09-21 13:32:30,928-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:33:28,410-probing.py-INFO: Test for state 2913
2023-09-21 13:33:28,468-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:34:21,890-probing.py-INFO: Test for state 2877
2023-09-21 13:34:21,952-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:35:11,405-probing.py-INFO: Test for state 2841
2023-09-21 13:35:11,466-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:36:33,378-probing.py-INFO: Test for state 2805
2023-09-21 13:36:33,442-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:37:16,105-probing.py-INFO: Test for state 2769
2023-09-21 13:37:16,163-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:37:56,117-probing.py-INFO: Test for state 2733
2023-09-21 13:37:56,185-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:38:37,550-probing.py-INFO: Test for state 2697
2023-09-21 13:38:37,631-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:40:25,218-probing.py-INFO: Test for state 2661
2023-09-21 13:40:26,956-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:41:10,656-probing.py-INFO: Test for state 2625
2023-09-21 13:41:12,245-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:41:54,361-probing.py-INFO: Test for state 2589
2023-09-21 13:41:56,227-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:42:37,320-probing.py-INFO: Test for state 2553
2023-09-21 13:42:39,997-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:43:26,399-probing.py-INFO: Test for state 2517
2023-09-21 13:43:26,491-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:44:58,092-probing.py-INFO: Found 2517-th state is correct...
2023-09-21 13:44:58,092-probing.py-INFO: Start fine search...
2023-09-21 13:44:58,092-probing.py-INFO: Test for state 2535
2023-09-21 13:45:00,153-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:45:50,153-probing.py-INFO: Test for state 2544
2023-09-21 13:45:50,236-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:46:11,908-probing.py-INFO: Test for state 2549
2023-09-21 13:46:11,997-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:46:23,563-probing.py-INFO: Test for state 2551
2023-09-21 13:46:23,651-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:46:37,421-probing.py-INFO: Test for state 2550
2023-09-21 13:46:38,926-probing.py-INFO: Start ovelapping checking...
2023-09-21 13:46:48,182-probing.py-INFO: Found 2550-th state is the first error state
2023-09-21 13:46:48,878-distanceQ.py-INFO: Initializing the pair-wise distance...
2023-09-21 13:46:48,879-distanceQ.py-INFO: Categorize the clusters based on the label...
2023-09-21 13:46:48,879-distanceQ.py-INFO: Computing the pair-wise distance inside the same label...
2023-09-21 13:46:49,215-distanceQ.py-INFO: Build the double heaps...
2023-09-21 13:46:49,294-probing.py-INFO: Start normal forward probing...
2023-09-21 15:41:17,811-probing.py-INFO: Final number of clusters: 4
2023-09-21 15:41:17,830-main.py-INFO: Dumping the clusters...
2023-09-21 15:41:17,833-main.py-INFO: Finish dumping the clusters...
2023-09-21 15:41:17,833-main.py-INFO: Loading the clusters from results/dfg/codet5/12/clusters.txt
2023-09-21 15:41:17,833-main.py-INFO: Load entities from data/dfg/codet5/entities/train.txt
2023-09-21 15:41:17,854-main.py-INFO: Finish loading 3600 entities...
2023-09-21 15:41:17,855-main.py-INFO: Label size=3
2023-09-21 15:41:17,855-main.py-INFO: Loading embeddings from data/dfg/codet5/embeddings/layers/train/12.txt
2023-09-21 15:41:19,347-main.py-INFO: Finish loading embeddings...
2023-09-21 15:41:19,532-main.py-INFO: Finish loading the clusters...
2023-09-21 15:41:19,532-main.py-INFO: Load entities from data/dfg/codet5/entities/test.txt
2023-09-21 15:41:19,541-main.py-INFO: Finish loading 900 entities...
2023-09-21 15:41:19,541-main.py-INFO: Loading embeddings from data/dfg/codet5/embeddings/layers/test/12.txt
2023-09-21 15:41:19,901-main.py-INFO: Finish loading embeddings...
2023-09-21 15:41:19,945-main.py-INFO: Start prediction...
2023-09-21 15:41:19,945-analyzer.py-INFO: Computing the distances...
2023-09-21 15:43:37,754-main.py-INFO: Acc=0.78
2023-09-21 15:43:37,757-main.py-INFO: Writing predictions to file...
2023-09-21 15:43:37,767-main.py-INFO: Computing the distances between clusters...
2023-09-21 15:43:40,613-main.py-INFO: Writing pair-wise distances...
2023-09-21 15:43:40,613-main.py-INFO: MinConvexDistance=0.2861012092233819
2023-09-21 15:43:40,613-main.py-INFO: MaxConvexDistance=7.460896475830131
2023-09-21 15:43:40,613-main.py-INFO: AverageConvexDistance=3.089602725406146
