zenodoopen
SAT Competition 2004 Benchmarks and Raw Results
<p>Set of problems used for the SATISFIABILITY (SAT) competition organized in 2004. Problems are given in three categories: Industrial, Handmade (Now called "Crafted") and Random.</p>
ShareScore
40/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
- 16
- Reuse readiness
- 8
- Engagement
- 4