Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint8/Ion_2.json -R -O -V Low
DFA generation time: 0.195 seconds 
DFA states: 513 
DFA transitions: 2396
Problem file: data/zoo_json_waypoint8/Ion_2.json
Switches to update: 78

Decomposed topology into 2 subproblems
Topological decomposition took 0.155 seconds
Subproblem verification time: 0.159 seconds
Subproblem verification time: 0.04 seconds
Minimum batches required: 3
[[8, 92, 58, 10, 11, 18, 13, 19, 59, 124, 60, 109, 49, 48, 78, 77, 80, 22, 133, 217, 183, 135, 136, 143, 138, 144, 184, 249, 185, 234, 174, 173, 203, 202, 205, 147], [100, 225], [107, 26, 23, 27, 28, 25, 0, 9, 64, 65, 111, 113, 112, 74, 67, 86, 83, 94, 81, 82, 232, 151, 148, 152, 153, 150, 125, 134, 189, 190, 236, 238, 237, 199, 192, 211, 208, 219, 206, 207]]
Total program runtime: 1.076 seconds

real 1.41
user 4.10
sys 0.46
