PACE 2019


  1. Vertex Cover
  2. Hypertree Width


Preliminary Results

1a. Vertex Cover:

  1. WeGotYouCovered [doi:10.5281/zenodo.2816116] (87 solved)
  2. peaty [doi:10.5281/zenodo.308235] (77 solved)
  3. bogdan [doi:10.5281/zenodo.3228802] (76 solved)

2a. Hypertree Width Exact

  1. asc [doi:10.5281/zenodo.3236333]
  2. TULongo [doi:10.5281/zenodo.3236358 ]
  3. heidi [doi:10.5281/zenodo.3237427]

2b. Hypertree Width Heuristic

Rank Score Solver doi Solved PAR1 cumwidth cumdiff 1st vs 2nd
-   Judge: htdecomp   100 - 603   -
1 5.0 hypebeast [doi:10.5281/zenodo.3082314] 100 430.5 1104 501 0
2 14.1 TULongo [doi:10.5281/zenodo.3236369] 98 8161.2 614 20 86
3 128.9 asc [doi:10.5281/zenodo.3236333] 30 98995.9 na 11 na

Score: (50,000 + wall + 50 * (user_width - judge_with)) /1000000

PAR1: Cumulated sum of the wall clock

Cumwidth: Solution quality by cumulating the computed widths by summing up over all computed widths

Cumdiff: Cumulated difference from the best known value

1st vs. 2nd: Number of instances where solver X was better than solver Y (TULongo performed better on 86 instances)

Tracks / Challenges

1a. Vertex Cover Exact (Compute a vertex cover of smallest size): Details for the track (Exact); Download Instances (Exact, Updated: March 05, 2019); Input Format

2a. Hypertree Width Exact (Compute a hypertree decomposition of hypertree width): Details for the track (Exact); Download Instances (Exact); Input Format

2b. Hypertree Width Heuristic (Compute a decent hypertree decomposition fast): Details for the track (Heuristic); Download Instances (Heuristic); Input Format



Submission details



For details consult the page of the separate tracks.

Then, to participate, you will just upload your code to the platform as stated on this page. Current leader board on public instances will be live on The final ranking will be done on the private instances, using the last valid submission on public instances on We kindly ask the participants to send by email to the PC the name of the participants in the team, the name used on for each track, a link to the public repository as well as a short description of the program and algorithm.

Program Committee


On behalf of the Organization Committee of the 4th PACE Challenge, we invite you to participate in the sponsoring of metals and travel support for PACE-19.

NETWORKS already announced sponsoring for PACE 2019.