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

Decomposed topology into 8 subproblems
Topological decomposition took 0.191 seconds
Subproblem verification time: 0.205 seconds
Subproblem verification time: 0.045 seconds
Subproblem verification time: 0.041 seconds
Subproblem verification time: 0.041 seconds
Subproblem verification time: 0.04 seconds
Subproblem verification time: 0.039 seconds
Subproblem verification time: 0.04 seconds
Subproblem verification time: 0.037 seconds
Minimum batches required: 3
[[87, 88, 89, 90, 38, 39, 37, 91, 36, 55, 34, 33, 1, 32, 0, 41, 9, 8, 11, 10, 62, 65, 12, 64, 16, 67, 66, 69, 68, 71, 179, 180, 181, 182, 130, 131, 129, 183, 128, 147, 126, 125, 93, 124, 92, 133, 101, 100, 103, 102, 154, 157, 104, 156, 108, 159, 158, 161, 160, 163, 271, 272, 273, 274, 222, 223, 221, 275, 220, 239, 218, 217, 185, 216, 184, 225, 193, 192, 195, 194, 246, 249, 196, 248, 200, 251, 250, 253, 252, 255, 363, 364, 365, 366, 314, 315, 313, 367, 312, 331, 310, 309, 277, 308, 276, 317, 285, 284, 287, 286, 338, 341, 288, 340, 292, 343, 342, 345, 344, 347, 455, 456, 457, 458, 406, 407, 405, 459, 404, 423, 402, 401, 369, 400, 368, 409, 377, 376, 379, 378, 430, 433, 380, 432, 384, 435, 434, 437, 436, 439, 547, 548, 549, 550, 498, 499, 497, 551, 496, 515, 494, 493, 461, 492, 460, 501, 469, 468, 471, 470, 522, 525, 472, 524, 476, 527, 526, 529, 528, 531, 639, 640, 641, 642, 590, 591, 589, 643, 588, 607, 586, 585, 553, 584, 552, 593, 561, 560, 563, 562, 614, 617, 564, 616, 568, 619, 618, 621, 620, 623, 731, 732, 733, 734, 682, 683, 681, 735, 680, 699, 678, 677, 645, 676, 644, 685, 653, 652, 655, 654, 706, 709, 656, 708, 660, 711, 710, 713, 712, 715], [63, 155, 247, 339, 431, 523, 615, 707], [86, 84, 85, 45, 50, 77, 13, 29, 51, 28, 24, 27, 47, 26, 79, 40, 46, 73, 72, 54, 57, 56, 59, 58, 61, 17, 60, 53, 52, 14, 178, 176, 177, 137, 142, 169, 105, 121, 143, 120, 116, 119, 139, 118, 171, 132, 138, 165, 164, 146, 149, 148, 151, 150, 153, 109, 152, 145, 144, 106, 270, 268, 269, 229, 234, 261, 197, 213, 235, 212, 208, 211, 231, 210, 263, 224, 230, 257, 256, 238, 241, 240, 243, 242, 245, 201, 244, 237, 236, 198, 362, 360, 361, 321, 326, 353, 289, 305, 327, 304, 300, 303, 323, 302, 355, 316, 322, 349, 348, 330, 333, 332, 335, 334, 337, 293, 336, 329, 328, 290, 454, 452, 453, 413, 418, 445, 381, 397, 419, 396, 392, 395, 415, 394, 447, 408, 414, 441, 440, 422, 425, 424, 427, 426, 429, 385, 428, 421, 420, 382, 546, 544, 545, 505, 510, 537, 473, 489, 511, 488, 484, 487, 507, 486, 539, 500, 506, 533, 532, 514, 517, 516, 519, 518, 521, 477, 520, 513, 512, 474, 638, 636, 637, 597, 602, 629, 565, 581, 603, 580, 576, 579, 599, 578, 631, 592, 598, 625, 624, 606, 609, 608, 611, 610, 613, 569, 612, 605, 604, 566, 730, 728, 729, 689, 694, 721, 657, 673, 695, 672, 668, 671, 691, 670, 723, 684, 690, 717, 716, 698, 701, 700, 703, 702, 705, 661, 704, 697, 696, 658]]
Total program runtime: 1.52 seconds

real 1.89
user 4.75
sys 0.42
