Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint1/Renater2006_4.json -E -C -R -O -V Low
DFA generation time: 0.019 seconds 
DFA states: 5 
DFA transitions: 116
Problem file: data/zoo_json_waypoint1/Renater2006_4.json
Switches to update: 96

Decomposed topology into 8 subproblems
Topological decomposition took 0.058 seconds
Subproblem verification time: 6.432 seconds
Subproblem verification time: 0.089 seconds
Subproblem verification time: 0.086 seconds
Subproblem verification time: 0.085 seconds
Subproblem verification time: 0.086 seconds
Subproblem verification time: 0.084 seconds
Subproblem verification time: 0.096 seconds
Subproblem verification time: 0.092 seconds
Minimum batches required: 4
[[17, 18, 6, 0, 24, 23, 50, 51, 39, 33, 57, 56, 83, 84, 72, 66, 90, 89, 116, 117, 105, 99, 123, 122, 149, 150, 138, 132, 156, 155, 182, 183, 171, 165, 189, 188, 215, 216, 204, 198, 222, 221, 248, 249, 237, 231, 255, 254], [32, 53, 65, 86, 98, 119, 131, 152, 164, 185, 197, 218, 230, 251, 263], [20, 21, 30, 31, 40, 54, 63, 64, 73, 87, 96, 97, 106, 120, 129, 130, 139, 153, 162, 163, 172, 186, 195, 196, 205, 219, 228, 229, 238, 252, 261, 262], [7]]
Total program runtime: 7.691 seconds

real 8.01
user 9.73
sys 0.44
