Description | Input file | ALFP constraints | Analysis result |
Simple noncehand shake | noncehandshake-simple.lysa | ALFP | result |
Scenario for noncehand shake | noncehandshake-scenario.lysa | ALFP | result |
BBF1, atmost two principals | bbf1-two.lysa | ALFP | result |
BBF1, many principals | bbf1-many.lysa | ALFP | result |
BBF1, many principals - fixed | bbf1-fix.lysa | ALFP | result |