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

Decomposed topology into 16 subproblems
Topological decomposition took 0.156 seconds
Subproblem verification time: 0.129 seconds
Subproblem verification time: 0.043 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.037 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.038 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.034 seconds
Minimum batches required: 3
[[110, 58, 21, 60, 26, 25, 89, 90, 54, 111, 104, 223, 171, 134, 173, 139, 138, 202, 203, 167, 224, 217, 336, 284, 247, 286, 252, 251, 315, 316, 280, 337, 330, 449, 397, 360, 399, 365, 364, 428, 429, 393, 450, 443, 562, 510, 473, 512, 478, 477, 541, 542, 506, 563, 556, 675, 623, 586, 625, 591, 590, 654, 655, 619, 676, 669, 788, 736, 699, 738, 704, 703, 767, 768, 732, 789, 782, 901, 849, 812, 851, 817, 816, 880, 881, 845, 902, 895], [109, 47, 20, 222, 160, 133, 335, 273, 246, 448, 386, 359, 561, 499, 472, 674, 612, 585, 787, 725, 698, 900, 838, 811], [108, 107, 106, 22, 83, 27, 24, 95, 94, 93, 88, 3, 73, 98, 99, 112, 31, 36, 221, 220, 219, 135, 196, 140, 137, 208, 207, 206, 201, 116, 186, 211, 212, 225, 144, 149, 334, 333, 332, 248, 309, 253, 250, 321, 320, 319, 314, 229, 299, 324, 325, 338, 257, 262, 447, 446, 445, 361, 422, 366, 363, 434, 433, 432, 427, 342, 412, 437, 438, 451, 370, 375, 560, 559, 558, 474, 535, 479, 476, 547, 546, 545, 540, 455, 525, 550, 551, 564, 483, 488, 673, 672, 671, 587, 648, 592, 589, 660, 659, 658, 653, 568, 638, 663, 664, 677, 596, 601, 786, 785, 784, 700, 761, 705, 702, 773, 772, 771, 766, 681, 751, 776, 777, 790, 709, 714, 899, 898, 897, 813, 874, 818, 815, 886, 885, 884, 879, 794, 864, 889, 890, 903, 822, 827]]
Total program runtime: 1.598 seconds

real 1.97
user 4.57
sys 0.65
