Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination - Evaluation Material

In this archive, we provide the (already normalized and translated) rule sets that we used for the evaluation of RMFA2, DRPC, and RPC in our paper "Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination" at KR 2023. We also provide the raw result files and some basic scripts that we used to produce and count the results. Please refer to the provided README.md for more information.