Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/UsSignal_4.json -R -O -V Low
DFA generation time: 0.024 seconds 
DFA states: 3 
DFA transitions: 217
Problem file: data/zoo_json_reachability/UsSignal_4.json
Switches to update: 208

Decomposed topology into 8 subproblems
Topological decomposition took 0.089 seconds
Subproblem verification time: 0.114 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.037 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.052 seconds
Subproblem verification time: 0.04 seconds
Subproblem verification time: 0.034 seconds
Minimum batches required: 3
[[33, 55, 56, 57, 58, 59, 60, 34, 62, 53, 54, 2, 96, 118, 119, 120, 121, 122, 123, 97, 125, 116, 117, 65, 159, 181, 182, 183, 184, 185, 186, 160, 188, 179, 180, 128, 222, 244, 245, 246, 247, 248, 249, 223, 251, 242, 243, 191, 285, 307, 308, 309, 310, 311, 312, 286, 314, 305, 306, 254, 348, 370, 371, 372, 373, 374, 375, 349, 377, 368, 369, 317, 411, 433, 434, 435, 436, 437, 438, 412, 440, 431, 432, 380, 474, 496, 497, 498, 499, 500, 501, 475, 503, 494, 495, 443], [31, 94, 157, 220, 283, 346, 409, 472], [28, 13, 12, 51, 52, 45, 46, 47, 48, 11, 0, 3, 1, 91, 76, 75, 114, 115, 108, 109, 110, 111, 74, 63, 66, 64, 154, 139, 138, 177, 178, 171, 172, 173, 174, 137, 126, 129, 127, 217, 202, 201, 240, 241, 234, 235, 236, 237, 200, 189, 192, 190, 280, 265, 264, 303, 304, 297, 298, 299, 300, 263, 252, 255, 253, 343, 328, 327, 366, 367, 360, 361, 362, 363, 326, 315, 318, 316, 406, 391, 390, 429, 430, 423, 424, 425, 426, 389, 378, 381, 379, 469, 454, 453, 492, 493, 486, 487, 488, 489, 452, 441, 444, 442]]
Total program runtime: 1.14 seconds

real 1.51
user 3.48
sys 0.45
