Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint8/Syringa_4.json -R -O -V Low
DFA generation time: 0.467 seconds 
DFA states: 513 
DFA transitions: 2696
Problem file: data/zoo_json_waypoint8/Syringa_4.json
Switches to update: 272

Decomposed topology into 8 subproblems
Topological decomposition took 0.498 seconds
Subproblem verification time: 0.106 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.039 seconds
Subproblem verification time: 0.037 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.037 seconds
Subproblem verification time: 0.034 seconds
Minimum batches required: 3
[[34, 36, 39, 29, 9, 8, 48, 31, 13, 12, 14, 15, 33, 61, 47, 43, 5, 108, 110, 113, 103, 83, 82, 122, 105, 87, 86, 88, 89, 107, 135, 121, 117, 79, 182, 184, 187, 177, 157, 156, 196, 179, 161, 160, 162, 163, 181, 209, 195, 191, 153, 256, 258, 261, 251, 231, 230, 270, 253, 235, 234, 236, 237, 255, 283, 269, 265, 227, 330, 332, 335, 325, 305, 304, 344, 327, 309, 308, 310, 311, 329, 357, 343, 339, 301, 404, 406, 409, 399, 379, 378, 418, 401, 383, 382, 384, 385, 403, 431, 417, 413, 375, 478, 480, 483, 473, 453, 452, 492, 475, 457, 456, 458, 459, 477, 505, 491, 487, 449, 552, 554, 557, 547, 527, 526, 566, 549, 531, 530, 532, 533, 551, 579, 565, 561, 523], [25, 99, 173, 247, 321, 395, 469, 543], [16, 17, 41, 49, 50, 56, 57, 58, 59, 52, 53, 54, 27, 51, 10, 4, 90, 91, 115, 123, 124, 130, 131, 132, 133, 126, 127, 128, 101, 125, 84, 78, 164, 165, 189, 197, 198, 204, 205, 206, 207, 200, 201, 202, 175, 199, 158, 152, 238, 239, 263, 271, 272, 278, 279, 280, 281, 274, 275, 276, 249, 273, 232, 226, 312, 313, 337, 345, 346, 352, 353, 354, 355, 348, 349, 350, 323, 347, 306, 300, 386, 387, 411, 419, 420, 426, 427, 428, 429, 422, 423, 424, 397, 421, 380, 374, 460, 461, 485, 493, 494, 500, 501, 502, 503, 496, 497, 498, 471, 495, 454, 448, 534, 535, 559, 567, 568, 574, 575, 576, 577, 570, 571, 572, 545, 569, 528, 522]]
Total program runtime: 2.01 seconds

real 2.38
user 7.12
sys 0.59
