Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/IowaStatewideFiberMap_3.json -R -O -V Low
DFA generation time: 0.024 seconds 
DFA states: 3 
DFA transitions: 93
Problem file: dataND/zoo_json_MF/IowaStatewideFiberMap_3.json
Switches to update: 68

Decomposed topology into 4 subproblems
Topological decomposition took 0.047 seconds
Subproblem verification time: 0.163 seconds
Subproblem verification time: 0.07 seconds
Subproblem verification time: 0.064 seconds
Subproblem verification time: 0.068 seconds
Minimum batches required: 3
[[10, 31, 23, 30, 2, 3, 43, 64, 56, 63, 35, 36, 76, 97, 89, 96, 68, 69, 109, 130, 122, 129, 101, 102], [12, 32, 45, 65, 78, 98, 111, 131], [9, 7, 5, 28, 29, 18, 16, 22, 20, 42, 40, 38, 61, 62, 51, 49, 55, 53, 75, 73, 71, 94, 95, 84, 82, 88, 86, 108, 106, 104, 127, 128, 117, 115, 121, 119]]
Total program runtime: 0.881 seconds

real 1.18
user 2.51
sys 0.31
