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

Decomposed topology into 8 subproblems
Topological decomposition took 0.05 seconds
Subproblem verification time: 0.426 seconds
Subproblem verification time: 0.094 seconds
Subproblem verification time: 0.094 seconds
Subproblem verification time: 0.098 seconds
Subproblem verification time: 0.091 seconds
Subproblem verification time: 0.095 seconds
Subproblem verification time: 0.097 seconds
Subproblem verification time: 0.092 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.655 seconds

real 1.99
user 3.66
sys 0.45
