pace-challenge / treewidth-pace-2017-bonus-instances

Fresh and very challenging treewidth instances, in .gr format

Treewidth: Challenging bonus instances (PACE 2017)

The instance set used in the exact treewidth challenge of PACE 2017 is now considered to be too easy. Therefore, this bonus instance set has been created to offer a fresh and difficult challenge. In particular, solving these instances in five minutes would require a 1000x speed improvement over the best exact treewidth solvers of PACE 2017.

gr/ contains 100 instances for exact treewidth computation.

td/ contains the optimal tree decompositions (if known).

instances.csv lists the instances, the treewidth (if known), and the time required to compute the treewidth.

The instances are released under the CC0 license.

Further Links

• There is a list of treewidth solvers, instances, and tools, which also describes the .gr and .td formats.