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

Decomposed topology into 8 subproblems
Topological decomposition took 0.053 seconds
Subproblem verification time: 0.205 seconds
Subproblem verification time: 0.097 seconds
Subproblem verification time: 0.094 seconds
Subproblem verification time: 0.091 seconds
Subproblem verification time: 0.091 seconds
Subproblem verification time: 0.095 seconds
Subproblem verification time: 0.093 seconds
Subproblem verification time: 0.091 seconds
Minimum batches required: 2
[[16, 19, 18, 23, 77, 80, 79, 84, 138, 141, 140, 145, 199, 202, 201, 206, 260, 263, 262, 267, 321, 324, 323, 328, 382, 385, 384, 389, 443, 446, 445, 450], [48, 22, 109, 83, 170, 144, 231, 205, 292, 266, 353, 327, 414, 388, 475, 449]]
Total program runtime: 1.435 seconds

real 1.77
user 3.32
sys 0.54
