Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Oteglobe_4.json -R -O -V Low
DFA generation time: 0.024 seconds 
DFA states: 3 
DFA transitions: 297
Problem file: dataND/zoo_json_MF/Oteglobe_4.json
Switches to update: 256

Decomposed topology into 8 subproblems
Topological decomposition took 0.127 seconds
Subproblem verification time: 0.184 seconds
Subproblem verification time: 0.086 seconds
Subproblem verification time: 0.081 seconds
Subproblem verification time: 0.083 seconds
Subproblem verification time: 0.073 seconds
Subproblem verification time: 0.067 seconds
Subproblem verification time: 0.066 seconds
Subproblem verification time: 0.071 seconds
Minimum batches required: 3
[[51, 46, 29, 56, 25, 24, 20, 21, 26, 88, 89, 78, 142, 137, 120, 147, 116, 115, 111, 112, 117, 179, 180, 169, 233, 228, 211, 238, 207, 206, 202, 203, 208, 270, 271, 260, 324, 319, 302, 329, 298, 297, 293, 294, 299, 361, 362, 351, 415, 410, 393, 420, 389, 388, 384, 385, 390, 452, 453, 442, 506, 501, 484, 511, 480, 479, 475, 476, 481, 543, 544, 533, 597, 592, 575, 602, 571, 570, 566, 567, 572, 634, 635, 624, 688, 683, 666, 693, 662, 661, 657, 658, 663, 725, 726, 715], [55, 28, 146, 119, 237, 210, 328, 301, 419, 392, 510, 483, 601, 574, 692, 665], [15, 17, 4, 79, 80, 81, 75, 90, 87, 86, 18, 44, 58, 57, 33, 65, 31, 63, 106, 108, 95, 170, 171, 172, 166, 181, 178, 177, 109, 135, 149, 148, 124, 156, 122, 154, 197, 199, 186, 261, 262, 263, 257, 272, 269, 268, 200, 226, 240, 239, 215, 247, 213, 245, 288, 290, 277, 352, 353, 354, 348, 363, 360, 359, 291, 317, 331, 330, 306, 338, 304, 336, 379, 381, 368, 443, 444, 445, 439, 454, 451, 450, 382, 408, 422, 421, 397, 429, 395, 427, 470, 472, 459, 534, 535, 536, 530, 545, 542, 541, 473, 499, 513, 512, 488, 520, 486, 518, 561, 563, 550, 625, 626, 627, 621, 636, 633, 632, 564, 590, 604, 603, 579, 611, 577, 609, 652, 654, 641, 716, 717, 718, 712, 727, 724, 723, 655, 681, 695, 694, 670, 702, 668, 700]]
Total program runtime: 1.525 seconds

real 1.84
user 4.47
sys 0.50
