.AlgebraTestSuite.AliasDifficult.JermannChair.Complete .AlgebraTestSuite.AliasDifficult.JermannChair.CompleteALIAS difficult, JermannChair from COPRIN. Note that this model contains several blocks and it thus not recommended as a whole for becnhmarking