Version: 1.15 
 verifypn-linux64 data/zoo_json_alt_waypoint1/Switch_4.json -R -O -V Low
DFA generation time: 0.022 seconds 
DFA states: 5 
DFA transitions: 212
Problem file: data/zoo_json_alt_waypoint1/Switch_4.json
Switches to update: 160

Decomposed topology into 8 subproblems
Topological decomposition took 0.092 seconds
Subproblem verification time: 0.165 seconds
Subproblem verification time: 0.037 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.035 seconds
Minimum batches required: 3
[[18, 30, 60, 49, 66, 69, 3, 89, 101, 131, 120, 137, 140, 74, 160, 172, 202, 191, 208, 211, 145, 231, 243, 273, 262, 279, 282, 216, 302, 314, 344, 333, 350, 353, 287, 373, 385, 415, 404, 421, 424, 358, 444, 456, 486, 475, 492, 495, 429, 515, 527, 557, 546, 563, 566, 500], [35, 62, 106, 133, 177, 204, 248, 275, 319, 346, 390, 417, 461, 488, 532, 559], [28, 55, 51, 20, 34, 22, 21, 70, 0, 50, 39, 99, 126, 122, 91, 105, 93, 92, 141, 71, 121, 110, 170, 197, 193, 162, 176, 164, 163, 212, 142, 192, 181, 241, 268, 264, 233, 247, 235, 234, 283, 213, 263, 252, 312, 339, 335, 304, 318, 306, 305, 354, 284, 334, 323, 383, 410, 406, 375, 389, 377, 376, 425, 355, 405, 394, 454, 481, 477, 446, 460, 448, 447, 496, 426, 476, 465, 525, 552, 548, 517, 531, 519, 518, 567, 497, 547, 536]]
Total program runtime: 1.097 seconds

real 1.40
user 3.19
sys 0.37
