Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Kdl_4.json -R -O -V Low
DFA generation time: 0.044 seconds 
DFA states: 3 
DFA transitions: 1009
Problem file: dataND/zoo_json_MF/Kdl_4.json
Switches to update: 968

Decomposed topology into 8 subproblems
Topological decomposition took 0.325 seconds
Subproblem verification time: 0.258 seconds
Subproblem verification time: 0.14 seconds
Subproblem verification time: 0.136 seconds
Subproblem verification time: 0.137 seconds
Subproblem verification time: 0.13 seconds
Subproblem verification time: 0.131 seconds
Subproblem verification time: 0.138 seconds
Subproblem verification time: 0.124 seconds
Minimum batches required: 3
[[12, 312, 15, 70, 566, 599, 598, 212, 213, 221, 222, 518, 216, 215, 218, 217, 341, 82, 629, 587, 549, 401, 402, 440, 442, 441, 2, 4, 649, 245, 565, 745, 751, 0, 237, 238, 634, 20, 654, 523, 690, 741, 742, 32, 211, 39, 344, 187, 188, 193, 348, 17, 14, 13, 57, 11, 764, 1064, 767, 822, 1318, 1351, 1350, 964, 965, 973, 974, 1270, 968, 967, 970, 969, 1093, 834, 1381, 1339, 1301, 1153, 1154, 1192, 1194, 1193, 754, 756, 1401, 997, 1317, 1497, 1503, 752, 989, 990, 1386, 772, 1406, 1275, 1442, 1493, 1494, 784, 963, 791, 1096, 939, 940, 945, 1100, 769, 766, 765, 809, 763, 1516, 1816, 1519, 1574, 2070, 2103, 2102, 1716, 1717, 1725, 1726, 2022, 1720, 1719, 1722, 1721, 1845, 1586, 2133, 2091, 2053, 1905, 1906, 1944, 1946, 1945, 1506, 1508, 2153, 1749, 2069, 2249, 2255, 1504, 1741, 1742, 2138, 1524, 2158, 2027, 2194, 2245, 2246, 1536, 1715, 1543, 1848, 1691, 1692, 1697, 1852, 1521, 1518, 1517, 1561, 1515, 2268, 2568, 2271, 2326, 2822, 2855, 2854, 2468, 2469, 2477, 2478, 2774, 2472, 2471, 2474, 2473, 2597, 2338, 2885, 2843, 2805, 2657, 2658, 2696, 2698, 2697, 2258, 2260, 2905, 2501, 2821, 3001, 3007, 2256, 2493, 2494, 2890, 2276, 2910, 2779, 2946, 2997, 2998, 2288, 2467, 2295, 2600, 2443, 2444, 2449, 2604, 2273, 2270, 2269, 2313, 2267, 3020, 3320, 3023, 3078, 3574, 3607, 3606, 3220, 3221, 3229, 3230, 3526, 3224, 3223, 3226, 3225, 3349, 3090, 3637, 3595, 3557, 3409, 3410, 3448, 3450, 3449, 3010, 3012, 3657, 3253, 3573, 3753, 3759, 3008, 3245, 3246, 3642, 3028, 3662, 3531, 3698, 3749, 3750, 3040, 3219, 3047, 3352, 3195, 3196, 3201, 3356, 3025, 3022, 3021, 3065, 3019, 3772, 4072, 3775, 3830, 4326, 4359, 4358, 3972, 3973, 3981, 3982, 4278, 3976, 3975, 3978, 3977, 4101, 3842, 4389, 4347, 4309, 4161, 4162, 4200, 4202, 4201, 3762, 3764, 4409, 4005, 4325, 4505, 4511, 3760, 3997, 3998, 4394, 3780, 4414, 4283, 4450, 4501, 4502, 3792, 3971, 3799, 4104, 3947, 3948, 3953, 4108, 3777, 3774, 3773, 3817, 3771, 4524, 4824, 4527, 4582, 5078, 5111, 5110, 4724, 4725, 4733, 4734, 5030, 4728, 4727, 4730, 4729, 4853, 4594, 5141, 5099, 5061, 4913, 4914, 4952, 4954, 4953, 4514, 4516, 5161, 4757, 5077, 5257, 5263, 4512, 4749, 4750, 5146, 4532, 5166, 5035, 5202, 5253, 5254, 4544, 4723, 4551, 4856, 4699, 4700, 4705, 4860, 4529, 4526, 4525, 4569, 4523, 5276, 5576, 5279, 5334, 5830, 5863, 5862, 5476, 5477, 5485, 5486, 5782, 5480, 5479, 5482, 5481, 5605, 5346, 5893, 5851, 5813, 5665, 5666, 5704, 5706, 5705, 5266, 5268, 5913, 5509, 5829, 6009, 6015, 5264, 5501, 5502, 5898, 5284, 5918, 5787, 5954, 6005, 6006, 5296, 5475, 5303, 5608, 5451, 5452, 5457, 5612, 5281, 5278, 5277, 5321, 5275], [16, 315, 562, 768, 1067, 1314, 1520, 1819, 2066, 2272, 2571, 2818, 3024, 3323, 3570, 3776, 4075, 4322, 4528, 4827, 5074, 5280, 5579, 5826], [55, 56, 140, 541, 531, 538, 532, 533, 520, 665, 71, 399, 400, 434, 642, 641, 640, 233, 234, 227, 231, 705, 230, 52, 51, 48, 164, 168, 167, 503, 502, 501, 500, 499, 162, 613, 201, 408, 411, 506, 505, 240, 242, 512, 509, 508, 317, 5, 719, 720, 717, 718, 311, 534, 272, 511, 199, 513, 516, 515, 308, 6, 807, 808, 892, 1293, 1283, 1290, 1284, 1285, 1272, 1417, 823, 1151, 1152, 1186, 1394, 1393, 1392, 985, 986, 979, 983, 1457, 982, 804, 803, 800, 916, 920, 919, 1255, 1254, 1253, 1252, 1251, 914, 1365, 953, 1160, 1163, 1258, 1257, 992, 994, 1264, 1261, 1260, 1069, 757, 1471, 1472, 1469, 1470, 1063, 1286, 1024, 1263, 951, 1265, 1268, 1267, 1060, 758, 1559, 1560, 1644, 2045, 2035, 2042, 2036, 2037, 2024, 2169, 1575, 1903, 1904, 1938, 2146, 2145, 2144, 1737, 1738, 1731, 1735, 2209, 1734, 1556, 1555, 1552, 1668, 1672, 1671, 2007, 2006, 2005, 2004, 2003, 1666, 2117, 1705, 1912, 1915, 2010, 2009, 1744, 1746, 2016, 2013, 2012, 1821, 1509, 2223, 2224, 2221, 2222, 1815, 2038, 1776, 2015, 1703, 2017, 2020, 2019, 1812, 1510, 2311, 2312, 2396, 2797, 2787, 2794, 2788, 2789, 2776, 2921, 2327, 2655, 2656, 2690, 2898, 2897, 2896, 2489, 2490, 2483, 2487, 2961, 2486, 2308, 2307, 2304, 2420, 2424, 2423, 2759, 2758, 2757, 2756, 2755, 2418, 2869, 2457, 2664, 2667, 2762, 2761, 2496, 2498, 2768, 2765, 2764, 2573, 2261, 2975, 2976, 2973, 2974, 2567, 2790, 2528, 2767, 2455, 2769, 2772, 2771, 2564, 2262, 3063, 3064, 3148, 3549, 3539, 3546, 3540, 3541, 3528, 3673, 3079, 3407, 3408, 3442, 3650, 3649, 3648, 3241, 3242, 3235, 3239, 3713, 3238, 3060, 3059, 3056, 3172, 3176, 3175, 3511, 3510, 3509, 3508, 3507, 3170, 3621, 3209, 3416, 3419, 3514, 3513, 3248, 3250, 3520, 3517, 3516, 3325, 3013, 3727, 3728, 3725, 3726, 3319, 3542, 3280, 3519, 3207, 3521, 3524, 3523, 3316, 3014, 3815, 3816, 3900, 4301, 4291, 4298, 4292, 4293, 4280, 4425, 3831, 4159, 4160, 4194, 4402, 4401, 4400, 3993, 3994, 3987, 3991, 4465, 3990, 3812, 3811, 3808, 3924, 3928, 3927, 4263, 4262, 4261, 4260, 4259, 3922, 4373, 3961, 4168, 4171, 4266, 4265, 4000, 4002, 4272, 4269, 4268, 4077, 3765, 4479, 4480, 4477, 4478, 4071, 4294, 4032, 4271, 3959, 4273, 4276, 4275, 4068, 3766, 4567, 4568, 4652, 5053, 5043, 5050, 5044, 5045, 5032, 5177, 4583, 4911, 4912, 4946, 5154, 5153, 5152, 4745, 4746, 4739, 4743, 5217, 4742, 4564, 4563, 4560, 4676, 4680, 4679, 5015, 5014, 5013, 5012, 5011, 4674, 5125, 4713, 4920, 4923, 5018, 5017, 4752, 4754, 5024, 5021, 5020, 4829, 4517, 5231, 5232, 5229, 5230, 4823, 5046, 4784, 5023, 4711, 5025, 5028, 5027, 4820, 4518, 5319, 5320, 5404, 5805, 5795, 5802, 5796, 5797, 5784, 5929, 5335, 5663, 5664, 5698, 5906, 5905, 5904, 5497, 5498, 5491, 5495, 5969, 5494, 5316, 5315, 5312, 5428, 5432, 5431, 5767, 5766, 5765, 5764, 5763, 5426, 5877, 5465, 5672, 5675, 5770, 5769, 5504, 5506, 5776, 5773, 5772, 5581, 5269, 5983, 5984, 5981, 5982, 5575, 5798, 5536, 5775, 5463, 5777, 5780, 5779, 5572, 5270]]
Total program runtime: 2.783 seconds

real 3.10
user 6.77
sys 0.59
