HyEnA v0.1.0: Artifacts of the Evaluation

2 ZIP-folders, one with the practical version (Data_P) and one with the theoretical version (Data_T).Both contain the first-order modal logic models generated by MoMo, the first-order modal logic problems from the TPTP libary and the generated first-order hybrid logic encodings by HyEnA.The practical version contains also the HOL encoding generated by LET and adjusted by HyEnA and the results of the ATP E, Vampire and Leo-III theorem provers, as well as one text file with the result summary.In the practical version, the hybrid and HOL encoding are in the directory 7_22n, they were created at 22.07.26 with the flag -n. HyEnA v0.1.0 itself is uploaded separately.https://zenodo.org/records/21539030