Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint4/Interoute_4.json -R -O -V Low
DFA generation time: 0.061 seconds 
DFA states: 33 
DFA transitions: 360
Problem file: data/zoo_json_waypoint4/Interoute_4.json
Switches to update: 240

Decomposed topology into 16 subproblems
Topological decomposition took 0.159 seconds
Subproblem verification time: 0.144 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.037 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.037 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.034 seconds
Minimum batches required: 3
[[49, 84, 63, 70, 53, 19, 7, 8, 9, 39, 36, 153, 188, 167, 174, 157, 123, 111, 112, 113, 143, 140, 257, 292, 271, 278, 261, 227, 215, 216, 217, 247, 244, 361, 396, 375, 382, 365, 331, 319, 320, 321, 351, 348, 465, 500, 479, 486, 469, 435, 423, 424, 425, 455, 452, 569, 604, 583, 590, 573, 539, 527, 528, 529, 559, 556, 673, 708, 687, 694, 677, 643, 631, 632, 633, 663, 660, 777, 812, 791, 798, 781, 747, 735, 736, 737, 767, 764], [30, 12, 134, 116, 238, 220, 342, 324, 446, 428, 550, 532, 654, 636, 758, 740], [85, 90, 91, 101, 3, 48, 27, 18, 47, 46, 34, 102, 103, 0, 35, 59, 60, 189, 194, 195, 205, 107, 152, 131, 122, 151, 150, 138, 206, 207, 104, 139, 163, 164, 293, 298, 299, 309, 211, 256, 235, 226, 255, 254, 242, 310, 311, 208, 243, 267, 268, 397, 402, 403, 413, 315, 360, 339, 330, 359, 358, 346, 414, 415, 312, 347, 371, 372, 501, 506, 507, 517, 419, 464, 443, 434, 463, 462, 450, 518, 519, 416, 451, 475, 476, 605, 610, 611, 621, 523, 568, 547, 538, 567, 566, 554, 622, 623, 520, 555, 579, 580, 709, 714, 715, 725, 627, 672, 651, 642, 671, 670, 658, 726, 727, 624, 659, 683, 684, 813, 818, 819, 829, 731, 776, 755, 746, 775, 774, 762, 830, 831, 728, 763, 787, 788]]
Total program runtime: 1.627 seconds

real 1.95
user 4.59
sys 0.64
