Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint2/Interoute_4.json -E -C -R -O -V Low
DFA generation time: 0.032 seconds 
DFA states: 9 
DFA transitions: 292
Problem file: data/zoo_json_waypoint2/Interoute_4.json
Switches to update: 240

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

real 179.38
user 177.60
sys 4.86
