Program termination evaluation dataset (HaltEval-prelim) accompanying the CWM release - View it on GitHub