Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Interoute_4.json -R -O -V Low
DFA generation time: 0.028 seconds 
DFA states: 3 
DFA transitions: 481
Problem file: dataND/zoo_json_MF/Interoute_4.json
Switches to update: 456

Decomposed topology into 8 subproblems
Topological decomposition took 0.167 seconds
Subproblem verification time: 0.466 seconds
Subproblem verification time: 0.194 seconds
Subproblem verification time: 0.195 seconds
Subproblem verification time: 0.183 seconds
Subproblem verification time: 0.184 seconds
Subproblem verification time: 0.182 seconds
Subproblem verification time: 0.182 seconds
Subproblem verification time: 0.187 seconds
Minimum batches required: 3
[[101, 44, 15, 36, 19, 33, 39, 9, 1, 8, 12, 52, 38, 48, 49, 3, 65, 67, 5, 4, 208, 151, 122, 143, 126, 140, 146, 116, 108, 115, 119, 159, 145, 155, 156, 110, 172, 174, 112, 111, 315, 258, 229, 250, 233, 247, 253, 223, 215, 222, 226, 266, 252, 262, 263, 217, 279, 281, 219, 218, 422, 365, 336, 357, 340, 354, 360, 330, 322, 329, 333, 373, 359, 369, 370, 324, 386, 388, 326, 325, 529, 472, 443, 464, 447, 461, 467, 437, 429, 436, 440, 480, 466, 476, 477, 431, 493, 495, 433, 432, 636, 579, 550, 571, 554, 568, 574, 544, 536, 543, 547, 587, 573, 583, 584, 538, 600, 602, 540, 539, 743, 686, 657, 678, 661, 675, 681, 651, 643, 650, 654, 694, 680, 690, 691, 645, 707, 709, 647, 646, 850, 793, 764, 785, 768, 782, 788, 758, 750, 757, 761, 801, 787, 797, 798, 752, 814, 816, 754, 753], [45, 7, 53, 152, 114, 160, 259, 221, 267, 366, 328, 374, 473, 435, 481, 580, 542, 588, 687, 649, 695, 794, 756, 802], [14, 35, 0, 103, 102, 34, 46, 47, 18, 64, 74, 32, 43, 81, 40, 71, 63, 60, 59, 104, 13, 105, 106, 11, 72, 16, 56, 57, 92, 55, 2, 91, 90, 85, 121, 142, 107, 210, 209, 141, 153, 154, 125, 171, 181, 139, 150, 188, 147, 178, 170, 167, 166, 211, 120, 212, 213, 118, 179, 123, 163, 164, 199, 162, 109, 198, 197, 192, 228, 249, 214, 317, 316, 248, 260, 261, 232, 278, 288, 246, 257, 295, 254, 285, 277, 274, 273, 318, 227, 319, 320, 225, 286, 230, 270, 271, 306, 269, 216, 305, 304, 299, 335, 356, 321, 424, 423, 355, 367, 368, 339, 385, 395, 353, 364, 402, 361, 392, 384, 381, 380, 425, 334, 426, 427, 332, 393, 337, 377, 378, 413, 376, 323, 412, 411, 406, 442, 463, 428, 531, 530, 462, 474, 475, 446, 492, 502, 460, 471, 509, 468, 499, 491, 488, 487, 532, 441, 533, 534, 439, 500, 444, 484, 485, 520, 483, 430, 519, 518, 513, 549, 570, 535, 638, 637, 569, 581, 582, 553, 599, 609, 567, 578, 616, 575, 606, 598, 595, 594, 639, 548, 640, 641, 546, 607, 551, 591, 592, 627, 590, 537, 626, 625, 620, 656, 677, 642, 745, 744, 676, 688, 689, 660, 706, 716, 674, 685, 723, 682, 713, 705, 702, 701, 746, 655, 747, 748, 653, 714, 658, 698, 699, 734, 697, 644, 733, 732, 727, 763, 784, 749, 852, 851, 783, 795, 796, 767, 813, 823, 781, 792, 830, 789, 820, 812, 809, 808, 853, 762, 854, 855, 760, 821, 765, 805, 806, 841, 804, 751, 840, 839, 834]]
Total program runtime: 2.695 seconds

real 2.98
user 5.80
sys 0.55
