Version: 1.15 
 verifypn-linux64 data/zoo_json_alt_waypoint1/SwitchL3_3.json -E -C -R -O -V Low
DFA generation time: 0.017 seconds 
DFA states: 5 
DFA transitions: 60
Problem file: data/zoo_json_alt_waypoint1/SwitchL3_3.json
Switches to update: 48

Decomposed topology into 3 subproblems
Topological decomposition took 0.035 seconds
Subproblem verification time: 7.732 seconds
Subproblem verification time: 0.187 seconds
Subproblem verification time: 116.549 seconds
Minimum batches required: 3
[[9, 41, 7, 1, 3, 35, 5, 51, 83, 49, 43, 45, 77, 47, 135, 167, 133, 127, 129, 161, 93, 125, 91, 85, 87, 119, 131, 89], [8, 28, 34, 50, 70, 76, 134, 154, 160, 92, 112, 118], [4, 31, 46, 73, 130, 157, 88, 115]]
Total program runtime: 124.965 seconds

real 125.31
user 124.81
sys 1.77
