Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/UsSignal_4.json -R -O -V Low
DFA generation time: 0.021 seconds 
DFA states: 3 
DFA transitions: 257
Problem file: dataND/zoo_json_MF/UsSignal_4.json
Switches to update: 248

Decomposed topology into 8 subproblems
Topological decomposition took 0.147 seconds
Subproblem verification time: 0.119 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.037 seconds
Subproblem verification time: 0.026 seconds
Subproblem verification time: 0.049 seconds
Subproblem verification time: 0.039 seconds
Subproblem verification time: 0.033 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, 29, 30, 42, 41, 14, 91, 76, 75, 114, 115, 108, 109, 110, 111, 74, 63, 66, 64, 92, 93, 105, 104, 77, 154, 139, 138, 177, 178, 171, 172, 173, 174, 137, 126, 129, 127, 155, 156, 168, 167, 140, 217, 202, 201, 240, 241, 234, 235, 236, 237, 200, 189, 192, 190, 218, 219, 231, 230, 203, 280, 265, 264, 303, 304, 297, 298, 299, 300, 263, 252, 255, 253, 281, 282, 294, 293, 266, 343, 328, 327, 366, 367, 360, 361, 362, 363, 326, 315, 318, 316, 344, 345, 357, 356, 329, 406, 391, 390, 429, 430, 423, 424, 425, 426, 389, 378, 381, 379, 407, 408, 420, 419, 392, 469, 454, 453, 492, 493, 486, 487, 488, 489, 452, 441, 444, 442, 470, 471, 483, 482, 455]]
Total program runtime: 1.174 seconds

real 1.50
user 3.88
sys 0.42
