Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Colt_4.json -R -O -V Low
DFA generation time: 0.024 seconds 
DFA states: 3 
DFA transitions: 305
Problem file: data/zoo_json_reachability/Colt_4.json
Switches to update: 256

Decomposed topology into 16 subproblems
Topological decomposition took 0.137 seconds
Subproblem verification time: 0.148 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.046 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.032 seconds
Minimum batches required: 3
[[107, 72, 111, 112, 109, 64, 126, 63, 125, 74, 117, 119, 13, 10, 11, 5, 144, 2, 260, 225, 264, 265, 262, 217, 279, 216, 278, 227, 270, 272, 166, 163, 164, 158, 297, 155, 413, 378, 417, 418, 415, 370, 432, 369, 431, 380, 423, 425, 319, 316, 317, 311, 450, 308, 566, 531, 570, 571, 568, 523, 585, 522, 584, 533, 576, 578, 472, 469, 470, 464, 603, 461, 719, 684, 723, 724, 721, 676, 738, 675, 737, 686, 729, 731, 625, 622, 623, 617, 756, 614, 872, 837, 876, 877, 874, 829, 891, 828, 890, 839, 882, 884, 778, 775, 776, 770, 909, 767, 1025, 990, 1029, 1030, 1027, 982, 1044, 981, 1043, 992, 1035, 1037, 931, 928, 929, 923, 1062, 920, 1178, 1143, 1182, 1183, 1180, 1135, 1197, 1134, 1196, 1145, 1188, 1190, 1084, 1081, 1082, 1076, 1215, 1073], [152, 81, 30, 305, 234, 183, 458, 387, 336, 611, 540, 489, 764, 693, 642, 917, 846, 795, 1070, 999, 948, 1223, 1152, 1101], [68, 66, 138, 82, 123, 139, 12, 141, 14, 17, 136, 221, 219, 291, 235, 276, 292, 165, 294, 167, 170, 289, 374, 372, 444, 388, 429, 445, 318, 447, 320, 323, 442, 527, 525, 597, 541, 582, 598, 471, 600, 473, 476, 595, 680, 678, 750, 694, 735, 751, 624, 753, 626, 629, 748, 833, 831, 903, 847, 888, 904, 777, 906, 779, 782, 901, 986, 984, 1056, 1000, 1041, 1057, 930, 1059, 932, 935, 1054, 1139, 1137, 1209, 1153, 1194, 1210, 1083, 1212, 1085, 1088, 1207]]
Total program runtime: 1.524 seconds

real 1.86
user 4.54
sys 0.57
