Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint4/Kdl_3.json -R -O -V Low
DFA generation time: 0.077 seconds 
DFA states: 33 
DFA transitions: 584
Problem file: data/zoo_json_waypoint4/Kdl_3.json
Switches to update: 480

Decomposed topology into 8 subproblems
Topological decomposition took 0.241 seconds
Subproblem verification time: 0.178 seconds
Subproblem verification time: 0.055 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.057 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.055 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.052 seconds
Minimum batches required: 3
[[423, 284, 540, 106, 107, 539, 314, 242, 316, 309, 624, 241, 145, 508, 509, 240, 505, 506, 411, 408, 201, 613, 162, 161, 503, 167, 168, 164, 48, 51, 52, 230, 705, 231, 227, 234, 233, 640, 641, 642, 434, 438, 670, 561, 554, 553, 552, 130, 131, 128, 129, 126, 668, 337, 396, 1153, 1014, 1270, 836, 837, 1269, 1044, 972, 1046, 1039, 1354, 971, 875, 1238, 1239, 970, 1235, 1236, 1141, 1138, 931, 1343, 892, 891, 1233, 897, 898, 894, 778, 781, 782, 960, 1435, 961, 957, 964, 963, 1370, 1371, 1372, 1164, 1168, 1400, 1291, 1284, 1283, 1282, 860, 861, 858, 859, 856, 1398, 1067, 1126, 1883, 1744, 2000, 1566, 1567, 1999, 1774, 1702, 1776, 1769, 2084, 1701, 1605, 1968, 1969, 1700, 1965, 1966, 1871, 1868, 1661, 2073, 1622, 1621, 1963, 1627, 1628, 1624, 1508, 1511, 1512, 1690, 2165, 1691, 1687, 1694, 1693, 2100, 2101, 2102, 1894, 1898, 2130, 2021, 2014, 2013, 2012, 1590, 1591, 1588, 1589, 1586, 2128, 1797, 1856, 2613, 2474, 2730, 2296, 2297, 2729, 2504, 2432, 2506, 2499, 2814, 2431, 2335, 2698, 2699, 2430, 2695, 2696, 2601, 2598, 2391, 2803, 2352, 2351, 2693, 2357, 2358, 2354, 2238, 2241, 2242, 2420, 2895, 2421, 2417, 2424, 2423, 2830, 2831, 2832, 2624, 2628, 2860, 2751, 2744, 2743, 2742, 2320, 2321, 2318, 2319, 2316, 2858, 2527, 2586], [428, 426, 512, 321, 1158, 1156, 1242, 1051, 1888, 1886, 1972, 1781, 2618, 2616, 2702, 2511], [424, 427, 150, 546, 621, 149, 260, 312, 344, 187, 363, 719, 6, 308, 515, 516, 513, 199, 511, 7, 244, 195, 198, 196, 729, 173, 600, 83, 137, 715, 714, 713, 184, 183, 182, 319, 154, 262, 151, 354, 358, 357, 360, 355, 356, 353, 637, 473, 470, 471, 468, 469, 631, 633, 410, 682, 299, 684, 681, 683, 686, 1154, 1157, 880, 1276, 1351, 879, 990, 1042, 1074, 917, 1093, 1449, 736, 1038, 1245, 1246, 1243, 929, 1241, 737, 974, 925, 928, 926, 1459, 903, 1330, 813, 867, 1445, 1444, 1443, 914, 913, 912, 1049, 884, 992, 881, 1084, 1088, 1087, 1090, 1085, 1086, 1083, 1367, 1203, 1200, 1201, 1198, 1199, 1361, 1363, 1140, 1412, 1029, 1414, 1411, 1413, 1416, 1884, 1887, 1610, 2006, 2081, 1609, 1720, 1772, 1804, 1647, 1823, 2179, 1466, 1768, 1975, 1976, 1973, 1659, 1971, 1467, 1704, 1655, 1658, 1656, 2189, 1633, 2060, 1543, 1597, 2175, 2174, 2173, 1644, 1643, 1642, 1779, 1614, 1722, 1611, 1814, 1818, 1817, 1820, 1815, 1816, 1813, 2097, 1933, 1930, 1931, 1928, 1929, 2091, 2093, 1870, 2142, 1759, 2144, 2141, 2143, 2146, 2614, 2617, 2340, 2736, 2811, 2339, 2450, 2502, 2534, 2377, 2553, 2909, 2196, 2498, 2705, 2706, 2703, 2389, 2701, 2197, 2434, 2385, 2388, 2386, 2919, 2363, 2790, 2273, 2327, 2905, 2904, 2903, 2374, 2373, 2372, 2509, 2344, 2452, 2341, 2544, 2548, 2547, 2550, 2545, 2546, 2543, 2827, 2663, 2660, 2661, 2658, 2659, 2821, 2823, 2600, 2872, 2489, 2874, 2871, 2873, 2876]]
Total program runtime: 1.642 seconds

real 2.00
user 5.40
sys 0.58
