INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition (CAV 2025 Artifact)

This artifact accompanies the paper INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition, appearing at the 37th International Conference on Computer Aided Verification, 2025. It provides the source code, dataset, evaluation scripts and logs needed to fully reproduce all the results and claims mentioned in the paper. The source code contains the implementations of the BASIC, LOCKSTEP and INTERLEAVE algorithms used. The dataset, evaluation scripts and logs allow anyone to reproduce all the figures and other results in the paper by running these algorithms on the QVBS (or a subset of it). It also provides a fully encapsulated Docker image that includes all dependencies, enabling easy replication of the environment and results. Detailed instructions for using this artifact are present in a README.md file at the root level.