Version: 1.15 
 verifypn-linux64 data/zoo_json_cond_enf1/DialtelecomCz_4.json -R -O -V Low
DFA generation time: 0.048 seconds 
DFA states: 7 
DFA transitions: 997
Problem file: data/zoo_json_cond_enf1/DialtelecomCz_4.json
Switches to update: 480

Decomposed topology into 8 subproblems
Topological decomposition took 0.22 seconds
Subproblem verification time: 0.228 seconds
Subproblem verification time: 0.064 seconds
Subproblem verification time: 0.058 seconds
Subproblem verification time: 0.056 seconds
Subproblem verification time: 0.058 seconds
Subproblem verification time: 0.054 seconds
Subproblem verification time: 0.058 seconds
Subproblem verification time: 0.055 seconds
Minimum batches required: 5
[[156, 137, 155, 173, 149, 147, 148, 153, 152, 98, 134, 135, 132, 73, 72, 71, 144, 70, 67, 69, 168, 61, 122, 125, 344, 325, 343, 361, 337, 335, 336, 341, 340, 286, 322, 323, 320, 261, 260, 259, 332, 258, 255, 257, 356, 249, 310, 313, 532, 513, 531, 549, 525, 523, 524, 529, 528, 474, 510, 511, 508, 449, 448, 447, 520, 446, 443, 445, 544, 437, 498, 501, 720, 701, 719, 737, 713, 711, 712, 717, 716, 662, 698, 699, 696, 637, 636, 635, 708, 634, 631, 633, 732, 625, 686, 689, 908, 889, 907, 925, 901, 899, 900, 905, 904, 850, 886, 887, 884, 825, 824, 823, 896, 822, 819, 821, 920, 813, 874, 877, 1096, 1077, 1095, 1113, 1089, 1087, 1088, 1093, 1092, 1038, 1074, 1075, 1072, 1013, 1012, 1011, 1084, 1010, 1007, 1009, 1108, 1001, 1062, 1065, 1284, 1265, 1283, 1301, 1277, 1275, 1276, 1281, 1280, 1226, 1262, 1263, 1260, 1201, 1200, 1199, 1272, 1198, 1195, 1197, 1296, 1189, 1250, 1253, 1472, 1453, 1471, 1489, 1465, 1463, 1464, 1469, 1468, 1414, 1450, 1451, 1448, 1389, 1388, 1387, 1460, 1386, 1383, 1385, 1484, 1377, 1438, 1441], [187, 159, 375, 347, 563, 535, 751, 723, 939, 911, 1127, 1099, 1315, 1287, 1503, 1475], [186, 374, 562, 750, 938, 1126, 1314, 1502], [143, 331, 519, 707, 895, 1083, 1271, 1459], [44, 45, 49, 172, 164, 2, 171, 1, 115, 117, 121, 112, 138, 139, 179, 180, 181, 183, 50, 56, 59, 169, 53, 58, 28, 26, 20, 23, 131, 128, 129, 126, 232, 233, 237, 360, 352, 190, 359, 189, 303, 305, 309, 300, 326, 327, 367, 368, 369, 371, 238, 244, 247, 357, 241, 246, 216, 214, 208, 211, 319, 316, 317, 314, 420, 421, 425, 548, 540, 378, 547, 377, 491, 493, 497, 488, 514, 515, 555, 556, 557, 559, 426, 432, 435, 545, 429, 434, 404, 402, 396, 399, 507, 504, 505, 502, 608, 609, 613, 736, 728, 566, 735, 565, 679, 681, 685, 676, 702, 703, 743, 744, 745, 747, 614, 620, 623, 733, 617, 622, 592, 590, 584, 587, 695, 692, 693, 690, 796, 797, 801, 924, 916, 754, 923, 753, 867, 869, 873, 864, 890, 891, 931, 932, 933, 935, 802, 808, 811, 921, 805, 810, 780, 778, 772, 775, 883, 880, 881, 878, 984, 985, 989, 1112, 1104, 942, 1111, 941, 1055, 1057, 1061, 1052, 1078, 1079, 1119, 1120, 1121, 1123, 990, 996, 999, 1109, 993, 998, 968, 966, 960, 963, 1071, 1068, 1069, 1066, 1172, 1173, 1177, 1300, 1292, 1130, 1299, 1129, 1243, 1245, 1249, 1240, 1266, 1267, 1307, 1308, 1309, 1311, 1178, 1184, 1187, 1297, 1181, 1186, 1156, 1154, 1148, 1151, 1259, 1256, 1257, 1254, 1360, 1361, 1365, 1488, 1480, 1318, 1487, 1317, 1431, 1433, 1437, 1428, 1454, 1455, 1495, 1496, 1497, 1499, 1366, 1372, 1375, 1485, 1369, 1374, 1344, 1342, 1336, 1339, 1447, 1444, 1445, 1442]]
Total program runtime: 1.647 seconds

real 1.97
user 4.83
sys 0.46
