Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/VtlWavenet2008_4.json -R -O -V Low
DFA generation time: 0.031 seconds 
DFA states: 3 
DFA transitions: 513
Problem file: data/zoo_json_reachability/VtlWavenet2008_4.json
Switches to update: 504

Decomposed topology into 8 subproblems
Topological decomposition took 0.209 seconds
Subproblem verification time: 0.151 seconds
Subproblem verification time: 0.042 seconds
Subproblem verification time: 0.042 seconds
Subproblem verification time: 0.042 seconds
Subproblem verification time: 0.041 seconds
Subproblem verification time: 0.045 seconds
Subproblem verification time: 0.041 seconds
Subproblem verification time: 0.04 seconds
Minimum batches required: 3
[[62, 63, 16, 60, 12, 61, 58, 10, 11, 8, 9, 37, 0, 28, 1, 29, 30, 51, 32, 87, 33, 35, 34, 150, 151, 104, 148, 100, 149, 146, 98, 99, 96, 97, 125, 88, 116, 89, 117, 118, 139, 120, 175, 121, 123, 122, 238, 239, 192, 236, 188, 237, 234, 186, 187, 184, 185, 213, 176, 204, 177, 205, 206, 227, 208, 263, 209, 211, 210, 326, 327, 280, 324, 276, 325, 322, 274, 275, 272, 273, 301, 264, 292, 265, 293, 294, 315, 296, 351, 297, 299, 298, 414, 415, 368, 412, 364, 413, 410, 362, 363, 360, 361, 389, 352, 380, 353, 381, 382, 403, 384, 439, 385, 387, 386, 502, 503, 456, 500, 452, 501, 498, 450, 451, 448, 449, 477, 440, 468, 441, 469, 470, 491, 472, 527, 473, 475, 474, 590, 591, 544, 588, 540, 589, 586, 538, 539, 536, 537, 565, 528, 556, 529, 557, 558, 579, 560, 615, 561, 563, 562, 678, 679, 632, 676, 628, 677, 674, 626, 627, 624, 625, 653, 616, 644, 617, 645, 646, 667, 648, 703, 649, 651, 650], [65, 153, 241, 329, 417, 505, 593, 681], [64, 67, 66, 14, 48, 49, 56, 17, 57, 54, 55, 52, 53, 50, 68, 69, 42, 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, 130, 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, 218, 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, 306, 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, 394, 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, 482, 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, 570, 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, 658, 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.516 seconds

real 1.84
user 4.91
sys 0.45
