Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/DialtelecomCz_4.json -R -O -V Low
DFA generation time: 0.03 seconds 
DFA states: 3 
DFA transitions: 425
Problem file: data/zoo_json_reachability/DialtelecomCz_4.json
Switches to update: 400

Decomposed topology into 8 subproblems
Topological decomposition took 0.179 seconds
Subproblem verification time: 0.17 seconds
Subproblem verification time: 0.038 seconds
Subproblem verification time: 0.039 seconds
Subproblem verification time: 0.038 seconds
Subproblem verification time: 0.038 seconds
Subproblem verification time: 0.037 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.037 seconds
Minimum batches required: 3
[[167, 90, 93, 170, 110, 103, 66, 80, 62, 145, 67, 70, 144, 71, 72, 73, 132, 135, 134, 137, 187, 186, 143, 98, 152, 146, 42, 40, 41, 46, 172, 164, 2, 360, 283, 286, 363, 303, 296, 259, 273, 255, 338, 260, 263, 337, 264, 265, 266, 325, 328, 327, 330, 380, 379, 336, 291, 345, 339, 235, 233, 234, 239, 365, 357, 195, 553, 476, 479, 556, 496, 489, 452, 466, 448, 531, 453, 456, 530, 457, 458, 459, 518, 521, 520, 523, 573, 572, 529, 484, 538, 532, 428, 426, 427, 432, 558, 550, 388, 746, 669, 672, 749, 689, 682, 645, 659, 641, 724, 646, 649, 723, 650, 651, 652, 711, 714, 713, 716, 766, 765, 722, 677, 731, 725, 621, 619, 620, 625, 751, 743, 581, 939, 862, 865, 942, 882, 875, 838, 852, 834, 917, 839, 842, 916, 843, 844, 845, 904, 907, 906, 909, 959, 958, 915, 870, 924, 918, 814, 812, 813, 818, 944, 936, 774, 1132, 1055, 1058, 1135, 1075, 1068, 1031, 1045, 1027, 1110, 1032, 1035, 1109, 1036, 1037, 1038, 1097, 1100, 1099, 1102, 1152, 1151, 1108, 1063, 1117, 1111, 1007, 1005, 1006, 1011, 1137, 1129, 967, 1325, 1248, 1251, 1328, 1268, 1261, 1224, 1238, 1220, 1303, 1225, 1228, 1302, 1229, 1230, 1231, 1290, 1293, 1292, 1295, 1345, 1344, 1301, 1256, 1310, 1304, 1200, 1198, 1199, 1204, 1330, 1322, 1160, 1518, 1441, 1444, 1521, 1461, 1454, 1417, 1431, 1413, 1496, 1418, 1421, 1495, 1422, 1423, 1424, 1483, 1486, 1485, 1488, 1538, 1537, 1494, 1449, 1503, 1497, 1393, 1391, 1392, 1397, 1523, 1515, 1353], [106, 299, 492, 685, 878, 1071, 1264, 1457], [108, 109, 104, 83, 82, 89, 11, 10, 31, 38, 138, 112, 121, 117, 115, 1, 301, 302, 297, 276, 275, 282, 204, 203, 224, 231, 331, 305, 314, 310, 308, 194, 494, 495, 490, 469, 468, 475, 397, 396, 417, 424, 524, 498, 507, 503, 501, 387, 687, 688, 683, 662, 661, 668, 590, 589, 610, 617, 717, 691, 700, 696, 694, 580, 880, 881, 876, 855, 854, 861, 783, 782, 803, 810, 910, 884, 893, 889, 887, 773, 1073, 1074, 1069, 1048, 1047, 1054, 976, 975, 996, 1003, 1103, 1077, 1086, 1082, 1080, 966, 1266, 1267, 1262, 1241, 1240, 1247, 1169, 1168, 1189, 1196, 1296, 1270, 1279, 1275, 1273, 1159, 1459, 1460, 1455, 1434, 1433, 1440, 1362, 1361, 1382, 1389, 1489, 1463, 1472, 1468, 1466, 1352]]
Total program runtime: 1.393 seconds

real 1.76
user 4.51
sys 0.42
