Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Bbnplanet_4.json -E -C -R -O -V Low
DFA generation time: 0.021 seconds 
DFA states: 3 
DFA transitions: 89
Problem file: data/zoo_json_reachability/Bbnplanet_4.json
Switches to update: 48

Decomposed topology into 8 subproblems
Topological decomposition took 0.04 seconds
Subproblem verification time: 0.364 seconds
Subproblem verification time: 0.07 seconds
Subproblem verification time: 0.071 seconds
Subproblem verification time: 0.07 seconds
Subproblem verification time: 0.069 seconds
Subproblem verification time: 0.07 seconds
Subproblem verification time: 0.061 seconds
Subproblem verification time: 0.064 seconds
Minimum batches required: 3
[[17, 20, 42, 45, 67, 70, 92, 95, 117, 120, 142, 145, 167, 170, 192, 195], [23, 48, 73, 98, 123, 148, 173, 198], [7, 11, 15, 32, 36, 40, 57, 61, 65, 82, 86, 90, 107, 111, 115, 132, 136, 140, 157, 161, 165, 182, 186, 190]]
Total program runtime: 1.428 seconds

real 1.77
user 2.83
sys 0.45
