Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint2/UsCarrier_3.json -R -O -V Low
DFA generation time: 0.03 seconds 
DFA states: 9 
DFA transitions: 280
Problem file: data/zoo_json_waypoint2/UsCarrier_3.json
Switches to update: 208

Decomposed topology into 8 subproblems
Topological decomposition took 0.126 seconds
Subproblem verification time: 0.123 seconds
Subproblem verification time: 0.037 seconds
Subproblem verification time: 0.041 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.04 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.04 seconds
Subproblem verification time: 0.03 seconds
Minimum batches required: 3
[[6, 5, 3, 2, 132, 133, 103, 102, 105, 82, 104, 107, 19, 18, 10, 13, 12, 30, 131, 124, 122, 62, 164, 163, 161, 160, 290, 291, 261, 260, 263, 240, 262, 265, 177, 176, 168, 171, 170, 188, 289, 282, 280, 220, 322, 321, 319, 318, 448, 449, 419, 418, 421, 398, 420, 423, 335, 334, 326, 329, 328, 346, 447, 440, 438, 378, 480, 479, 477, 476, 606, 607, 577, 576, 579, 556, 578, 581, 493, 492, 484, 487, 486, 504, 605, 598, 596, 536], [157, 78, 315, 236, 473, 394, 631, 552], [49, 135, 77, 20, 21, 9, 7, 119, 118, 116, 35, 32, 33, 36, 37, 83, 53, 58, 59, 56, 57, 128, 120, 96, 126, 65, 64, 63, 207, 293, 235, 178, 179, 167, 165, 277, 276, 274, 193, 190, 191, 194, 195, 241, 211, 216, 217, 214, 215, 286, 278, 254, 284, 223, 222, 221, 365, 451, 393, 336, 337, 325, 323, 435, 434, 432, 351, 348, 349, 352, 353, 399, 369, 374, 375, 372, 373, 444, 436, 412, 442, 381, 380, 379, 523, 609, 551, 494, 495, 483, 481, 593, 592, 590, 509, 506, 507, 510, 511, 557, 527, 532, 533, 530, 531, 602, 594, 570, 600, 539, 538, 537]]
Total program runtime: 1.173 seconds

real 1.50
user 3.76
sys 0.49
