Tomás Dacík, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger: Deciding Boolean Separation Logic via Small Models: Artifact. Zenodo 2023