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

Decomposed topology into 4 subproblems
Topological decomposition took 0.05 seconds
Subproblem verification time: 53.588 seconds
Subproblem verification time: 6.787 seconds
Subproblem verification time: 6.719 seconds
Subproblem verification time: 6.552 seconds
Minimum batches required: 3
[[17, 38, 39, 64, 83, 104, 105, 130, 149, 170, 171, 196, 215, 236, 237, 262], [46, 10, 59, 61, 62, 112, 76, 125, 127, 128, 178, 142, 191, 193, 194, 244, 208, 257, 259, 260], [14, 12, 34, 19, 53, 48, 80, 78, 100, 85, 119, 114, 146, 144, 166, 151, 185, 180, 212, 210, 232, 217, 251, 246]]
Total program runtime: 74.229 seconds

real 74.52
user 74.38
sys 2.15
