GBD-Logo
Select a context {% for c in contexts %} {% endfor %}
Select a context-specific database {% for dbname in databases %} {% endfor %}

Query for Instances

{% if error is not none %} {{ error }} {% else %} Found {{ total }} Benchmark Instances {% endif %}
Quickstart
  • Query for Instances: Simple queries are constraints of the form "feature operator value", e.g., track=main_2024. More complex queries can be formulated as specified in our SAT 2024 paper.
  • Download Instances: The file {{ query_name }}.uri contains the download links for the selected instances. Use it to download the instances, e.g., with wget like this
    wget --content-disposition -i {{ query_name }}.uri.
  • Download the selected database: {{ selected }}
{% for feature in features %} {% endfor %} {% for row in result %} {% for item in row %} {% if loop.index == 1 %} {% elif item is link_field %} {% elif item is int_field %} {% elif item is num_field %} {% else %} {% endif %} {% endfor %} {% endfor %}
hash{{ feature }}
{{ item }}{{ item }}{{ item }}{{ '%0.2f'| format(item|float) }}{{ item }}