Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint4/Deltacom_4.json -R -O -V Low
DFA generation time: 0.07 seconds 
DFA states: 33 
DFA transitions: 424
Problem file: data/zoo_json_waypoint4/Deltacom_4.json
Switches to update: 264

Decomposed topology into 16 subproblems
Topological decomposition took 0.209 seconds
Subproblem verification time: 0.141 seconds
Subproblem verification time: 0.038 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.033 seconds
Minimum batches required: 3
[[104, 75, 84, 26, 49, 54, 90, 89, 21, 20, 23, 105, 106, 107, 215, 186, 195, 137, 160, 165, 201, 200, 132, 131, 134, 216, 217, 218, 326, 297, 306, 248, 271, 276, 312, 311, 243, 242, 245, 327, 328, 329, 437, 408, 417, 359, 382, 387, 423, 422, 354, 353, 356, 438, 439, 440, 548, 519, 528, 470, 493, 498, 534, 533, 465, 464, 467, 549, 550, 551, 659, 630, 639, 581, 604, 609, 645, 644, 576, 575, 578, 660, 661, 662, 770, 741, 750, 692, 715, 720, 756, 755, 687, 686, 689, 771, 772, 773, 881, 852, 861, 803, 826, 831, 867, 866, 798, 797, 800, 882, 883, 884], [19, 25, 47, 130, 136, 158, 241, 247, 269, 352, 358, 380, 463, 469, 491, 574, 580, 602, 685, 691, 713, 796, 802, 824], [36, 30, 77, 81, 51, 50, 91, 92, 24, 27, 83, 82, 61, 58, 110, 109, 147, 141, 188, 192, 162, 161, 202, 203, 135, 138, 194, 193, 172, 169, 221, 220, 258, 252, 299, 303, 273, 272, 313, 314, 246, 249, 305, 304, 283, 280, 332, 331, 369, 363, 410, 414, 384, 383, 424, 425, 357, 360, 416, 415, 394, 391, 443, 442, 480, 474, 521, 525, 495, 494, 535, 536, 468, 471, 527, 526, 505, 502, 554, 553, 591, 585, 632, 636, 606, 605, 646, 647, 579, 582, 638, 637, 616, 613, 665, 664, 702, 696, 743, 747, 717, 716, 757, 758, 690, 693, 749, 748, 727, 724, 776, 775, 813, 807, 854, 858, 828, 827, 868, 869, 801, 804, 860, 859, 838, 835, 887, 886]]
Total program runtime: 1.668 seconds

real 1.99
user 5.35
sys 0.79
