Setup for FCA and KR experiments