Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/GtsCe_4.json -R -O -V Low
DFA generation time: 0.026 seconds 
DFA states: 3 
DFA transitions: 313
Problem file: data/zoo_json_reachability/GtsCe_4.json
Switches to update: 280

Decomposed topology into 24 subproblems
Topological decomposition took 0.139 seconds
Subproblem verification time: 0.149 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.043 seconds
Subproblem verification time: 0.023 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.032 seconds
Minimum batches required: 3
[[55, 148, 54, 28, 142, 29, 139, 133, 123, 70, 77, 116, 121, 110, 107, 67, 102, 204, 297, 203, 177, 291, 178, 288, 282, 272, 219, 226, 265, 270, 259, 256, 216, 251, 353, 446, 352, 326, 440, 327, 437, 431, 421, 368, 375, 414, 419, 408, 405, 365, 400, 502, 595, 501, 475, 589, 476, 586, 580, 570, 517, 524, 563, 568, 557, 554, 514, 549, 651, 744, 650, 624, 738, 625, 735, 729, 719, 666, 673, 712, 717, 706, 703, 663, 698, 800, 893, 799, 773, 887, 774, 884, 878, 868, 815, 822, 861, 866, 855, 852, 812, 847, 949, 1042, 948, 922, 1036, 923, 1033, 1027, 1017, 964, 971, 1010, 1015, 1004, 1001, 961, 996, 1098, 1191, 1097, 1071, 1185, 1072, 1182, 1176, 1166, 1113, 1120, 1159, 1164, 1153, 1150, 1110, 1145], [144, 52, 124, 125, 293, 201, 273, 274, 442, 350, 422, 423, 591, 499, 571, 572, 740, 648, 720, 721, 889, 797, 869, 870, 1038, 946, 1018, 1019, 1187, 1095, 1167, 1168], [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: 1.748 seconds

real 2.10
user 4.61
sys 0.66
