Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Colt_4.json -R -O -V Low
DFA generation time: 0.02 seconds 
DFA states: 3 
DFA transitions: 321
Problem file: dataND/zoo_json_MF/Colt_4.json
Switches to update: 280

Decomposed topology into 16 subproblems
Topological decomposition took 0.135 seconds
Subproblem verification time: 0.313 seconds
Subproblem verification time: 0.037 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.048 seconds
Subproblem verification time: 0.026 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.038 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.029 seconds
Minimum batches required: 3
[[107, 72, 111, 112, 109, 64, 126, 63, 125, 74, 117, 119, 92, 13, 10, 11, 5, 144, 2, 53, 260, 225, 264, 265, 262, 217, 279, 216, 278, 227, 270, 272, 245, 166, 163, 164, 158, 297, 155, 206, 413, 378, 417, 418, 415, 370, 432, 369, 431, 380, 423, 425, 398, 319, 316, 317, 311, 450, 308, 359, 566, 531, 570, 571, 568, 523, 585, 522, 584, 533, 576, 578, 551, 472, 469, 470, 464, 603, 461, 512, 719, 684, 723, 724, 721, 676, 738, 675, 737, 686, 729, 731, 704, 625, 622, 623, 617, 756, 614, 665, 872, 837, 876, 877, 874, 829, 891, 828, 890, 839, 882, 884, 857, 778, 775, 776, 770, 909, 767, 818, 1025, 990, 1029, 1030, 1027, 982, 1044, 981, 1043, 992, 1035, 1037, 1010, 931, 928, 929, 923, 1062, 920, 971, 1178, 1143, 1182, 1183, 1180, 1135, 1197, 1134, 1196, 1145, 1188, 1190, 1163, 1084, 1081, 1082, 1076, 1215, 1073, 1124], [152, 81, 51, 30, 305, 234, 204, 183, 458, 387, 357, 336, 611, 540, 510, 489, 764, 693, 663, 642, 917, 846, 816, 795, 1070, 999, 969, 948, 1223, 1152, 1122, 1101], [68, 66, 138, 82, 123, 139, 12, 141, 14, 17, 136, 221, 219, 291, 235, 276, 292, 165, 294, 167, 170, 289, 374, 372, 444, 388, 429, 445, 318, 447, 320, 323, 442, 527, 525, 597, 541, 582, 598, 471, 600, 473, 476, 595, 680, 678, 750, 694, 735, 751, 624, 753, 626, 629, 748, 833, 831, 903, 847, 888, 904, 777, 906, 779, 782, 901, 986, 984, 1056, 1000, 1041, 1057, 930, 1059, 932, 935, 1054, 1139, 1137, 1209, 1153, 1194, 1210, 1083, 1212, 1085, 1088, 1207]]
Total program runtime: 1.646 seconds

real 2.08
user 4.17
sys 0.60
