Published September 16, 2020
| Version 1
Dataset
Open
Superposition with Lambdas - Evaluation Data
- 1. Vrije Universiteit Amsterdam
- 2. Max-Planck-Institut für Informatik
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.
Files
lamsup_article_problems.zip
Files
(229.2 MB)
Name | Size | Download all |
---|---|---|
md5:1cea13fa7177353b597841af83556c81
|
218.3 MB | Preview Download |
md5:f5d27c89329ca91abb21ee58a6fe4b5d
|
10.9 MB | Preview Download |