Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Ion_4.json -R -O -V Low
DFA generation time: 0.023 seconds 
DFA states: 3 
DFA transitions: 481
Problem file: dataND/zoo_json_MF/Ion_4.json
Switches to update: 448

Decomposed topology into 8 subproblems
Topological decomposition took 0.204 seconds
Subproblem verification time: 0.423 seconds
Subproblem verification time: 0.11 seconds
Subproblem verification time: 0.12 seconds
Subproblem verification time: 0.104 seconds
Subproblem verification time: 0.107 seconds
Subproblem verification time: 0.097 seconds
Subproblem verification time: 0.099 seconds
Subproblem verification time: 0.121 seconds
Minimum batches required: 4
[[5, 106, 123, 76, 3, 2, 99, 108, 107, 26, 87, 66, 63, 96, 90, 89, 115, 117, 72, 51, 52, 93, 45, 54, 21, 130, 231, 248, 201, 128, 127, 224, 233, 232, 151, 212, 191, 188, 221, 215, 214, 240, 242, 197, 176, 177, 218, 170, 179, 146, 255, 356, 373, 326, 253, 252, 349, 358, 357, 276, 337, 316, 313, 346, 340, 339, 365, 367, 322, 301, 302, 343, 295, 304, 271, 380, 481, 498, 451, 378, 377, 474, 483, 482, 401, 462, 441, 438, 471, 465, 464, 490, 492, 447, 426, 427, 468, 420, 429, 396, 505, 606, 623, 576, 503, 502, 599, 608, 607, 526, 587, 566, 563, 596, 590, 589, 615, 617, 572, 551, 552, 593, 545, 554, 521, 630, 731, 748, 701, 628, 627, 724, 733, 732, 651, 712, 691, 688, 721, 715, 714, 740, 742, 697, 676, 677, 718, 670, 679, 646, 755, 856, 873, 826, 753, 752, 849, 858, 857, 776, 837, 816, 813, 846, 840, 839, 865, 867, 822, 801, 802, 843, 795, 804, 771, 880, 981, 998, 951, 878, 877, 974, 983, 982, 901, 962, 941, 938, 971, 965, 964, 990, 992, 947, 926, 927, 968, 920, 929, 896], [110, 48, 29, 103, 235, 173, 154, 228, 360, 298, 279, 353, 485, 423, 404, 478, 610, 548, 529, 603, 735, 673, 654, 728, 860, 798, 779, 853, 985, 923, 904, 978], [74, 105, 199, 230, 324, 355, 449, 480, 574, 605, 699, 730, 824, 855, 949, 980], [34, 33, 100, 8, 92, 58, 10, 11, 18, 13, 19, 59, 124, 60, 78, 77, 80, 22, 73, 67, 86, 83, 94, 81, 82, 159, 158, 225, 133, 217, 183, 135, 136, 143, 138, 144, 184, 249, 185, 203, 202, 205, 147, 198, 192, 211, 208, 219, 206, 207, 284, 283, 350, 258, 342, 308, 260, 261, 268, 263, 269, 309, 374, 310, 328, 327, 330, 272, 323, 317, 336, 333, 344, 331, 332, 409, 408, 475, 383, 467, 433, 385, 386, 393, 388, 394, 434, 499, 435, 453, 452, 455, 397, 448, 442, 461, 458, 469, 456, 457, 534, 533, 600, 508, 592, 558, 510, 511, 518, 513, 519, 559, 624, 560, 578, 577, 580, 522, 573, 567, 586, 583, 594, 581, 582, 659, 658, 725, 633, 717, 683, 635, 636, 643, 638, 644, 684, 749, 685, 703, 702, 705, 647, 698, 692, 711, 708, 719, 706, 707, 784, 783, 850, 758, 842, 808, 760, 761, 768, 763, 769, 809, 874, 810, 828, 827, 830, 772, 823, 817, 836, 833, 844, 831, 832, 909, 908, 975, 883, 967, 933, 885, 886, 893, 888, 894, 934, 999, 935, 953, 952, 955, 897, 948, 942, 961, 958, 969, 956, 957]]
Total program runtime: 2.224 seconds

real 2.52
user 5.69
sys 0.53
