Hyperbench: 2,191 Hypergraph Instances with Width Properties

A benchmark collection of 2,191 hypergraph instances originating from constraint satisfaction and query problems. The hypergraphs were generated and published by W. Fischl, G. Gottlob, D. M. Longo, and R. Pichler in 2017, with properties including various notions of width. Details on the original sources are provided in a 2018 conference paper by Johannes K. Fichte and colleagues.

Use Cases

• Benchmarking hypergraph decomposition algorithms based on the provided width properties.
• Evaluating constraint satisfaction problem solvers using the collection of CSP instances.
• Studying structural properties of hypergraphs derived from conjunctive queries.
• Developing new SMT (Satisfiability Modulo Theories) approaches for fractional hypertree width.

Strengths

• Contains 2,191 distinct hypergraph instances, providing a substantial testbed.
• Includes various computed hypergraph properties such as width measures.
• Originates from published academic work, suggesting a research-oriented design.

Limitations

• Column-level documentation is absent; field semantics must be inferred after download.
• Last update date is unknown; freshness unverified.
• Row count and file formats are unknown, which may limit suitability assessment.

Provenance

Source

http://hyperbench.dbai.tuwien.ac.at

Collection Method

Generated from CQ and CSP instances from various sources.