Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint1/Ion_4.json -R -O -V Low
DFA generation time: 0.032 seconds 
DFA states: 5 
DFA transitions: 388
Problem file: data/zoo_json_waypoint1/Ion_4.json
Switches to update: 344

Decomposed topology into 8 subproblems
Topological decomposition took 0.16 seconds
Subproblem verification time: 0.158 seconds
Subproblem verification time: 0.041 seconds
Subproblem verification time: 0.039 seconds
Subproblem verification time: 0.042 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.034 seconds
Minimum batches required: 3
[[22, 80, 77, 78, 48, 49, 109, 60, 124, 59, 19, 13, 18, 11, 10, 58, 92, 8, 100, 105, 147, 205, 202, 203, 173, 174, 234, 185, 249, 184, 144, 138, 143, 136, 135, 183, 217, 133, 225, 230, 272, 330, 327, 328, 298, 299, 359, 310, 374, 309, 269, 263, 268, 261, 260, 308, 342, 258, 350, 355, 397, 455, 452, 453, 423, 424, 484, 435, 499, 434, 394, 388, 393, 386, 385, 433, 467, 383, 475, 480, 522, 580, 577, 578, 548, 549, 609, 560, 624, 559, 519, 513, 518, 511, 510, 558, 592, 508, 600, 605, 647, 705, 702, 703, 673, 674, 734, 685, 749, 684, 644, 638, 643, 636, 635, 683, 717, 633, 725, 730, 772, 830, 827, 828, 798, 799, 859, 810, 874, 809, 769, 763, 768, 761, 760, 808, 842, 758, 850, 855, 897, 955, 952, 953, 923, 924, 984, 935, 999, 934, 894, 888, 893, 886, 885, 933, 967, 883, 975, 980], [79, 204, 329, 454, 579, 704, 829, 954], [82, 81, 94, 83, 86, 67, 74, 112, 113, 111, 65, 64, 9, 0, 25, 28, 27, 23, 26, 107, 108, 106, 207, 206, 219, 208, 211, 192, 199, 237, 238, 236, 190, 189, 134, 125, 150, 153, 152, 148, 151, 232, 233, 231, 332, 331, 344, 333, 336, 317, 324, 362, 363, 361, 315, 314, 259, 250, 275, 278, 277, 273, 276, 357, 358, 356, 457, 456, 469, 458, 461, 442, 449, 487, 488, 486, 440, 439, 384, 375, 400, 403, 402, 398, 401, 482, 483, 481, 582, 581, 594, 583, 586, 567, 574, 612, 613, 611, 565, 564, 509, 500, 525, 528, 527, 523, 526, 607, 608, 606, 707, 706, 719, 708, 711, 692, 699, 737, 738, 736, 690, 689, 634, 625, 650, 653, 652, 648, 651, 732, 733, 731, 832, 831, 844, 833, 836, 817, 824, 862, 863, 861, 815, 814, 759, 750, 775, 778, 777, 773, 776, 857, 858, 856, 957, 956, 969, 958, 961, 942, 949, 987, 988, 986, 940, 939, 884, 875, 900, 903, 902, 898, 901, 982, 983, 981]]
Total program runtime: 1.272 seconds

real 1.58
user 4.30
sys 0.41
