Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint2/TataNld_4.json -R -O -V Low
DFA generation time: 0.05 seconds 
DFA states: 9 
DFA transitions: 500
Problem file: data/zoo_json_waypoint2/TataNld_4.json
Switches to update: 464

Decomposed topology into 16 subproblems
Topological decomposition took 0.211 seconds
Subproblem verification time: 0.193 seconds
Subproblem verification time: 0.457 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.154 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.267 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.146 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.144 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.147 seconds
Subproblem verification time: 0.026 seconds
Subproblem verification time: 0.135 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.139 seconds
Minimum batches required: 5
[[139, 142, 43, 108, 40, 128, 71, 132, 126, 60, 69, 79, 56, 59, 58, 51, 131, 32, 117, 112, 282, 285, 186, 251, 183, 271, 214, 275, 269, 203, 212, 222, 199, 202, 201, 194, 274, 175, 260, 255, 425, 428, 329, 394, 326, 414, 357, 418, 412, 346, 355, 365, 342, 345, 344, 337, 417, 318, 403, 398, 568, 571, 472, 537, 469, 557, 500, 561, 555, 489, 498, 508, 485, 488, 487, 480, 560, 461, 546, 541, 711, 714, 615, 680, 612, 700, 643, 704, 698, 632, 641, 651, 628, 631, 630, 623, 703, 604, 689, 684, 854, 857, 758, 823, 755, 843, 786, 847, 841, 775, 784, 794, 771, 774, 773, 766, 846, 747, 832, 827, 997, 1000, 901, 966, 898, 986, 929, 990, 984, 918, 927, 937, 914, 917, 916, 909, 989, 890, 975, 970, 1140, 1143, 1044, 1109, 1041, 1129, 1072, 1133, 1127, 1061, 1070, 1080, 1057, 1060, 1059, 1052, 1132, 1033, 1118, 1113], [141, 137, 52, 95, 46, 284, 280, 195, 238, 189, 427, 423, 338, 332, 570, 566, 481, 524, 475, 713, 709, 624, 667, 618, 856, 852, 767, 810, 761, 999, 995, 910, 953, 904, 1142, 1138, 1053, 1096, 1047], [138, 140, 83, 86, 107, 136, 133, 88, 281, 283, 226, 229, 250, 279, 276, 231, 424, 426, 369, 372, 393, 422, 419, 374, 381, 567, 569, 512, 515, 536, 565, 562, 517, 710, 712, 655, 658, 679, 708, 705, 660, 853, 855, 798, 801, 822, 851, 848, 803, 996, 998, 941, 944, 965, 994, 991, 946, 1139, 1141, 1084, 1087, 1108, 1137, 1134, 1089], [94, 237, 380, 523, 666, 809, 952, 1095], [123, 122, 119, 120, 91, 105, 106, 103, 104, 98, 97, 75, 82, 81, 26, 20, 135, 134, 130, 129, 113, 115, 116, 109, 266, 265, 262, 263, 234, 248, 249, 246, 247, 241, 240, 218, 225, 224, 169, 163, 278, 277, 273, 272, 256, 258, 259, 252, 409, 408, 405, 406, 377, 391, 392, 389, 390, 384, 383, 361, 368, 367, 312, 306, 421, 420, 416, 415, 399, 401, 402, 395, 552, 551, 548, 549, 520, 534, 535, 532, 533, 527, 526, 504, 511, 510, 455, 449, 564, 563, 559, 558, 542, 544, 545, 538, 695, 694, 691, 692, 663, 677, 678, 675, 676, 670, 669, 647, 654, 653, 598, 592, 707, 706, 702, 701, 685, 687, 688, 681, 838, 837, 834, 835, 806, 820, 821, 818, 819, 813, 812, 790, 797, 796, 741, 735, 850, 849, 845, 844, 828, 830, 831, 824, 981, 980, 977, 978, 949, 963, 964, 961, 962, 956, 955, 933, 940, 939, 884, 878, 993, 992, 988, 987, 971, 973, 974, 967, 1124, 1123, 1120, 1121, 1092, 1106, 1107, 1104, 1105, 1099, 1098, 1076, 1083, 1082, 1027, 1021, 1136, 1135, 1131, 1130, 1114, 1116, 1117, 1110]]
Total program runtime: 3.111 seconds

real 3.42
user 6.35
sys 0.76
