Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Deltacom_4.json -R -O -V Low
DFA generation time: 0.026 seconds 
DFA states: 3 
DFA transitions: 377
Problem file: dataND/zoo_json_MF/Deltacom_4.json
Switches to update: 296

Decomposed topology into 16 subproblems
Topological decomposition took 0.167 seconds
Subproblem verification time: 0.097 seconds
Subproblem verification time: 0.075 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.073 seconds
Subproblem verification time: 0.041 seconds
Subproblem verification time: 0.08 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.078 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.076 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.073 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.076 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.071 seconds
Minimum batches required: 3
[[110, 58, 21, 60, 89, 26, 90, 54, 111, 104, 223, 171, 134, 173, 202, 139, 203, 167, 224, 217, 336, 284, 247, 286, 315, 252, 316, 280, 337, 330, 449, 397, 360, 399, 428, 365, 429, 393, 450, 443, 562, 510, 473, 512, 541, 478, 542, 506, 563, 556, 675, 623, 586, 625, 654, 591, 655, 619, 676, 669, 788, 736, 699, 738, 767, 704, 768, 732, 789, 782, 901, 849, 812, 851, 880, 817, 881, 845, 902, 895], [109, 25, 47, 20, 222, 138, 160, 133, 335, 251, 273, 246, 448, 364, 386, 359, 561, 477, 499, 472, 674, 590, 612, 585, 787, 703, 725, 698, 900, 816, 838, 811], [108, 107, 106, 22, 83, 27, 24, 95, 94, 93, 88, 3, 73, 98, 99, 112, 31, 36, 92, 91, 50, 51, 37, 221, 220, 219, 135, 196, 140, 137, 208, 207, 206, 201, 116, 186, 211, 212, 225, 144, 149, 205, 204, 163, 164, 150, 334, 333, 332, 248, 309, 253, 250, 321, 320, 319, 314, 229, 299, 324, 325, 338, 257, 262, 318, 317, 276, 277, 263, 447, 446, 445, 361, 422, 366, 363, 434, 433, 432, 427, 342, 412, 437, 438, 451, 370, 375, 431, 430, 389, 390, 376, 560, 559, 558, 474, 535, 479, 476, 547, 546, 545, 540, 455, 525, 550, 551, 564, 483, 488, 544, 543, 502, 503, 489, 673, 672, 671, 587, 648, 592, 589, 660, 659, 658, 653, 568, 638, 663, 664, 677, 596, 601, 657, 656, 615, 616, 602, 786, 785, 784, 700, 761, 705, 702, 773, 772, 771, 766, 681, 751, 776, 777, 790, 709, 714, 770, 769, 728, 729, 715, 899, 898, 897, 813, 874, 818, 815, 886, 885, 884, 879, 794, 864, 889, 890, 903, 822, 827, 883, 882, 841, 842, 828]]
Total program runtime: 2.036 seconds

real 2.34
user 4.84
sys 0.62
