Superposition with Lambdas - Evaluation Data
Description
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.
Resources
| Name |
Format |
Description |
Link |
|
0 |
|
http://data.europa.eu/88u/dataset/oai-zenodo-org-4032970 |
|
0 |
|
http://data.europa.eu/88u/dataset/oai-zenodo-org-4032970 |
|
0 |
|
http://data.europa.eu/88u/dataset/oai-zenodo-org-4032970 |