Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Kdl_1.json -R -O -V Low
DFA generation time: 0.019 seconds 
DFA states: 3 
DFA transitions: 126
Problem file: dataND/zoo_json_MF/Kdl_1.json
Switches to update: 118

Decomposed topology into 1 subproblems
Topological decomposition took 0.054 seconds
Subproblem verification time: 0.215 seconds
Minimum batches required: 3
[[284, 201, 540, 106, 100, 103, 108, 109, 31, 30, 33, 32, 742, 741, 740, 704, 529, 734, 273, 739, 418, 417, 247, 97, 96, 98, 87, 495, 293, 677, 678, 679, 680, 676, 358, 357, 360, 355, 356, 353, 637, 473, 470, 471, 468, 469, 631, 633, 410, 682, 299, 684, 681, 683, 525, 498, 725, 205, 204], [408, 428], [427, 150, 546, 545, 458, 321, 314, 316, 309, 624, 508, 509, 512, 242, 240, 505, 506, 411, 200, 162, 161, 503, 167, 166, 165, 164, 48, 51, 52, 230, 705, 231, 227, 234, 233, 390, 701, 702, 703, 688, 670, 561, 554, 553, 143, 461, 466, 131, 128, 129, 126, 668, 337, 396, 685, 467, 464]]
Total program runtime: 0.835 seconds

real 1.16
user 2.69
sys 0.32
