Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Grnet_3.json -E -C -R -O -V Low
DFA generation time: 0.018 seconds 
DFA states: 3 
DFA transitions: 53
Problem file: dataND/zoo_json_MF/Grnet_3.json
Switches to update: 36

Decomposed topology into 4 subproblems
Topological decomposition took 0.031 seconds
Subproblem verification time: 0.464 seconds
Subproblem verification time: 0.135 seconds
Subproblem verification time: 0.137 seconds
Subproblem verification time: 0.131 seconds
Minimum batches required: 3
[[24, 8, 9, 55, 39, 40, 86, 70, 71, 117, 101, 102], [20, 22, 51, 53, 82, 84, 113, 115], [2, 14, 15, 21, 33, 45, 46, 52, 64, 76, 77, 83, 95, 107, 108, 114]]
Total program runtime: 1.336 seconds

real 1.63
user 2.53
sys 0.26
