Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint8/Renater2006_4.json -E -C -R -O -V Low
DFA generation time: 0.157 seconds 
DFA states: 513 
DFA transitions: 2416
Problem file: data/zoo_json_waypoint8/Renater2006_4.json
Switches to update: 96

Decomposed topology into 8 subproblems
Topological decomposition took 0.228 seconds
Subproblem verification time: 7.584 seconds
Subproblem verification time: 0.108 seconds
Subproblem verification time: 0.104 seconds
Subproblem verification time: 0.122 seconds
Subproblem verification time: 0.101 seconds
Subproblem verification time: 0.119 seconds
Subproblem verification time: 0.102 seconds
Subproblem verification time: 0.093 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, 131, 152, 164, 185, 197, 218, 230, 251, 263], [20, 21, 30, 31, 40, 54, 63, 64, 73, 87, 96, 97, 119, 120, 129, 130, 139, 153, 162, 163, 172, 186, 195, 196, 205, 219, 228, 229, 238, 252, 261, 262], [7, 106]]
Total program runtime: 9.269 seconds

real 9.57
user 12.57
sys 0.50
