Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint4/Colt_4.json -R -O -V Low
DFA generation time: 0.057 seconds 
DFA states: 33 
DFA transitions: 400
Problem file: data/zoo_json_waypoint4/Colt_4.json
Switches to update: 296

Decomposed topology into 16 subproblems
Topological decomposition took 0.186 seconds
Subproblem verification time: 0.156 seconds
Subproblem verification time: 0.043 seconds
Subproblem verification time: 0.069 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.064 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.065 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.062 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.059 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.066 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.06 seconds
Subproblem verification time: 0.034 seconds
Minimum batches required: 3
[[58, 53, 136, 17, 14, 141, 12, 139, 66, 123, 82, 138, 68, 211, 206, 289, 170, 167, 294, 165, 292, 219, 276, 235, 291, 221, 364, 359, 442, 323, 320, 447, 318, 445, 372, 429, 388, 444, 374, 517, 512, 595, 476, 473, 600, 471, 598, 525, 582, 541, 597, 527, 670, 665, 748, 629, 626, 753, 624, 751, 678, 735, 694, 750, 680, 823, 818, 901, 782, 779, 906, 777, 904, 831, 888, 847, 903, 833, 976, 971, 1054, 935, 932, 1059, 930, 1057, 984, 1041, 1000, 1056, 986, 1129, 1124, 1207, 1088, 1085, 1212, 1083, 1210, 1137, 1194, 1153, 1209, 1139], [51, 50, 59, 152, 118, 204, 203, 212, 305, 271, 357, 356, 365, 458, 424, 510, 509, 518, 611, 577, 663, 662, 671, 764, 730, 816, 815, 824, 917, 883, 969, 968, 977, 1070, 1036, 1122, 1121, 1130, 1223, 1189], [56, 2, 144, 5, 11, 10, 13, 119, 117, 74, 125, 63, 126, 64, 72, 109, 112, 111, 107, 209, 155, 297, 158, 164, 163, 166, 272, 270, 227, 278, 216, 279, 217, 225, 262, 265, 264, 260, 362, 308, 450, 311, 317, 316, 319, 425, 423, 380, 431, 369, 432, 370, 378, 415, 418, 417, 413, 515, 461, 603, 464, 470, 469, 472, 578, 576, 533, 584, 522, 585, 523, 531, 568, 571, 570, 566, 668, 614, 756, 617, 623, 622, 625, 731, 729, 686, 737, 675, 738, 676, 684, 721, 724, 723, 719, 821, 767, 909, 770, 776, 775, 778, 884, 882, 839, 890, 828, 891, 829, 837, 874, 877, 876, 872, 974, 920, 1062, 923, 929, 928, 931, 1037, 1035, 992, 1043, 981, 1044, 982, 990, 1027, 1030, 1029, 1025, 1127, 1073, 1215, 1076, 1082, 1081, 1084, 1190, 1188, 1145, 1196, 1134, 1197, 1135, 1143, 1180, 1183, 1182, 1178]]
Total program runtime: 1.864 seconds

real 2.19
user 4.88
sys 0.68
