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

Decomposed topology into 4 subproblems
Topological decomposition took 0.037 seconds
Subproblem verification time: 8.021 seconds
Subproblem verification time: 0.2 seconds
Subproblem verification time: 0.268 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.205 seconds

real 9.54
user 10.56
sys 0.39
