Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Interoute_4.json -R -O -V Low
DFA generation time: 0.022 seconds 
DFA states: 3 
DFA transitions: 297
Problem file: data/zoo_json_reachability/Interoute_4.json
Switches to update: 264

Decomposed topology into 16 subproblems
Topological decomposition took 0.14 seconds
Subproblem verification time: 0.136 seconds
Subproblem verification time: 0.062 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.037 seconds
Subproblem verification time: 0.046 seconds
Subproblem verification time: 0.039 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.037 seconds
Subproblem verification time: 0.025 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.038 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.038 seconds
Minimum batches required: 3
[[15, 36, 19, 39, 9, 8, 12, 52, 38, 48, 49, 3, 101, 122, 143, 126, 146, 116, 115, 119, 159, 145, 155, 156, 110, 208, 229, 250, 233, 253, 223, 222, 226, 266, 252, 262, 263, 217, 315, 336, 357, 340, 360, 330, 329, 333, 373, 359, 369, 370, 324, 422, 443, 464, 447, 467, 437, 436, 440, 480, 466, 476, 477, 431, 529, 550, 571, 554, 574, 544, 543, 547, 587, 573, 583, 584, 538, 636, 657, 678, 661, 681, 651, 650, 654, 694, 680, 690, 691, 645, 743, 764, 785, 768, 788, 758, 757, 761, 801, 787, 797, 798, 752, 850], [14, 7, 53, 121, 114, 160, 228, 221, 267, 335, 328, 374, 442, 435, 481, 549, 542, 588, 656, 649, 695, 763, 756, 802], [35, 0, 103, 102, 34, 46, 47, 18, 64, 45, 74, 32, 43, 81, 40, 71, 63, 142, 107, 210, 209, 141, 153, 154, 125, 171, 152, 181, 139, 150, 188, 147, 178, 170, 249, 214, 317, 316, 248, 260, 261, 232, 278, 259, 288, 246, 257, 295, 254, 285, 277, 356, 321, 424, 423, 355, 367, 368, 339, 385, 366, 395, 353, 364, 402, 361, 392, 384, 463, 428, 531, 530, 462, 474, 475, 446, 492, 473, 502, 460, 471, 509, 468, 499, 491, 570, 535, 638, 637, 569, 581, 582, 553, 599, 580, 609, 567, 578, 616, 575, 606, 598, 677, 642, 745, 744, 676, 688, 689, 660, 706, 687, 716, 674, 685, 723, 682, 713, 705, 784, 749, 852, 851, 783, 795, 796, 767, 813, 794, 823, 781, 792, 830, 789, 820, 812]]
Total program runtime: 1.556 seconds

real 1.88
user 4.48
sys 0.64
