Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint8/Ion_3.json -R -O -V Low
DFA generation time: 0.219 seconds 
DFA states: 513 
DFA transitions: 2496
Problem file: data/zoo_json_waypoint8/Ion_3.json
Switches to update: 180

Decomposed topology into 8 subproblems
Topological decomposition took 0.324 seconds
Subproblem verification time: 0.144 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.037 seconds
Subproblem verification time: 0.022 seconds
Subproblem verification time: 0.038 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.027 seconds
Minimum batches required: 3
[[22, 80, 77, 78, 48, 49, 109, 60, 124, 59, 19, 13, 18, 11, 10, 58, 92, 8, 99, 2, 3, 5, 147, 205, 202, 203, 173, 174, 234, 185, 249, 184, 144, 138, 143, 136, 135, 183, 217, 133, 224, 127, 128, 130, 272, 330, 327, 328, 298, 299, 359, 310, 374, 309, 269, 263, 268, 261, 260, 308, 342, 258, 349, 252, 253, 255, 397, 455, 452, 453, 423, 424, 484, 435, 499, 434, 394, 388, 393, 386, 385, 433, 467, 383, 474, 377, 378, 380], [79, 105, 204, 230, 329, 355, 454, 480], [82, 81, 94, 83, 86, 67, 74, 72, 117, 115, 89, 90, 96, 63, 66, 87, 26, 107, 29, 33, 34, 207, 206, 219, 208, 211, 192, 199, 197, 242, 240, 214, 215, 221, 188, 191, 212, 151, 232, 154, 158, 159, 332, 331, 344, 333, 336, 317, 324, 322, 367, 365, 339, 340, 346, 313, 316, 337, 276, 357, 279, 283, 284, 457, 456, 469, 458, 461, 442, 449, 447, 492, 490, 464, 465, 471, 438, 441, 462, 401, 482, 404, 408, 409]]
Total program runtime: 1.631 seconds

real 1.99
user 5.14
sys 0.54
