Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Sinet_4.json -E -C -R -O -V Low
DFA generation time: 0.016 seconds 
DFA states: 3 
DFA transitions: 113
Problem file: dataND/zoo_json_MF/Sinet_4.json
Switches to update: 64

Decomposed topology into 8 subproblems
Topological decomposition took 0.043 seconds
Subproblem verification time: 0.437 seconds
Subproblem verification time: 0.152 seconds
Subproblem verification time: 0.151 seconds
Subproblem verification time: 0.151 seconds
Subproblem verification time: 0.153 seconds
Subproblem verification time: 0.152 seconds
Subproblem verification time: 0.162 seconds
Subproblem verification time: 0.151 seconds
Minimum batches required: 3
[[35, 44, 106, 115, 177, 186, 248, 257, 319, 328, 390, 399, 461, 470, 532, 541], [34, 66, 70, 105, 137, 141, 176, 208, 212, 247, 279, 283, 318, 350, 354, 389, 421, 425, 460, 492, 496, 531, 563, 567], [10, 59, 20, 81, 130, 91, 152, 201, 162, 223, 272, 233, 294, 343, 304, 365, 414, 375, 436, 485, 446, 507, 556, 517]]
Total program runtime: 2.044 seconds

real 2.34
user 3.94
sys 0.44
