Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/UsCarrier_3.json -R -O -V Low
DFA generation time: 0.019 seconds 
DFA states: 3 
DFA transitions: 289
Problem file: data/zoo_json_reachability/UsCarrier_3.json
Switches to update: 240

Decomposed topology into 16 subproblems
Topological decomposition took 0.131 seconds
Subproblem verification time: 0.131 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.04 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.04 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.029 seconds
Minimum batches required: 3
[[63, 64, 65, 126, 96, 120, 129, 56, 85, 59, 58, 53, 83, 38, 39, 33, 32, 35, 116, 118, 119, 1, 103, 133, 138, 139, 140, 141, 134, 136, 135, 93, 94, 88, 89, 115, 211, 212, 213, 274, 244, 268, 277, 204, 233, 207, 206, 201, 231, 186, 187, 181, 180, 183, 264, 266, 267, 149, 251, 281, 286, 287, 288, 289, 282, 284, 283, 241, 242, 236, 237, 263, 359, 360, 361, 422, 392, 416, 425, 352, 381, 355, 354, 349, 379, 334, 335, 329, 328, 331, 412, 414, 415, 297, 399, 429, 434, 435, 436, 437, 430, 432, 431, 389, 390, 384, 385, 411, 507, 508, 509, 570, 540, 564, 573, 500, 529, 503, 502, 497, 527, 482, 483, 477, 476, 479, 560, 562, 563, 445, 547, 577, 582, 583, 584, 585, 578, 580, 579, 537, 538, 532, 533, 559], [79, 127, 7, 57, 92, 227, 275, 155, 205, 240, 375, 423, 303, 353, 388, 523, 571, 451, 501, 536], [62, 50, 124, 131, 30, 12, 13, 10, 18, 67, 106, 109, 9, 21, 20, 75, 111, 110, 113, 210, 198, 272, 279, 178, 160, 161, 158, 166, 215, 254, 257, 157, 169, 168, 223, 259, 258, 261, 358, 346, 420, 427, 326, 308, 309, 306, 314, 363, 402, 405, 305, 317, 316, 371, 407, 406, 409, 506, 494, 568, 575, 474, 456, 457, 454, 462, 511, 550, 553, 453, 465, 464, 519, 555, 554, 557]]
Total program runtime: 1.484 seconds

real 1.81
user 4.29
sys 0.64
