Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint2/Renater2010_3.json -E -C -R -O -V Low
DFA generation time: 0.028 seconds 
DFA states: 9 
DFA transitions: 80
Problem file: data/zoo_json_waypoint2/Renater2010_3.json
Switches to update: 56

Decomposed topology into 4 subproblems
Topological decomposition took 0.036 seconds
Subproblem verification time: 29.042 seconds
Subproblem verification time: 0.62 seconds
Subproblem verification time: 0.605 seconds
Subproblem verification time: 0.634 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: 31.426 seconds

real 31.73
user 32.74
sys 1.04
