Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Grnet_4.json -T -R -O -V Low
DFA generation time: 0.016 seconds 
DFA states: 3 
DFA transitions: 89
Problem file: dataND/zoo_json_MF/Grnet_4.json
Switches to update: 32

Decomposed topology into 1 subproblems
Topological decomposition took 0.0 seconds
Subproblem verification time: 75.616 seconds
Minimum batches required: 3
[[34, 69, 104, 139, 174, 209, 244, 279], [253, 218, 183, 148, 113, 78, 43, 8], [20, 55, 90, 125, 160, 195, 230, 265, 24, 59, 94, 129, 164, 199, 234, 269]]
Total program runtime: 76.086 seconds

real 76.41
user 76.23
sys 1.44
