computation depth =         22
reachable states =  1.13134e+09