Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Sinet_4.json -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.058 seconds
Subproblem verification time: 0.158 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.038 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.03 seconds
Minimum batches required: 3
[[44, 35, 115, 106, 186, 177, 257, 248, 328, 319, 399, 390, 470, 461, 541, 532], [34, 105, 176, 247, 318, 389, 460, 531], [70, 66, 20, 59, 10, 141, 137, 91, 130, 81, 212, 208, 162, 201, 152, 283, 279, 233, 272, 223, 354, 350, 304, 343, 294, 425, 421, 375, 414, 365, 496, 492, 446, 485, 436, 567, 563, 517, 556, 507]]
Total program runtime: 0.974 seconds

real 1.29
user 2.80
sys 0.34
