Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/TataNld_4.json -R -O -V Low
DFA generation time: 0.03 seconds 
DFA states: 3 
DFA transitions: 457
Problem file: data/zoo_json_reachability/TataNld_4.json
Switches to update: 440

Decomposed topology into 16 subproblems
Topological decomposition took 0.192 seconds
Subproblem verification time: 0.229 seconds
Subproblem verification time: 0.043 seconds
Subproblem verification time: 0.077 seconds
Subproblem verification time: 0.042 seconds
Subproblem verification time: 0.07 seconds
Subproblem verification time: 0.04 seconds
Subproblem verification time: 0.063 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.066 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.065 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.064 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.066 seconds
Subproblem verification time: 0.036 seconds
Minimum batches required: 3
[[43, 83, 128, 108, 86, 107, 47, 127, 125, 120, 95, 69, 132, 79, 56, 59, 58, 53, 131, 32, 117, 112, 110, 109, 188, 228, 273, 253, 231, 252, 192, 272, 270, 265, 240, 214, 277, 224, 201, 204, 203, 198, 276, 177, 262, 257, 255, 254, 333, 373, 418, 398, 376, 397, 337, 417, 415, 410, 385, 359, 422, 369, 346, 349, 348, 343, 421, 322, 407, 402, 400, 399, 478, 518, 563, 543, 521, 542, 482, 562, 560, 555, 530, 504, 567, 514, 491, 494, 493, 488, 566, 467, 552, 547, 545, 544, 623, 663, 708, 688, 666, 687, 627, 707, 705, 700, 675, 649, 712, 659, 636, 639, 638, 633, 711, 612, 697, 692, 690, 689, 768, 808, 853, 833, 811, 832, 772, 852, 850, 845, 820, 794, 857, 804, 781, 784, 783, 778, 856, 757, 842, 837, 835, 834, 913, 953, 998, 978, 956, 977, 917, 997, 995, 990, 965, 939, 1002, 949, 926, 929, 928, 923, 1001, 902, 987, 982, 980, 979, 1058, 1098, 1143, 1123, 1101, 1122, 1062, 1142, 1140, 1135, 1110, 1084, 1147, 1094, 1071, 1074, 1073, 1068, 1146, 1047, 1132, 1127, 1125, 1124], [46, 141, 139, 52, 60, 191, 286, 284, 197, 205, 336, 431, 429, 342, 350, 481, 576, 574, 487, 495, 626, 721, 719, 632, 640, 771, 866, 864, 777, 785, 916, 1011, 1009, 922, 930, 1061, 1156, 1154, 1067, 1075], [137, 138, 140, 142, 40, 41, 123, 122, 119, 19, 15, 61, 62, 63, 80, 81, 26, 20, 133, 136, 135, 134, 130, 129, 113, 115, 282, 283, 285, 287, 185, 186, 268, 267, 264, 164, 160, 206, 207, 208, 225, 226, 171, 165, 278, 281, 280, 279, 275, 274, 258, 260, 427, 428, 430, 432, 330, 331, 413, 412, 409, 309, 305, 351, 352, 353, 370, 371, 316, 310, 423, 426, 425, 424, 420, 419, 403, 405, 572, 573, 575, 577, 475, 476, 558, 557, 554, 454, 450, 496, 497, 498, 515, 516, 461, 455, 568, 571, 570, 569, 565, 564, 548, 550, 717, 718, 720, 722, 620, 621, 703, 702, 699, 599, 595, 641, 642, 643, 660, 661, 606, 600, 713, 716, 715, 714, 710, 709, 693, 695, 862, 863, 865, 867, 765, 766, 848, 847, 844, 744, 740, 786, 787, 788, 805, 806, 751, 745, 858, 861, 860, 859, 855, 854, 838, 840, 1007, 1008, 1010, 1012, 910, 911, 993, 992, 989, 889, 885, 931, 932, 933, 950, 951, 896, 890, 1003, 1006, 1005, 1004, 1000, 999, 983, 985, 1152, 1153, 1155, 1157, 1055, 1056, 1138, 1137, 1134, 1034, 1030, 1076, 1077, 1078, 1095, 1096, 1041, 1035, 1148, 1151, 1150, 1149, 1145, 1144, 1128, 1130]]
Total program runtime: 2.046 seconds

real 2.38
user 4.99
sys 0.79
