Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Sinet_4.json -T -R -O -V Low
DFA generation time: 0.02 seconds 
DFA states: 3 
DFA transitions: 89
Problem file: data/zoo_json_reachability/Sinet_4.json
Switches to update: 40

Decomposed topology into 1 subproblems
Topological decomposition took 0.0 seconds
Subproblem verification time: 3.431 seconds
Minimum batches required: 3
[[34, 105, 176, 247, 318, 389, 460, 531, 35, 106, 177, 248, 319, 390, 461, 532], [541, 470, 399, 328, 257, 186, 115, 44], [70, 66, 141, 137, 212, 208, 283, 279, 354, 350, 425, 421, 496, 492, 567, 563]]
Total program runtime: 3.873 seconds

real 4.19
user 5.23
sys 0.23
