Data and Analysis Artifact for "Inductive Symmetry Breaking for Bounded Model Checking"

This archive contains the raw experimental data and analysis scripts used to reproduce the results of the submitted manuscript titled “Inductive Symmetry Breaking for Bounded Model Checking”. All figures and tables in the paper can be regenerated from the provided CSV files using the included Python scripts.