zenodoopen
Propositional Resolution Proofs and Raw Data of Experimental Results
<p>This dataset contains propositional resolution proofs generated by the SMT-solver VeriT on problems of the Sat-Race 2010 and on other sat problems.</p> <p>The proofs were used to evaluate two proof compression algorithms: RecyclePivotsWithIntersection and LowerUnits. The experiments were performed in 2010--2011 and raw experimental results are included in the dataset.</p> <p>A paper about this was published in CADE 2011.</p>
ShareScore
32/100
Overall dataset sharing score
Score breakdown
These five areas show where the dataset supports — or may limit — practical reuse.
- Stewardship
- 8
- Harmonization
- 4
- Access
- 12
- Reuse readiness
- 8
- Engagement
- 0
Topics
Dataset details
- Repository
- zenodo
- Published
- August 15, 2017
- License
- cc-by-nc-sa-4.0
- DOI
- 10.5281/zenodo.843775
Scored with release 0.9.0
ScienceDex for faculty
Your academic CV and NIH biosketch
Make your CV in your school's format and your NIH biosketch from it, then download both as Word files.