Choco 3 Reasoner test suite built with FamaTestSuite2.