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

Decomposed topology into 1 subproblems
Topological decomposition took 0.0 seconds
Subproblem verification time: 2.714 seconds
Minimum batches required: 3
[[3, 29, 55, 81, 107, 133, 159, 185, 0, 26, 52, 78, 104, 130, 156, 182], [207, 181, 155, 129, 103, 77, 51, 25], [7, 6, 33, 32, 59, 58, 85, 84, 111, 110, 137, 136, 163, 162, 189, 188]]
Total program runtime: 3.215 seconds

real 3.52
user 4.49
sys 0.18
