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

Decomposed topology into 4 subproblems
Topological decomposition took 0.038 seconds
Subproblem verification time: 4.871 seconds
Subproblem verification time: 0.165 seconds
Subproblem verification time: 0.166 seconds
Subproblem verification time: 0.167 seconds
Minimum batches required: 3
[[45, 47, 3, 2, 51, 49, 97, 99, 55, 54, 103, 101, 149, 151, 107, 106, 155, 153, 201, 203, 159, 158, 207, 205], [40, 92, 144, 196], [8, 9, 35, 41, 39, 60, 61, 87, 93, 91, 112, 113, 139, 145, 143, 164, 165, 191, 197, 195]]
Total program runtime: 5.889 seconds

real 6.21
user 7.16
sys 0.39
