Superposition with Lambdas - Evaluation Data

This package contains supplementary material for the Evaluation section of the article Superposition with Lambdas. Archive lamsup_article_problems.zip contains problems used for the evaluation. Archive lamsup_article_results.zip contains raw results presented in the section as well as scripts for running Zipperposition to obtain these results.本数据包包含论文《带λ演算的叠加演算》（Superposition with Lambdas）评估章节的补充材料。压缩包lamsup_article_problems.zip内含本次评估所用的测试问题集；压缩包lamsup_article_results.zip收录了该章节展示的原始实验结果，以及用于运行Zipperposition以获取上述结果的脚本文件。