Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/VtlWavenet2008_2.json -T -R -O -V Low
DFA generation time: 0.023 seconds 
DFA states: 3 
DFA transitions: 87
Problem file: data/zoo_json_reachability/VtlWavenet2008_2.json
Switches to update: 70

Decomposed topology into 1 subproblems
Topological decomposition took 0.0 seconds
Subproblem verification time: 0.245 seconds
Minimum batches required: 3
[[19, 107, 18, 21, 20, 79, 31, 78, 32, 87, 33, 35, 34, 86, 85, 84, 83, 59, 82, 80, 81, 41, 72, 40, 71, 70, 39, 38, 106, 109, 108, 167, 119, 166, 120, 175, 121, 123, 122, 174, 173, 172, 171, 147, 170, 168, 169, 129, 160, 128, 159, 158, 127, 126], [130, 42], [36, 75, 24, 43, 44, 76, 77, 124, 163, 112, 131, 132, 164, 165]]
Total program runtime: 0.751 seconds

real 1.10
user 1.99
sys 0.18
