Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Dfn_3.json -R -O -V Low
DFA generation time: 0.021 seconds 
DFA states: 3 
DFA transitions: 65
Problem file: dataND/zoo_json_MF/Dfn_3.json
Switches to update: 52

Decomposed topology into 4 subproblems
Topological decomposition took 0.036 seconds
Subproblem verification time: 0.184 seconds
Subproblem verification time: 0.073 seconds
Subproblem verification time: 0.073 seconds
Subproblem verification time: 0.078 seconds
Minimum batches required: 3
[[50, 49, 53, 46, 48, 20, 107, 106, 110, 103, 105, 77, 164, 163, 167, 160, 162, 134, 221, 220, 224, 217, 219, 191], [51, 52, 2, 108, 109, 59, 165, 166, 116, 222, 223, 173], [56, 55, 44, 39, 113, 112, 101, 96, 170, 169, 158, 153, 227, 226, 215, 210]]
Total program runtime: 0.929 seconds

real 1.24
user 2.36
sys 0.27
