Back to dataset: Chromatic Numbers from Exact Decision Diagrams in Exact Arithmetic

ddruns-main.zip

Important usage condition: Use and redistribution are governed by MIT. Review and comply with the license before using the data.

Dataset: Chromatic Numbers from Exact Decision Diagrams in Exact Arithmetic
Published version: 1.1
Media type: application/zip
Size: 26686902 bytes
Checksum: MD5 293beb08800f0b928fc73551c3eb2f87
License: MIT

Bash scripts to download and compile SCIP and ddcolors and for computing & solving graph coloring ILPs based on exact decision diagrams.

Before downloading: Use and redistribution are governed by MIT. Review and comply with the license before using the data.

Download ddruns-main.zip

Expected crawler behaviour

Use a stable, truthful User-Agent with product/version and a working contact URL. Across all IP addresses and HTTP connections used by one crawler identity, allow no more than 5 requests in flight and wait at least 20 seconds between request starts. Crawl URLs listed in the catalog sitemap, including file pages and download URLs when they are published, use conditional requests, honor Retry-After, and apply exponential backoff after errors.

The welcome page may link to the interactive repository for human navigation. Automated clients must not treat that human link as a catalog crawl target.

Read the live machine-readable crawler policy before and during a crawl. Stop crawling when it reports CPU or memory utilization at or above 80% and 80% respectively.