Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint8/GtsCe_4.json -R -O -V Low
DFA generation time: 0.44 seconds 
DFA states: 513 
DFA transitions: 2680
Problem file: data/zoo_json_waypoint8/GtsCe_4.json
Switches to update: 352

Decomposed topology into 8 subproblems
Topological decomposition took 0.495 seconds
Subproblem verification time: 0.17 seconds
Subproblem verification time: 0.042 seconds
Subproblem verification time: 0.046 seconds
Subproblem verification time: 0.045 seconds
Subproblem verification time: 0.038 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.048 seconds
Subproblem verification time: 0.04 seconds
Minimum batches required: 3
[[53, 20, 58, 117, 51, 140, 134, 141, 124, 131, 15, 125, 3, 2, 128, 45, 44, 41, 101, 198, 165, 203, 262, 196, 285, 279, 286, 269, 276, 160, 270, 148, 147, 273, 190, 189, 186, 246, 343, 310, 348, 407, 341, 430, 424, 431, 414, 421, 305, 415, 293, 292, 418, 335, 334, 331, 391, 488, 455, 493, 552, 486, 575, 569, 576, 559, 566, 450, 560, 438, 437, 563, 480, 479, 476, 536, 633, 600, 638, 697, 631, 720, 714, 721, 704, 711, 595, 705, 583, 582, 708, 625, 624, 621, 681, 778, 745, 783, 842, 776, 865, 859, 866, 849, 856, 740, 850, 728, 727, 853, 770, 769, 766, 826, 923, 890, 928, 987, 921, 1010, 1004, 1011, 994, 1001, 885, 995, 873, 872, 998, 915, 914, 911, 971, 1068, 1035, 1073, 1132, 1066, 1155, 1149, 1156, 1139, 1146, 1030, 1140, 1018, 1017, 1143, 1060, 1059, 1056, 1116], [144, 52, 289, 197, 434, 342, 579, 487, 724, 632, 869, 777, 1014, 922, 1159, 1067], [55, 54, 28, 142, 29, 139, 27, 24, 25, 89, 88, 71, 129, 33, 61, 130, 114, 115, 116, 121, 110, 107, 67, 200, 199, 173, 287, 174, 284, 172, 169, 170, 234, 233, 216, 274, 178, 206, 275, 259, 260, 261, 266, 255, 252, 212, 345, 344, 318, 432, 319, 429, 317, 314, 315, 379, 378, 361, 419, 323, 351, 420, 404, 405, 406, 411, 400, 397, 357, 490, 489, 463, 577, 464, 574, 462, 459, 460, 524, 523, 506, 564, 468, 496, 565, 549, 550, 551, 556, 545, 542, 502, 635, 634, 608, 722, 609, 719, 607, 604, 605, 669, 668, 651, 709, 613, 641, 710, 694, 695, 696, 701, 690, 687, 647, 780, 779, 753, 867, 754, 864, 752, 749, 750, 814, 813, 796, 854, 758, 786, 855, 839, 840, 841, 846, 835, 832, 792, 925, 924, 898, 1012, 899, 1009, 897, 894, 895, 959, 958, 941, 999, 903, 931, 1000, 984, 985, 986, 991, 980, 977, 937, 1070, 1069, 1043, 1157, 1044, 1154, 1042, 1039, 1040, 1104, 1103, 1086, 1144, 1048, 1076, 1145, 1129, 1130, 1131, 1136, 1125, 1122, 1082]]
Total program runtime: 2.063 seconds

real 2.41
user 7.27
sys 0.62
