Version: 1.15 
 verifypn-linux64 data/zoo_json_cond_enf1/Kdl_4.json -R -O -V Low
DFA generation time: 0.071 seconds 
DFA states: 7 
DFA transitions: 2005
Problem file: data/zoo_json_cond_enf1/Kdl_4.json
Switches to update: 992

Decomposed topology into 8 subproblems
Topological decomposition took 0.387 seconds
Subproblem verification time: 0.251 seconds
Subproblem verification time: 0.127 seconds
Subproblem verification time: 0.118 seconds
Subproblem verification time: 0.121 seconds
Subproblem verification time: 0.122 seconds
Subproblem verification time: 0.12 seconds
Subproblem verification time: 0.119 seconds
Subproblem verification time: 0.116 seconds
Minimum batches required: 3
[[599, 211, 737, 598, 212, 213, 221, 222, 518, 219, 220, 9, 8, 449, 448, 447, 446, 445, 444, 443, 440, 442, 441, 2, 4, 649, 245, 565, 745, 751, 0, 237, 238, 634, 654, 523, 690, 741, 742, 39, 624, 309, 316, 314, 321, 458, 545, 546, 150, 427, 752, 753, 738, 708, 1353, 965, 1491, 1352, 966, 967, 975, 976, 1272, 973, 974, 763, 762, 1203, 1202, 1201, 1200, 1199, 1198, 1197, 1194, 1196, 1195, 756, 758, 1403, 999, 1319, 1499, 1505, 754, 991, 992, 1388, 1408, 1277, 1444, 1495, 1496, 793, 1378, 1063, 1070, 1068, 1075, 1212, 1299, 1300, 904, 1181, 1506, 1507, 1492, 1462, 2107, 1719, 2245, 2106, 1720, 1721, 1729, 1730, 2026, 1727, 1728, 1517, 1516, 1957, 1956, 1955, 1954, 1953, 1952, 1951, 1948, 1950, 1949, 1510, 1512, 2157, 1753, 2073, 2253, 2259, 1508, 1745, 1746, 2142, 2162, 2031, 2198, 2249, 2250, 1547, 2132, 1817, 1824, 1822, 1829, 1966, 2053, 2054, 1658, 1935, 2260, 2261, 2246, 2216, 2861, 2473, 2999, 2860, 2474, 2475, 2483, 2484, 2780, 2481, 2482, 2271, 2270, 2711, 2710, 2709, 2708, 2707, 2706, 2705, 2702, 2704, 2703, 2264, 2266, 2911, 2507, 2827, 3007, 3013, 2262, 2499, 2500, 2896, 2916, 2785, 2952, 3003, 3004, 2301, 2886, 2571, 2578, 2576, 2583, 2720, 2807, 2808, 2412, 2689, 3014, 3015, 3000, 2970, 3615, 3227, 3753, 3614, 3228, 3229, 3237, 3238, 3534, 3235, 3236, 3025, 3024, 3465, 3464, 3463, 3462, 3461, 3460, 3459, 3456, 3458, 3457, 3018, 3020, 3665, 3261, 3581, 3761, 3767, 3016, 3253, 3254, 3650, 3670, 3539, 3706, 3757, 3758, 3055, 3640, 3325, 3332, 3330, 3337, 3474, 3561, 3562, 3166, 3443, 3768, 3769, 3754, 3724, 4369, 3981, 4507, 4368, 3982, 3983, 3991, 3992, 4288, 3989, 3990, 3779, 3778, 4219, 4218, 4217, 4216, 4215, 4214, 4213, 4210, 4212, 4211, 3772, 3774, 4419, 4015, 4335, 4515, 4521, 3770, 4007, 4008, 4404, 4424, 4293, 4460, 4511, 4512, 3809, 4394, 4079, 4086, 4084, 4091, 4228, 4315, 4316, 3920, 4197, 4522, 4523, 4508, 4478, 5123, 4735, 5261, 5122, 4736, 4737, 4745, 4746, 5042, 4743, 4744, 4533, 4532, 4973, 4972, 4971, 4970, 4969, 4968, 4967, 4964, 4966, 4965, 4526, 4528, 5173, 4769, 5089, 5269, 5275, 4524, 4761, 4762, 5158, 5178, 5047, 5214, 5265, 5266, 4563, 5148, 4833, 4840, 4838, 4845, 4982, 5069, 5070, 4674, 4951, 5276, 5277, 5262, 5232, 5877, 5489, 6015, 5876, 5490, 5491, 5499, 5500, 5796, 5497, 5498, 5287, 5286, 5727, 5726, 5725, 5724, 5723, 5722, 5721, 5718, 5720, 5719, 5280, 5282, 5927, 5523, 5843, 6023, 6029, 5278, 5515, 5516, 5912, 5932, 5801, 5968, 6019, 6020, 5317, 5902, 5587, 5594, 5592, 5599, 5736, 5823, 5824, 5428, 5705, 6030, 6031, 6016, 5986], [428, 32, 566, 1182, 786, 1320, 1936, 1540, 2074, 2690, 2294, 2828, 3444, 3048, 3582, 4198, 3802, 4336, 4952, 4556, 5090, 5706, 5310, 5844], [70, 12, 562, 55, 56, 140, 541, 531, 538, 532, 533, 520, 665, 71, 399, 400, 72, 432, 433, 435, 434, 642, 641, 640, 233, 234, 227, 231, 705, 230, 52, 51, 48, 164, 168, 167, 503, 161, 162, 200, 408, 411, 506, 505, 240, 242, 512, 239, 236, 744, 743, 33, 30, 31, 109, 108, 103, 100, 106, 540, 284, 424, 426, 425, 420, 419, 422, 824, 766, 1316, 809, 810, 894, 1295, 1285, 1292, 1286, 1287, 1274, 1419, 825, 1153, 1154, 826, 1186, 1187, 1189, 1188, 1396, 1395, 1394, 987, 988, 981, 985, 1459, 984, 806, 805, 802, 918, 922, 921, 1257, 915, 916, 954, 1162, 1165, 1260, 1259, 994, 996, 1266, 993, 990, 1498, 1497, 787, 784, 785, 863, 862, 857, 854, 860, 1294, 1038, 1178, 1180, 1179, 1174, 1173, 1176, 1578, 1520, 2070, 1563, 1564, 1648, 2049, 2039, 2046, 2040, 2041, 2028, 2173, 1579, 1907, 1908, 1580, 1940, 1941, 1943, 1942, 2150, 2149, 2148, 1741, 1742, 1735, 1739, 2213, 1738, 1560, 1559, 1556, 1672, 1676, 1675, 2011, 1669, 1670, 1708, 1916, 1919, 2014, 2013, 1748, 1750, 2020, 1747, 1744, 2252, 2251, 1541, 1538, 1539, 1617, 1616, 1611, 1608, 1614, 2048, 1792, 1932, 1934, 1933, 1928, 1927, 1930, 2332, 2274, 2824, 2317, 2318, 2402, 2803, 2793, 2800, 2794, 2795, 2782, 2927, 2333, 2661, 2662, 2334, 2694, 2695, 2697, 2696, 2904, 2903, 2902, 2495, 2496, 2489, 2493, 2967, 2492, 2314, 2313, 2310, 2426, 2430, 2429, 2765, 2423, 2424, 2462, 2670, 2673, 2768, 2767, 2502, 2504, 2774, 2501, 2498, 3006, 3005, 2295, 2292, 2293, 2371, 2370, 2365, 2362, 2368, 2802, 2546, 2686, 2688, 2687, 2682, 2681, 2684, 3086, 3028, 3578, 3071, 3072, 3156, 3557, 3547, 3554, 3548, 3549, 3536, 3681, 3087, 3415, 3416, 3088, 3448, 3449, 3451, 3450, 3658, 3657, 3656, 3249, 3250, 3243, 3247, 3721, 3246, 3068, 3067, 3064, 3180, 3184, 3183, 3519, 3177, 3178, 3216, 3424, 3427, 3522, 3521, 3256, 3258, 3528, 3255, 3252, 3760, 3759, 3049, 3046, 3047, 3125, 3124, 3119, 3116, 3122, 3556, 3300, 3440, 3442, 3441, 3436, 3435, 3438, 3840, 3782, 4332, 3825, 3826, 3910, 4311, 4301, 4308, 4302, 4303, 4290, 4435, 3841, 4169, 4170, 3842, 4202, 4203, 4205, 4204, 4412, 4411, 4410, 4003, 4004, 3997, 4001, 4475, 4000, 3822, 3821, 3818, 3934, 3938, 3937, 4273, 3931, 3932, 3970, 4178, 4181, 4276, 4275, 4010, 4012, 4282, 4009, 4006, 4514, 4513, 3803, 3800, 3801, 3879, 3878, 3873, 3870, 3876, 4310, 4054, 4194, 4196, 4195, 4190, 4189, 4192, 4594, 4536, 5086, 4579, 4580, 4664, 5065, 5055, 5062, 5056, 5057, 5044, 5189, 4595, 4923, 4924, 4596, 4956, 4957, 4959, 4958, 5166, 5165, 5164, 4757, 4758, 4751, 4755, 5229, 4754, 4576, 4575, 4572, 4688, 4692, 4691, 5027, 4685, 4686, 4724, 4932, 4935, 5030, 5029, 4764, 4766, 5036, 4763, 4760, 5268, 5267, 4557, 4554, 4555, 4633, 4632, 4627, 4624, 4630, 5064, 4808, 4948, 4950, 4949, 4944, 4943, 4946, 5348, 5290, 5840, 5333, 5334, 5418, 5819, 5809, 5816, 5810, 5811, 5798, 5943, 5349, 5677, 5678, 5350, 5710, 5711, 5713, 5712, 5920, 5919, 5918, 5511, 5512, 5505, 5509, 5983, 5508, 5330, 5329, 5326, 5442, 5446, 5445, 5781, 5439, 5440, 5478, 5686, 5689, 5784, 5783, 5518, 5520, 5790, 5517, 5514, 6022, 6021, 5311, 5308, 5309, 5387, 5386, 5381, 5378, 5384, 5818, 5562, 5702, 5704, 5703, 5698, 5697, 5700]]
Total program runtime: 2.707 seconds

real 3.02
user 6.27
sys 0.64
