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

Decomposed topology into 4 subproblems
Topological decomposition took 0.038 seconds
Subproblem verification time: 24.087 seconds
Subproblem verification time: 0.546 seconds
Subproblem verification time: 0.521 seconds
Subproblem verification time: 0.596 seconds
Minimum batches required: 3
[[11, 10, 19, 42, 41, 40, 54, 53, 62, 85, 84, 83, 97, 96, 105, 128, 127, 126, 140, 139, 148, 171, 170, 169], [32, 75, 118, 161], [17, 16, 33, 0, 4, 31, 30, 60, 59, 76, 43, 47, 74, 73, 103, 102, 119, 86, 90, 117, 116, 146, 145, 162, 129, 133, 160, 159]]
Total program runtime: 26.258 seconds

real 26.60
user 27.54
sys 0.89
