PACE 2019 (Track Vertex Cover/Exact)

Exact 2a. Vertex Cover/Exact


The vertex cover has to be optimal, i.e., of smallest size.


We anticipate submissions to be based on a provably optimal algorithm, although we do not make this a formal requirement. Instead, if your submission halts on some instance within the allotted time and produces a solution that is known to be non-optimal, the submission will be disqualified. We also do not prescribe the algorithmic paradigm that is to be used; if a SAT or SMT-solver based submission consistently outperforms more direct approaches, this will be valuable information.


Download: Download Public Instances (Exact)

There are 200 benchmark instances, labeled vc-exact_001.hgr to vc-exact_200.hgr.

Larger numbers in the filename should (as a rule of thumb) correspond to harder instances. The odd instances are public and the even instances will be provided later (secret).

For verification purposes, we also publish the sha1sum of the public archive:

SHA1 sum filename
daafdb24087442a75ab84842b1d6e1c05757942a pace2019-vc-exact-public.tar.bz2

For individual files we refer to Download SHA1 sums