Results for SPACER

State-Abstraction only, Down counter, ssh and ssh-simplified categories