| hash | {% for feature in selected %}{{ feature }} | {% endfor %}
|---|---|
| {{ item }} | {% endfor %}
 }}){kind=logo}
- Shortcuts:
- Databases:
-
{% for dbname, features in features.items() %}
- Download {{ dbname }} {% endfor %}
- Literature:
Find and Download CNF Benchmark Instances by Feature Values.
{{ result | length }} benchmarks
The downloaded file contains the benchmark URIs. Use for example wget --content-disposition -i filename.uri for downloading them.