INTERLEAVE : An Empirically Faster Symbolic Algorithm for Maximal End Component Decomposition of MDPs -- Evaluation Scripts, Data and Logs

This contains the evaluation scripts, data and logs for Ramneet Singh's Masters Thesis at IIT Delhi, titled, "INTERLEAVE : An Empirically Faster Symbolic Algorithm for Maximal End Component Decomposition of MDPs", and supervised by Suguman Bansal (Georgia Tech) and Subodh Sharma (IIT Delhi). The `run.py` script was used to run experiments on the Quantitative Verification Benchmark Set (QVBS). The `logs` folder contains the logs and the `generateGraphs.py` script was used to create the graphs in the `results` folder. These have been adapted from [the evaluation scripts for Felix Faber's thesis](https://zenodo.org/records/8311805), which were further adapted from [the evaluation scripts for the paper 'The Probabilistic Model Checker Storm' by Hensel et al](https://doi.org/10.5281/zenodo.4017717).