Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/TataNld_4.json -R -O -V Low
DFA generation time: 0.027 seconds 
DFA states: 3 
DFA transitions: 465
Problem file: dataND/zoo_json_MF/TataNld_4.json
Switches to update: 440

Decomposed topology into 16 subproblems
Topological decomposition took 0.173 seconds
Subproblem verification time: 0.169 seconds
Subproblem verification time: 0.076 seconds
Subproblem verification time: 0.077 seconds
Subproblem verification time: 0.079 seconds
Subproblem verification time: 0.077 seconds
Subproblem verification time: 0.078 seconds
Subproblem verification time: 0.075 seconds
Subproblem verification time: 0.071 seconds
Subproblem verification time: 0.073 seconds
Subproblem verification time: 0.069 seconds
Subproblem verification time: 0.079 seconds
Subproblem verification time: 0.072 seconds
Subproblem verification time: 0.075 seconds
Subproblem verification time: 0.073 seconds
Subproblem verification time: 0.078 seconds
Subproblem verification time: 0.076 seconds
Minimum batches required: 3
[[43, 83, 47, 128, 108, 86, 107, 127, 125, 120, 95, 69, 132, 117, 79, 56, 59, 58, 53, 131, 112, 110, 109, 188, 228, 192, 273, 253, 231, 252, 272, 270, 265, 240, 214, 277, 262, 224, 201, 204, 203, 198, 276, 257, 255, 254, 333, 373, 337, 418, 398, 376, 397, 417, 415, 410, 385, 359, 422, 407, 369, 346, 349, 348, 343, 421, 402, 400, 399, 478, 518, 482, 563, 543, 521, 542, 562, 560, 555, 530, 504, 567, 552, 514, 491, 494, 493, 488, 566, 547, 545, 544, 623, 663, 627, 708, 688, 666, 687, 707, 705, 700, 675, 649, 712, 697, 659, 636, 639, 638, 633, 711, 692, 690, 689, 768, 808, 772, 853, 833, 811, 832, 852, 850, 845, 820, 794, 857, 842, 804, 781, 784, 783, 778, 856, 837, 835, 834, 913, 953, 917, 998, 978, 956, 977, 997, 995, 990, 965, 939, 1002, 987, 949, 926, 929, 928, 923, 1001, 982, 980, 979, 1058, 1098, 1062, 1143, 1123, 1101, 1122, 1142, 1140, 1135, 1110, 1084, 1147, 1132, 1094, 1071, 1074, 1073, 1068, 1146, 1127, 1125, 1124], [46, 40, 141, 139, 32, 52, 60, 191, 185, 286, 284, 177, 197, 205, 336, 330, 431, 429, 322, 342, 350, 481, 475, 576, 574, 467, 487, 495, 626, 620, 721, 719, 612, 632, 640, 771, 765, 866, 864, 757, 777, 785, 916, 910, 1011, 1009, 902, 922, 930, 1061, 1055, 1156, 1154, 1047, 1067, 1075], [137, 138, 140, 41, 123, 122, 119, 19, 15, 61, 62, 63, 80, 81, 26, 20, 133, 136, 135, 134, 130, 129, 113, 115, 144, 282, 283, 285, 186, 268, 267, 264, 164, 160, 206, 207, 208, 225, 226, 171, 165, 278, 281, 280, 279, 275, 274, 258, 260, 289, 427, 428, 430, 331, 413, 412, 409, 309, 305, 351, 352, 353, 370, 371, 316, 310, 423, 426, 425, 424, 420, 419, 403, 405, 434, 572, 573, 575, 476, 558, 557, 554, 454, 450, 496, 497, 498, 515, 516, 461, 455, 568, 571, 570, 569, 565, 564, 548, 550, 579, 717, 718, 720, 621, 703, 702, 699, 599, 595, 641, 642, 643, 660, 661, 606, 600, 713, 716, 715, 714, 710, 709, 693, 695, 724, 862, 863, 865, 766, 848, 847, 844, 744, 740, 786, 787, 788, 805, 806, 751, 745, 858, 861, 860, 859, 855, 854, 838, 840, 869, 1007, 1008, 1010, 911, 993, 992, 989, 889, 885, 931, 932, 933, 950, 951, 896, 890, 1003, 1006, 1005, 1004, 1000, 999, 983, 985, 1014, 1152, 1153, 1155, 1056, 1138, 1137, 1134, 1034, 1030, 1076, 1077, 1078, 1095, 1096, 1041, 1035, 1148, 1151, 1150, 1149, 1145, 1144, 1128, 1130, 1159]]
Total program runtime: 2.249 seconds

real 2.60
user 5.20
sys 0.92
