Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Switch_4.json -T -R -O -V Low
DFA generation time: 0.021 seconds 
DFA states: 3 
DFA transitions: 193
Problem file: data/zoo_json_reachability/Switch_4.json
Switches to update: 168

Decomposed topology into 1 subproblems
Topological decomposition took 0.0 seconds
Subproblem verification time: 7.932 seconds
Minimum batches required: 3
[[28, 99, 170, 241, 312, 383, 454, 525, 55, 51, 20, 34, 22, 12, 15, 1, 61, 126, 122, 91, 105, 93, 83, 86, 72, 132, 197, 193, 162, 176, 164, 154, 157, 143, 203, 268, 264, 233, 247, 235, 225, 228, 214, 274, 339, 335, 304, 318, 306, 296, 299, 285, 345, 410, 406, 375, 389, 377, 367, 370, 356, 416, 481, 477, 446, 460, 448, 438, 441, 427, 487, 552, 548, 517, 531, 519, 509, 512, 498, 558], [559, 488, 417, 346, 275, 204, 133, 62], [18, 49, 66, 69, 70, 35, 30, 8, 14, 42, 89, 120, 137, 140, 141, 106, 101, 79, 85, 113, 160, 191, 208, 211, 212, 177, 172, 150, 156, 184, 231, 262, 279, 282, 283, 248, 243, 221, 227, 255, 302, 333, 350, 353, 354, 319, 314, 292, 298, 326, 373, 404, 421, 424, 425, 390, 385, 363, 369, 397, 444, 475, 492, 495, 496, 461, 456, 434, 440, 468, 515, 546, 563, 566, 567, 532, 527, 505, 511, 539]]
Total program runtime: 8.6 seconds

real 8.92
user 11.20
sys 0.44
