Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint8/Niif_4.json -R -O -V Low
DFA generation time: 0.166 seconds 
DFA states: 513 
DFA transitions: 2400
Problem file: data/zoo_json_waypoint8/Niif_4.json
Switches to update: 72

Decomposed topology into 8 subproblems
Topological decomposition took 0.211 seconds
Subproblem verification time: 0.206 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.037 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.04 seconds
Subproblem verification time: 0.034 seconds
Minimum batches required: 3
[[13, 0, 16, 23, 46, 33, 49, 56, 79, 66, 82, 89, 112, 99, 115, 122, 145, 132, 148, 155, 178, 165, 181, 188, 211, 198, 214, 221, 244, 231, 247, 254], [32, 14, 65, 47, 98, 80, 131, 113, 164, 146, 197, 179, 230, 212, 263, 245], [15, 27, 11, 48, 60, 44, 81, 93, 77, 114, 126, 110, 147, 159, 143, 180, 192, 176, 213, 225, 209, 246, 258, 242]]
Total program runtime: 1.411 seconds

real 1.77
user 4.20
sys 0.52
