Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Globenet_3.json -R -O -V Low
DFA generation time: 0.02 seconds 
DFA states: 3 
DFA transitions: 125
Problem file: dataND/zoo_json_MF/Globenet_3.json
Switches to update: 84

Decomposed topology into 4 subproblems
Topological decomposition took 0.05 seconds
Subproblem verification time: 0.154 seconds
Subproblem verification time: 0.077 seconds
Subproblem verification time: 0.072 seconds
Subproblem verification time: 0.075 seconds
Minimum batches required: 3
[[64, 39, 38, 17, 130, 105, 104, 83, 196, 171, 170, 149, 262, 237, 236, 215], [46, 10, 112, 76, 178, 142, 244, 208], [62, 61, 59, 48, 53, 19, 34, 12, 14, 11, 50, 49, 47, 54, 37, 128, 127, 125, 114, 119, 85, 100, 78, 80, 77, 116, 115, 113, 120, 103, 194, 193, 191, 180, 185, 151, 166, 144, 146, 143, 182, 181, 179, 186, 169, 260, 259, 257, 246, 251, 217, 232, 210, 212, 209, 248, 247, 245, 252, 235]]
Total program runtime: 0.939 seconds

real 1.24
user 2.50
sys 0.28
