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

Decomposed topology into 8 subproblems
Topological decomposition took 0.034 seconds
Subproblem verification time: 0.148 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.03 seconds
Minimum batches required: 2
[[15, 14, 31, 30, 47, 46, 63, 62, 79, 78, 95, 94, 111, 110, 127, 126], [12, 9, 3, 28, 25, 19, 44, 41, 35, 60, 57, 51, 76, 73, 67, 92, 89, 83, 108, 105, 99, 124, 121, 115]]
Total program runtime: 0.872 seconds

real 1.17
user 2.39
sys 0.28
