Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint4/Rhnet_4.json -T -R -O -V Low
DFA generation time: 0.054 seconds 
DFA states: 33 
DFA transitions: 184
Problem file: data/zoo_json_waypoint4/Rhnet_4.json
Switches to update: 56

Decomposed topology into 1 subproblems
Topological decomposition took 0.0 seconds
Subproblem verification time: 14.969 seconds
Minimum batches required: 3
[[8, 24, 40, 56, 72, 88, 104, 120, 9, 25, 41, 57, 73, 89, 105, 121], [127, 111, 95, 79, 63, 47, 31, 15], [14, 13, 12, 11, 30, 29, 28, 27, 46, 45, 44, 43, 62, 61, 60, 59, 78, 77, 76, 75, 94, 93, 92, 91, 110, 109, 108, 107, 126, 125, 124, 123]]
Total program runtime: 15.754 seconds

real 16.08
user 17.93
sys 0.47
