Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Columbus_4.json -R -O -V Low
DFA generation time: 0.028 seconds 
DFA states: 3 
DFA transitions: 369
Problem file: dataND/zoo_json_MF/Columbus_4.json
Switches to update: 320

Decomposed topology into 8 subproblems
Topological decomposition took 0.136 seconds
Subproblem verification time: 0.17 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.038 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.038 seconds
Subproblem verification time: 0.037 seconds
Subproblem verification time: 0.036 seconds
Minimum batches required: 3
[[25, 24, 22, 54, 50, 57, 56, 55, 16, 39, 17, 58, 59, 44, 30, 31, 26, 15, 12, 66, 45, 49, 40, 41, 38, 42, 33, 93, 92, 90, 122, 118, 125, 124, 123, 84, 107, 85, 126, 127, 112, 98, 99, 94, 83, 80, 134, 113, 117, 108, 109, 106, 110, 101, 161, 160, 158, 190, 186, 193, 192, 191, 152, 175, 153, 194, 195, 180, 166, 167, 162, 151, 148, 202, 181, 185, 176, 177, 174, 178, 169, 229, 228, 226, 258, 254, 261, 260, 259, 220, 243, 221, 262, 263, 248, 234, 235, 230, 219, 216, 270, 249, 253, 244, 245, 242, 246, 237, 297, 296, 294, 326, 322, 329, 328, 327, 288, 311, 289, 330, 331, 316, 302, 303, 298, 287, 284, 338, 317, 321, 312, 313, 310, 314, 305, 365, 364, 362, 394, 390, 397, 396, 395, 356, 379, 357, 398, 399, 384, 370, 371, 366, 355, 352, 406, 385, 389, 380, 381, 378, 382, 373, 433, 432, 430, 462, 458, 465, 464, 463, 424, 447, 425, 466, 467, 452, 438, 439, 434, 423, 420, 474, 453, 457, 448, 449, 446, 450, 441, 501, 500, 498, 530, 526, 533, 532, 531, 492, 515, 493, 534, 535, 520, 506, 507, 502, 491, 488, 542, 521, 525, 516, 517, 514, 518, 509], [53, 121, 189, 257, 325, 393, 461, 529], [11, 5, 4, 7, 1, 34, 3, 2, 9, 46, 29, 67, 79, 73, 72, 75, 69, 102, 71, 70, 77, 114, 97, 135, 147, 141, 140, 143, 137, 170, 139, 138, 145, 182, 165, 203, 215, 209, 208, 211, 205, 238, 207, 206, 213, 250, 233, 271, 283, 277, 276, 279, 273, 306, 275, 274, 281, 318, 301, 339, 351, 345, 344, 347, 341, 374, 343, 342, 349, 386, 369, 407, 419, 413, 412, 415, 409, 442, 411, 410, 417, 454, 437, 475, 487, 481, 480, 483, 477, 510, 479, 478, 485, 522, 505, 543]]
Total program runtime: 1.25 seconds

real 1.63
user 4.13
sys 0.52
