Version: 1.15 
 verifypn-linux64 data/zoo_json_alt_waypoint4/Bellsouth_4.json -R -O -V Low
DFA generation time: 0.05 seconds 
DFA states: 33 
DFA transitions: 156
Problem file: data/zoo_json_alt_waypoint4/Bellsouth_4.json
Switches to update: 32

Decomposed topology into 2 subproblems
Topological decomposition took 0.062 seconds
Subproblem verification time: 4.652 seconds
Subproblem verification time: 0.032 seconds
Minimum batches required: 4
[[39, 90, 141, 192, 243, 294, 345, 31, 82, 133, 184, 235, 286, 337, 396, 388], [265, 214, 163, 112, 61, 10, 367], [316, 392], [35, 86, 137, 188, 239, 290, 341]]
Total program runtime: 5.493 seconds

real 5.83
user 7.47
sys 0.39
