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

Decomposed topology into 16 subproblems
Topological decomposition took 0.149 seconds
Subproblem verification time: 0.306 seconds
Subproblem verification time: 0.074 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.077 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.078 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.071 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.072 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.074 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.064 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.073 seconds
Minimum batches required: 3
[[55, 148, 54, 28, 142, 29, 139, 133, 123, 130, 70, 77, 116, 121, 110, 107, 67, 102, 114, 120, 115, 204, 297, 203, 177, 291, 178, 288, 282, 272, 279, 219, 226, 265, 270, 259, 256, 216, 251, 263, 269, 264, 353, 446, 352, 326, 440, 327, 437, 431, 421, 428, 368, 375, 414, 419, 408, 405, 365, 400, 412, 418, 413, 502, 595, 501, 475, 589, 476, 586, 580, 570, 577, 517, 524, 563, 568, 557, 554, 514, 549, 561, 567, 562, 651, 744, 650, 624, 738, 625, 735, 729, 719, 726, 666, 673, 712, 717, 706, 703, 663, 698, 710, 716, 711, 800, 893, 799, 773, 887, 774, 884, 878, 868, 875, 815, 822, 861, 866, 855, 852, 812, 847, 859, 865, 860, 949, 1042, 948, 922, 1036, 923, 1033, 1027, 1017, 1024, 964, 971, 1010, 1015, 1004, 1001, 961, 996, 1008, 1014, 1009, 1098, 1191, 1097, 1071, 1185, 1072, 1182, 1176, 1166, 1173, 1113, 1120, 1159, 1164, 1153, 1150, 1110, 1145, 1157, 1163, 1158], [144, 52, 125, 131, 124, 293, 201, 274, 280, 273, 442, 350, 423, 429, 422, 591, 499, 572, 578, 571, 740, 648, 721, 727, 720, 889, 797, 870, 876, 869, 1038, 946, 1019, 1025, 1018, 1187, 1095, 1168, 1174, 1167], [53, 58, 117, 51, 140, 20, 3, 2, 128, 49, 127, 126, 64, 40, 202, 207, 266, 200, 289, 169, 152, 151, 277, 198, 276, 275, 213, 189, 351, 356, 415, 349, 438, 318, 301, 300, 426, 347, 425, 424, 362, 338, 500, 505, 564, 498, 587, 467, 450, 449, 575, 496, 574, 573, 511, 487, 649, 654, 713, 647, 736, 616, 599, 598, 724, 645, 723, 722, 660, 636, 798, 803, 862, 796, 885, 765, 748, 747, 873, 794, 872, 871, 809, 785, 947, 952, 1011, 945, 1034, 914, 897, 896, 1022, 943, 1021, 1020, 958, 934, 1096, 1101, 1160, 1094, 1183, 1063, 1046, 1045, 1171, 1092, 1170, 1169, 1107, 1083]]
Total program runtime: 2.432 seconds

real 2.98
user 4.91
sys 0.72
