Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Chinanet_4.json -E -C -R -O -V Low
DFA generation time: 0.021 seconds 
DFA states: 3 
DFA transitions: 73
Problem file: dataND/zoo_json_MF/Chinanet_4.json
Switches to update: 40

Decomposed topology into 8 subproblems
Topological decomposition took 0.04 seconds
Subproblem verification time: 0.197 seconds
Subproblem verification time: 0.105 seconds
Subproblem verification time: 0.091 seconds
Subproblem verification time: 0.096 seconds
Subproblem verification time: 0.094 seconds
Subproblem verification time: 0.094 seconds
Subproblem verification time: 0.092 seconds
Subproblem verification time: 0.097 seconds
Minimum batches required: 2
[[28, 68, 108, 148, 188, 228, 268, 308], [25, 22, 8, 39, 65, 62, 48, 79, 105, 102, 88, 119, 145, 142, 128, 159, 185, 182, 168, 199, 225, 222, 208, 239, 265, 262, 248, 279, 305, 302, 288, 319]]
Total program runtime: 1.402 seconds

real 1.70
user 2.84
sys 0.50
