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

Decomposed topology into 8 subproblems
Topological decomposition took 0.109 seconds
Subproblem verification time: 0.171 seconds
Subproblem verification time: 0.078 seconds
Subproblem verification time: 0.081 seconds
Subproblem verification time: 0.077 seconds
Subproblem verification time: 0.072 seconds
Subproblem verification time: 0.103 seconds
Subproblem verification time: 0.08 seconds
Subproblem verification time: 0.079 seconds
Minimum batches required: 3
[[58, 37, 16, 38, 49, 63, 64, 66, 125, 104, 83, 105, 116, 130, 131, 133, 192, 171, 150, 172, 183, 197, 198, 200, 259, 238, 217, 239, 250, 264, 265, 267, 326, 305, 284, 306, 317, 331, 332, 334, 393, 372, 351, 373, 384, 398, 399, 401, 460, 439, 418, 440, 451, 465, 466, 468, 527, 506, 485, 507, 518, 532, 533, 535], [65, 17, 33, 132, 84, 100, 199, 151, 167, 266, 218, 234, 333, 285, 301, 400, 352, 368, 467, 419, 435, 534, 486, 502], [21, 23, 40, 39, 42, 41, 30, 14, 11, 4, 7, 34, 62, 61, 60, 59, 56, 57, 88, 90, 107, 106, 109, 108, 97, 81, 78, 71, 74, 101, 129, 128, 127, 126, 123, 124, 155, 157, 174, 173, 176, 175, 164, 148, 145, 138, 141, 168, 196, 195, 194, 193, 190, 191, 222, 224, 241, 240, 243, 242, 231, 215, 212, 205, 208, 235, 263, 262, 261, 260, 257, 258, 289, 291, 308, 307, 310, 309, 298, 282, 279, 272, 275, 302, 330, 329, 328, 327, 324, 325, 356, 358, 375, 374, 377, 376, 365, 349, 346, 339, 342, 369, 397, 396, 395, 394, 391, 392, 423, 425, 442, 441, 444, 443, 432, 416, 413, 406, 409, 436, 464, 463, 462, 461, 458, 459, 490, 492, 509, 508, 511, 510, 499, 483, 480, 473, 476, 503, 531, 530, 529, 528, 525, 526]]
Total program runtime: 1.507 seconds

real 1.86
user 4.36
sys 0.52
