Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint8/Interoute_4.json -E -C -R -O -V Low
DFA generation time: 0.266 seconds 
DFA states: 513 
DFA transitions: 2584
Problem file: data/zoo_json_waypoint8/Interoute_4.json
Switches to update: 240

Decomposed topology into 16 subproblems
Topological decomposition took 0.439 seconds
Subproblem verification time: 2.094 seconds
Subproblem verification time: 21.368 seconds
Subproblem verification time: 0.286 seconds
Subproblem verification time: 21.996 seconds
Subproblem verification time: 0.272 seconds
Subproblem verification time: 22.379 seconds
Subproblem verification time: 0.257 seconds
Subproblem verification time: 20.236 seconds
Subproblem verification time: 0.275 seconds
Subproblem verification time: 20.783 seconds
Subproblem verification time: 0.281 seconds
Subproblem verification time: 20.885 seconds
Subproblem verification time: 0.264 seconds
Subproblem verification time: 21.324 seconds
Subproblem verification time: 0.238 seconds
Subproblem verification time: 21.634 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: 176.092 seconds

real 176.38
user 176.57
sys 5.07
