Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint2/Bbnplanet_4.json -E -C -R -O -V Low
DFA generation time: 0.033 seconds 
DFA states: 9 
DFA transitions: 108
Problem file: data/zoo_json_waypoint2/Bbnplanet_4.json
Switches to update: 72

Decomposed topology into 8 subproblems
Topological decomposition took 0.053 seconds
Subproblem verification time: 0.475 seconds
Subproblem verification time: 0.103 seconds
Subproblem verification time: 0.095 seconds
Subproblem verification time: 0.096 seconds
Subproblem verification time: 0.095 seconds
Subproblem verification time: 0.103 seconds
Subproblem verification time: 0.104 seconds
Subproblem verification time: 0.096 seconds
Minimum batches required: 3
[[17, 20, 23, 24, 42, 45, 48, 49, 67, 70, 73, 74, 92, 95, 98, 99, 117, 120, 123, 124, 142, 145, 148, 149, 167, 170, 173, 174, 192, 195, 198, 199], [18, 43, 68, 93, 118, 143, 168, 193], [7, 11, 15, 1, 32, 36, 40, 26, 57, 61, 65, 51, 82, 86, 90, 76, 107, 111, 115, 101, 132, 136, 140, 126, 157, 161, 165, 151, 182, 186, 190, 176]]
Total program runtime: 1.769 seconds

real 2.07
user 3.71
sys 0.41
