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

Decomposed topology into 8 subproblems
Topological decomposition took 0.176 seconds
Subproblem verification time: 0.492 seconds
Subproblem verification time: 0.103 seconds
Subproblem verification time: 0.09 seconds
Subproblem verification time: 0.098 seconds
Subproblem verification time: 0.1 seconds
Subproblem verification time: 0.099 seconds
Subproblem verification time: 0.103 seconds
Subproblem verification time: 0.097 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: 2.117 seconds

real 2.42
user 5.03
sys 0.51
