Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint4/RedBestel_4.json -R -O -V Low
DFA generation time: 0.066 seconds 
DFA states: 33 
DFA transitions: 512
Problem file: data/zoo_json_waypoint4/RedBestel_4.json
Switches to update: 304

Decomposed topology into 8 subproblems
Topological decomposition took 0.214 seconds
Subproblem verification time: 0.199 seconds
Subproblem verification time: 0.042 seconds
Subproblem verification time: 0.043 seconds
Subproblem verification time: 0.043 seconds
Subproblem verification time: 0.038 seconds
Subproblem verification time: 0.037 seconds
Subproblem verification time: 0.037 seconds
Subproblem verification time: 0.04 seconds
Minimum batches required: 3
[[71, 21, 6, 54, 48, 20, 22, 61, 69, 46, 47, 155, 105, 90, 138, 132, 104, 106, 145, 153, 130, 131, 239, 189, 174, 222, 216, 188, 190, 229, 237, 214, 215, 323, 273, 258, 306, 300, 272, 274, 313, 321, 298, 299, 407, 357, 342, 390, 384, 356, 358, 397, 405, 382, 383, 491, 441, 426, 474, 468, 440, 442, 481, 489, 466, 467, 575, 525, 510, 558, 552, 524, 526, 565, 573, 550, 551, 659, 609, 594, 642, 636, 608, 610, 649, 657, 634, 635], [18, 1, 102, 85, 186, 169, 270, 253, 354, 337, 438, 421, 522, 505, 606, 589], [45, 30, 7, 29, 75, 13, 55, 11, 60, 52, 5, 25, 23, 31, 16, 63, 62, 50, 70, 68, 67, 51, 72, 49, 17, 129, 114, 91, 113, 159, 97, 139, 95, 144, 136, 89, 109, 107, 115, 100, 147, 146, 134, 154, 152, 151, 135, 156, 133, 101, 213, 198, 175, 197, 243, 181, 223, 179, 228, 220, 173, 193, 191, 199, 184, 231, 230, 218, 238, 236, 235, 219, 240, 217, 185, 297, 282, 259, 281, 327, 265, 307, 263, 312, 304, 257, 277, 275, 283, 268, 315, 314, 302, 322, 320, 319, 303, 324, 301, 269, 381, 366, 343, 365, 411, 349, 391, 347, 396, 388, 341, 361, 359, 367, 352, 399, 398, 386, 406, 404, 403, 387, 408, 385, 353, 465, 450, 427, 449, 495, 433, 475, 431, 480, 472, 425, 445, 443, 451, 436, 483, 482, 470, 490, 488, 487, 471, 492, 469, 437, 549, 534, 511, 533, 579, 517, 559, 515, 564, 556, 509, 529, 527, 535, 520, 567, 566, 554, 574, 572, 571, 555, 576, 553, 521, 633, 618, 595, 617, 663, 601, 643, 599, 648, 640, 593, 613, 611, 619, 604, 651, 650, 638, 658, 656, 655, 639, 660, 637, 605]]
Total program runtime: 1.47 seconds

real 1.81
user 4.97
sys 0.63
