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

ddruns.tar

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/x-tar
Size: 7067473920 bytes
Checksum: MD5 1f11b823ef41cf5ad062162568025430
License: MIT

Tar file containing all logfiles & certificates of exact decision diagram compilations (ddlogs).

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

Download ddruns.tar

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.