Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/VtlWavenet2008_4.json -R -O -V Low
DFA generation time: 0.034 seconds 
DFA states: 3 
DFA transitions: 625
Problem file: dataND/zoo_json_MF/VtlWavenet2008_4.json
Switches to update: 616

Decomposed topology into 8 subproblems
Topological decomposition took 0.246 seconds
Subproblem verification time: 0.214 seconds
Subproblem verification time: 0.05 seconds
Subproblem verification time: 0.049 seconds
Subproblem verification time: 0.052 seconds
Subproblem verification time: 0.041 seconds
Subproblem verification time: 0.045 seconds
Subproblem verification time: 0.045 seconds
Subproblem verification time: 0.045 seconds
Minimum batches required: 3
[[62, 19, 63, 16, 60, 12, 61, 58, 10, 11, 8, 7, 9, 37, 0, 28, 1, 29, 30, 51, 32, 87, 33, 35, 34, 6, 5, 4, 3, 2, 74, 18, 21, 20, 79, 31, 78, 150, 107, 151, 104, 148, 100, 149, 146, 98, 99, 96, 95, 97, 125, 88, 116, 89, 117, 118, 139, 120, 175, 121, 123, 122, 94, 93, 92, 91, 90, 162, 106, 109, 108, 167, 119, 166, 238, 195, 239, 192, 236, 188, 237, 234, 186, 187, 184, 183, 185, 213, 176, 204, 177, 205, 206, 227, 208, 263, 209, 211, 210, 182, 181, 180, 179, 178, 250, 194, 197, 196, 255, 207, 254, 326, 283, 327, 280, 324, 276, 325, 322, 274, 275, 272, 271, 273, 301, 264, 292, 265, 293, 294, 315, 296, 351, 297, 299, 298, 270, 269, 268, 267, 266, 338, 282, 285, 284, 343, 295, 342, 414, 371, 415, 368, 412, 364, 413, 410, 362, 363, 360, 359, 361, 389, 352, 380, 353, 381, 382, 403, 384, 439, 385, 387, 386, 358, 357, 356, 355, 354, 426, 370, 373, 372, 431, 383, 430, 502, 459, 503, 456, 500, 452, 501, 498, 450, 451, 448, 447, 449, 477, 440, 468, 441, 469, 470, 491, 472, 527, 473, 475, 474, 446, 445, 444, 443, 442, 514, 458, 461, 460, 519, 471, 518, 590, 547, 591, 544, 588, 540, 589, 586, 538, 539, 536, 535, 537, 565, 528, 556, 529, 557, 558, 579, 560, 615, 561, 563, 562, 534, 533, 532, 531, 530, 602, 546, 549, 548, 607, 559, 606, 678, 635, 679, 632, 676, 628, 677, 674, 626, 627, 624, 623, 625, 653, 616, 644, 617, 645, 646, 667, 648, 703, 649, 651, 650, 622, 621, 620, 619, 618, 690, 634, 637, 636, 695, 647, 694], [42, 65, 130, 153, 218, 241, 306, 329, 394, 417, 482, 505, 570, 593, 658, 681], [64, 67, 66, 14, 48, 49, 56, 17, 57, 54, 55, 52, 53, 50, 68, 69, 36, 75, 24, 43, 44, 76, 77, 45, 38, 39, 70, 71, 40, 72, 41, 81, 80, 82, 59, 83, 84, 85, 152, 155, 154, 102, 136, 137, 144, 105, 145, 142, 143, 140, 141, 138, 156, 157, 124, 163, 112, 131, 132, 164, 165, 133, 126, 127, 158, 159, 128, 160, 129, 169, 168, 170, 147, 171, 172, 173, 240, 243, 242, 190, 224, 225, 232, 193, 233, 230, 231, 228, 229, 226, 244, 245, 212, 251, 200, 219, 220, 252, 253, 221, 214, 215, 246, 247, 216, 248, 217, 257, 256, 258, 235, 259, 260, 261, 328, 331, 330, 278, 312, 313, 320, 281, 321, 318, 319, 316, 317, 314, 332, 333, 300, 339, 288, 307, 308, 340, 341, 309, 302, 303, 334, 335, 304, 336, 305, 345, 344, 346, 323, 347, 348, 349, 416, 419, 418, 366, 400, 401, 408, 369, 409, 406, 407, 404, 405, 402, 420, 421, 388, 427, 376, 395, 396, 428, 429, 397, 390, 391, 422, 423, 392, 424, 393, 433, 432, 434, 411, 435, 436, 437, 504, 507, 506, 454, 488, 489, 496, 457, 497, 494, 495, 492, 493, 490, 508, 509, 476, 515, 464, 483, 484, 516, 517, 485, 478, 479, 510, 511, 480, 512, 481, 521, 520, 522, 499, 523, 524, 525, 592, 595, 594, 542, 576, 577, 584, 545, 585, 582, 583, 580, 581, 578, 596, 597, 564, 603, 552, 571, 572, 604, 605, 573, 566, 567, 598, 599, 568, 600, 569, 609, 608, 610, 587, 611, 612, 613, 680, 683, 682, 630, 664, 665, 672, 633, 673, 670, 671, 668, 669, 666, 684, 685, 652, 691, 640, 659, 660, 692, 693, 661, 654, 655, 686, 687, 656, 688, 657, 697, 696, 698, 675, 699, 700, 701]]
Total program runtime: 1.745 seconds

real 2.05
user 6.06
sys 0.55
