Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Switch_4.json -R -O -V Low
DFA generation time: 0.022 seconds 
DFA states: 3 
DFA transitions: 201
Problem file: dataND/zoo_json_MF/Switch_4.json
Switches to update: 176

Decomposed topology into 8 subproblems
Topological decomposition took 0.083 seconds
Subproblem verification time: 0.151 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.032 seconds
Minimum batches required: 3
[[28, 55, 51, 20, 34, 22, 12, 15, 1, 61, 99, 126, 122, 91, 105, 93, 83, 86, 72, 132, 170, 197, 193, 162, 176, 164, 154, 157, 143, 203, 241, 268, 264, 233, 247, 235, 225, 228, 214, 274, 312, 339, 335, 304, 318, 306, 296, 299, 285, 345, 383, 410, 406, 375, 389, 377, 367, 370, 356, 416, 454, 481, 477, 446, 460, 448, 438, 441, 427, 487, 525, 552, 548, 517, 531, 519, 509, 512, 498, 558], [62, 133, 204, 275, 346, 417, 488, 559], [18, 49, 66, 69, 70, 35, 30, 8, 14, 42, 17, 89, 120, 137, 140, 141, 106, 101, 79, 85, 113, 88, 160, 191, 208, 211, 212, 177, 172, 150, 156, 184, 159, 231, 262, 279, 282, 283, 248, 243, 221, 227, 255, 230, 302, 333, 350, 353, 354, 319, 314, 292, 298, 326, 301, 373, 404, 421, 424, 425, 390, 385, 363, 369, 397, 372, 444, 475, 492, 495, 496, 461, 456, 434, 440, 468, 443, 515, 546, 563, 566, 567, 532, 527, 505, 511, 539, 514]]
Total program runtime: 1.014 seconds

real 1.33
user 3.14
sys 0.28
