Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Kdl_3.json -R -O -V Low
DFA generation time: 0.029 seconds 
DFA states: 3 
DFA transitions: 477
Problem file: data/zoo_json_reachability/Kdl_3.json
Switches to update: 472

Decomposed topology into 4 subproblems
Topological decomposition took 0.191 seconds
Subproblem verification time: 0.237 seconds
Subproblem verification time: 0.125 seconds
Subproblem verification time: 0.116 seconds
Subproblem verification time: 0.115 seconds
Minimum batches required: 3
[[534, 718, 242, 311, 717, 720, 719, 6, 308, 515, 516, 513, 199, 511, 240, 505, 506, 411, 408, 200, 162, 161, 503, 167, 168, 164, 48, 51, 49, 52, 230, 705, 231, 227, 234, 233, 640, 641, 642, 434, 400, 399, 71, 665, 520, 533, 532, 538, 531, 541, 140, 56, 55, 562, 12, 1286, 1470, 994, 1063, 1469, 1472, 1471, 758, 1060, 1267, 1268, 1265, 951, 1263, 992, 1257, 1258, 1163, 1160, 952, 914, 913, 1255, 919, 920, 916, 800, 803, 801, 804, 982, 1457, 983, 979, 986, 985, 1392, 1393, 1394, 1186, 1152, 1151, 823, 1417, 1272, 1285, 1284, 1290, 1283, 1293, 892, 808, 807, 1314, 764, 2038, 2222, 1746, 1815, 2221, 2224, 2223, 1510, 1812, 2019, 2020, 2017, 1703, 2015, 1744, 2009, 2010, 1915, 1912, 1704, 1666, 1665, 2007, 1671, 1672, 1668, 1552, 1555, 1553, 1556, 1734, 2209, 1735, 1731, 1738, 1737, 2144, 2145, 2146, 1938, 1904, 1903, 1575, 2169, 2024, 2037, 2036, 2042, 2035, 2045, 1644, 1560, 1559, 2066, 1516, 2790, 2974, 2498, 2567, 2973, 2976, 2975, 2262, 2564, 2771, 2772, 2769, 2455, 2767, 2496, 2761, 2762, 2667, 2664, 2456, 2418, 2417, 2759, 2423, 2424, 2420, 2304, 2307, 2305, 2308, 2486, 2961, 2487, 2483, 2490, 2489, 2896, 2897, 2898, 2690, 2656, 2655, 2327, 2921, 2776, 2789, 2788, 2794, 2787, 2797, 2396, 2312, 2311, 2818, 2268], [512, 16, 272, 1264, 768, 1024, 2016, 1520, 1776, 2768, 2272, 2528], [10, 11, 57, 13, 14, 15, 17, 348, 193, 188, 187, 344, 312, 315, 314, 316, 309, 624, 508, 509, 235, 110, 704, 320, 690, 523, 654, 634, 238, 237, 0, 751, 745, 565, 245, 649, 4, 2, 441, 442, 440, 402, 401, 549, 587, 629, 82, 341, 217, 218, 215, 216, 518, 222, 221, 213, 212, 598, 599, 566, 762, 763, 809, 765, 766, 767, 769, 1100, 945, 940, 939, 1096, 1064, 1067, 1066, 1068, 1061, 1376, 1260, 1261, 987, 862, 1456, 1072, 1442, 1275, 1406, 1386, 990, 989, 752, 1503, 1497, 1317, 997, 1401, 756, 754, 1193, 1194, 1192, 1154, 1153, 1301, 1339, 1381, 834, 1093, 969, 970, 967, 968, 1270, 974, 973, 965, 964, 1350, 1351, 1318, 1514, 1515, 1561, 1517, 1518, 1519, 1521, 1852, 1697, 1692, 1691, 1848, 1816, 1819, 1818, 1820, 1813, 2128, 2012, 2013, 1739, 1614, 2208, 1824, 2194, 2027, 2158, 2138, 1742, 1741, 1504, 2255, 2249, 2069, 1749, 2153, 1508, 1506, 1945, 1946, 1944, 1906, 1905, 2053, 2091, 2133, 1586, 1845, 1721, 1722, 1719, 1720, 2022, 1726, 1725, 1717, 1716, 2102, 2103, 2070, 2266, 2267, 2313, 2269, 2270, 2271, 2273, 2604, 2449, 2444, 2443, 2600, 2568, 2571, 2570, 2572, 2565, 2880, 2764, 2765, 2491, 2366, 2960, 2576, 2946, 2779, 2910, 2890, 2494, 2493, 2256, 3007, 3001, 2821, 2501, 2905, 2260, 2258, 2697, 2698, 2696, 2658, 2657, 2805, 2843, 2885, 2338, 2597, 2473, 2474, 2471, 2472, 2774, 2478, 2477, 2469, 2468, 2854, 2855, 2822]]
Total program runtime: 1.64 seconds

real 1.98
user 4.85
sys 0.49
