Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Ion_4.json -R -O -V Low
DFA generation time: 0.031 seconds 
DFA states: 3 
DFA transitions: 425
Problem file: data/zoo_json_reachability/Ion_4.json
Switches to update: 392

Decomposed topology into 16 subproblems
Topological decomposition took 0.189 seconds
Subproblem verification time: 0.19 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.044 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.046 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.042 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.04 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.04 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.039 seconds
Subproblem verification time: 0.03 seconds
Minimum batches required: 4
[[5, 106, 3, 2, 99, 108, 107, 26, 87, 66, 63, 96, 90, 89, 115, 117, 72, 74, 110, 76, 51, 52, 123, 93, 45, 54, 21, 130, 231, 128, 127, 224, 233, 232, 151, 212, 191, 188, 221, 215, 214, 240, 242, 197, 199, 235, 201, 176, 177, 248, 218, 170, 179, 146, 255, 356, 253, 252, 349, 358, 357, 276, 337, 316, 313, 346, 340, 339, 365, 367, 322, 324, 360, 326, 301, 302, 373, 343, 295, 304, 271, 380, 481, 378, 377, 474, 483, 482, 401, 462, 441, 438, 471, 465, 464, 490, 492, 447, 449, 485, 451, 426, 427, 498, 468, 420, 429, 396, 505, 606, 503, 502, 599, 608, 607, 526, 587, 566, 563, 596, 590, 589, 615, 617, 572, 574, 610, 576, 551, 552, 623, 593, 545, 554, 521, 630, 731, 628, 627, 724, 733, 732, 651, 712, 691, 688, 721, 715, 714, 740, 742, 697, 699, 735, 701, 676, 677, 748, 718, 670, 679, 646, 755, 856, 753, 752, 849, 858, 857, 776, 837, 816, 813, 846, 840, 839, 865, 867, 822, 824, 860, 826, 801, 802, 873, 843, 795, 804, 771, 880, 981, 878, 877, 974, 983, 982, 901, 962, 941, 938, 971, 965, 964, 990, 992, 947, 949, 985, 951, 926, 927, 998, 968, 920, 929, 896], [29, 103, 48, 154, 228, 173, 279, 353, 298, 404, 478, 423, 529, 603, 548, 654, 728, 673, 779, 853, 798, 904, 978, 923], [105, 78, 77, 80, 22, 230, 203, 202, 205, 147, 355, 328, 327, 330, 272, 480, 453, 452, 455, 397, 605, 578, 577, 580, 522, 730, 703, 702, 705, 647, 855, 828, 827, 830, 772, 980, 953, 952, 955, 897], [34, 33, 100, 8, 92, 58, 10, 11, 18, 13, 19, 59, 124, 60, 159, 158, 225, 133, 217, 183, 135, 136, 143, 138, 144, 184, 249, 185, 284, 283, 350, 258, 342, 308, 260, 261, 268, 263, 269, 309, 374, 310, 409, 408, 475, 383, 467, 433, 385, 386, 393, 388, 394, 434, 499, 435, 534, 533, 600, 508, 592, 558, 510, 511, 518, 513, 519, 559, 624, 560, 659, 658, 725, 633, 717, 683, 635, 636, 643, 638, 644, 684, 749, 685, 784, 783, 850, 758, 842, 808, 760, 761, 768, 763, 769, 809, 874, 810, 909, 908, 975, 883, 967, 933, 885, 886, 893, 888, 894, 934, 999, 935]]
Total program runtime: 1.745 seconds

real 2.10
user 4.88
sys 0.73
