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