Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Bren_4.json -T -R -O -V Low
DFA generation time: 0.019 seconds 
DFA states: 3 
DFA transitions: 105
Problem file: data/zoo_json_reachability/Bren_4.json
Switches to update: 48

Decomposed topology into 1 subproblems
Topological decomposition took 0.0 seconds
Subproblem verification time: 4.315 seconds
Minimum batches required: 3
[[21, 58, 95, 132, 169, 206, 243, 280, 11, 10, 17, 48, 47, 54, 85, 84, 91, 122, 121, 128, 159, 158, 165, 196, 195, 202, 233, 232, 239, 270, 269, 276], [262, 225, 188, 151, 114, 77, 40, 3], [22, 59, 96, 133, 170, 207, 244, 281]]
Total program runtime: 4.85 seconds

real 5.17
user 6.38
sys 0.28
