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

Decomposed topology into 8 subproblems
Topological decomposition took 0.039 seconds
Subproblem verification time: 0.768 seconds
Subproblem verification time: 0.083 seconds
Subproblem verification time: 0.091 seconds
Subproblem verification time: 0.087 seconds
Subproblem verification time: 0.085 seconds
Subproblem verification time: 0.086 seconds
Subproblem verification time: 0.086 seconds
Subproblem verification time: 0.087 seconds
Minimum batches required: 3
[[45, 61, 0, 107, 123, 62, 169, 185, 124, 231, 247, 186, 293, 309, 248, 355, 371, 310, 417, 433, 372, 479, 495, 434], [6, 1, 3, 68, 63, 65, 130, 125, 127, 192, 187, 189, 254, 249, 251, 316, 311, 313, 378, 373, 375, 440, 435, 437], [19, 81, 143, 205, 267, 329, 391, 453]]
Total program runtime: 1.902 seconds

real 2.29
user 3.13
sys 0.39
