Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint2/Kdl_1.json -R -O -V Low
DFA generation time: 0.024 seconds 
DFA states: 9 
DFA transitions: 130
Problem file: data/zoo_json_waypoint2/Kdl_1.json
Switches to update: 113

Decomposed topology into 1 subproblems
Topological decomposition took 0.054 seconds
Subproblem verification time: 0.184 seconds
Minimum batches required: 3
[[17, 6, 348, 193, 188, 187, 363, 308, 515, 516, 513, 199, 511, 512, 235, 110, 704, 529, 273, 739, 418, 417, 247, 408, 200, 162, 161, 503, 167, 168, 164, 48, 51, 52, 230, 705, 231, 227, 234, 233, 390, 701, 702, 703, 688, 670, 437, 432, 431, 429, 430, 535, 536, 542, 541, 140, 56, 55, 562, 12, 70], [719, 16], [718, 717, 720, 5, 317, 315, 314, 316, 309, 624, 39, 211, 32, 742, 741, 690, 523, 654, 634, 238, 237, 0, 751, 745, 565, 245, 649, 4, 2, 441, 442, 440, 443, 444, 445, 446, 447, 448, 449, 8, 9, 220, 219, 518, 222, 221, 213, 212, 598, 599]]
Total program runtime: 1.873 seconds

real 2.27
user 2.52
sys 0.20
