Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Latnet_4.json -R -O -V Low
DFA generation time: 0.017 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.057 seconds
Subproblem verification time: 0.303 seconds
Subproblem verification time: 0.059 seconds
Subproblem verification time: 0.058 seconds
Subproblem verification time: 0.055 seconds
Subproblem verification time: 0.061 seconds
Subproblem verification time: 0.055 seconds
Subproblem verification time: 0.056 seconds
Subproblem verification time: 0.063 seconds
Minimum batches required: 2
[[23, 18, 19, 16, 84, 79, 80, 77, 145, 140, 141, 138, 206, 201, 202, 199, 267, 262, 263, 260, 328, 323, 324, 321, 389, 384, 385, 382, 450, 445, 446, 443], [22, 48, 83, 109, 144, 170, 205, 231, 266, 292, 327, 353, 388, 414, 449, 475]]
Total program runtime: 1.414 seconds

real 2.02
user 2.65
sys 0.41
