Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Kdl_2.json -R -O -V Low
DFA generation time: 0.022 seconds 
DFA states: 3 
DFA transitions: 235
Problem file: dataND/zoo_json_MF/Kdl_2.json
Switches to update: 216

Decomposed topology into 2 subproblems
Topological decomposition took 0.086 seconds
Subproblem verification time: 0.224 seconds
Subproblem verification time: 0.116 seconds
Minimum batches required: 3
[[408, 683, 240, 681, 684, 299, 682, 410, 633, 631, 469, 468, 471, 470, 473, 637, 353, 356, 355, 360, 357, 358, 676, 680, 679, 678, 677, 293, 495, 87, 98, 95, 209, 207, 204, 242, 512, 509, 508, 624, 309, 316, 314, 321, 458, 545, 546, 150, 427, 1159, 1434, 991, 1432, 1435, 1050, 1433, 1161, 1384, 1382, 1220, 1219, 1222, 1221, 1224, 1388, 1104, 1107, 1106, 1111, 1108, 1109, 1427, 1431, 1430, 1429, 1428, 1044, 1246, 838, 849, 846, 960, 958, 955, 993, 1263, 1260, 1259, 1375, 1060, 1067, 1065, 1072, 1209, 1296, 1297, 901, 1178], [505, 686, 1256, 1437], [685, 396, 395, 480, 481, 482, 465, 483, 476, 478, 697, 456, 667, 462, 472, 590, 268, 266, 594, 253, 250, 44, 47, 52, 51, 48, 164, 168, 167, 503, 161, 162, 200, 247, 417, 418, 739, 273, 529, 704, 320, 690, 741, 742, 32, 33, 30, 31, 109, 108, 103, 100, 106, 540, 284, 525, 734, 1436, 1147, 1146, 1231, 1232, 1233, 1216, 1234, 1227, 1229, 1448, 1207, 1418, 1213, 1223, 1341, 1019, 1017, 1345, 1004, 1001, 795, 798, 803, 802, 799, 915, 919, 918, 1254, 912, 913, 951, 998, 1168, 1169, 1490, 1024, 1280, 1455, 1071, 1441, 1492, 1493, 783, 784, 781, 782, 860, 859, 854, 851, 857, 1291, 1035, 1276, 1485]]
Total program runtime: 1.044 seconds

real 1.36
user 3.57
sys 0.25
