Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Dfn_3.json -E -C -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.034 seconds
Subproblem verification time: 18.39 seconds
Subproblem verification time: 0.752 seconds
Subproblem verification time: 0.74 seconds
Subproblem verification time: 0.835 seconds
Minimum batches required: 3
[[53, 20, 46, 48, 49, 50, 110, 77, 103, 105, 106, 107, 167, 134, 160, 162, 163, 164, 224, 191, 217, 219, 220, 221], [51, 52, 39, 44, 2, 108, 109, 96, 101, 59, 165, 166, 153, 158, 116, 222, 223, 210, 215, 173], [55, 56, 112, 113, 169, 170, 226, 227]]
Total program runtime: 21.246 seconds

real 21.59
user 22.95
sys 0.56
