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.