Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint1/Kdl_2.json -R -O -V Low
DFA generation time: 0.022 seconds 
DFA states: 5 
DFA transitions: 264
Problem file: data/zoo_json_waypoint1/Kdl_2.json
Switches to update: 256

Decomposed topology into 4 subproblems
Topological decomposition took 0.104 seconds
Subproblem verification time: 0.189 seconds
Subproblem verification time: 0.039 seconds
Subproblem verification time: 0.059 seconds
Subproblem verification time: 0.044 seconds
Minimum batches required: 3
[[685, 509, 396, 337, 668, 126, 129, 128, 464, 467, 691, 692, 693, 456, 667, 462, 472, 590, 268, 266, 594, 35, 34, 37, 36, 52, 51, 48, 164, 168, 167, 503, 161, 162, 200, 203, 202, 408, 411, 506, 505, 240, 242, 508, 624, 309, 316, 314, 321, 546, 424, 150, 427, 426, 425, 420, 1439, 1263, 1150, 1091, 1422, 880, 883, 882, 1218, 1221, 1445, 1446, 1447, 1210, 1421, 1216, 1226, 1344, 1022, 1020, 1348, 789, 788, 791, 790, 806, 805, 802, 918, 922, 921, 1257, 915, 916, 954, 957, 956, 1162, 1165, 1260, 1259, 994, 996, 1262, 1378, 1063, 1070, 1068, 1075, 1300, 1178, 904, 1181, 1180, 1179, 1174], [512, 686, 428, 545, 1266, 1440, 1182, 1299], [683, 681, 684, 299, 682, 410, 633, 631, 469, 468, 471, 470, 473, 637, 353, 356, 355, 360, 357, 358, 676, 680, 679, 678, 677, 293, 495, 87, 98, 95, 209, 207, 204, 205, 725, 724, 723, 727, 392, 195, 244, 7, 511, 199, 513, 516, 515, 308, 6, 719, 5, 317, 315, 342, 261, 543, 539, 107, 106, 540, 284, 737, 752, 753, 738, 708, 421, 422, 1437, 1435, 1438, 1053, 1436, 1164, 1387, 1385, 1223, 1222, 1225, 1224, 1227, 1391, 1107, 1110, 1109, 1114, 1111, 1112, 1430, 1434, 1433, 1432, 1431, 1047, 1249, 841, 852, 849, 963, 961, 958, 959, 1479, 1478, 1477, 1481, 1146, 949, 998, 761, 1265, 953, 1267, 1270, 1269, 1062, 760, 1473, 759, 1071, 1069, 1096, 1015, 1297, 1293, 861, 860, 1294, 1038, 1491, 1506, 1507, 1492, 1462, 1175, 1176]]
Total program runtime: 1.114 seconds

real 1.44
user 3.77
sys 0.48
