Models and datasets used in the experiments reported in the paper Into The Limits of Logic: Alignment Methods for Logical Reasoning