Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint4/SwitchL3_3.json -E -C -R -O -V Low
DFA generation time: 0.04 seconds 
DFA states: 33 
DFA transitions: 136
Problem file: data/zoo_json_waypoint4/SwitchL3_3.json
Switches to update: 48

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

real 10.09
user 11.74
sys 0.40
