Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Sinet_3.json -E -C -R -O -V Low
DFA generation time: 0.02 seconds 
DFA states: 3 
DFA transitions: 61
Problem file: dataND/zoo_json_MF/Sinet_3.json
Switches to update: 44

Decomposed topology into 4 subproblems
Topological decomposition took 0.034 seconds
Subproblem verification time: 2.613 seconds
Subproblem verification time: 1.242 seconds
Subproblem verification time: 1.216 seconds
Subproblem verification time: 1.248 seconds
Minimum batches required: 3
[[49, 66, 120, 137, 191, 208, 262, 279], [24, 44, 70, 95, 115, 141, 166, 186, 212, 237, 257, 283], [35, 0, 10, 59, 20, 34, 106, 71, 81, 130, 91, 105, 177, 142, 152, 201, 162, 176, 248, 213, 223, 272, 233, 247]]
Total program runtime: 6.809 seconds

real 7.24
user 8.03
sys 0.44
