| 1 |
Tutorial |
1393 |
258 |
|
| 2 |
TSP |
2312 |
94 |
|
| 3 |
Weekly TSP |
77 |
15 |
|
| 4 |
Factories |
6051 |
165 |
|
| 5 |
Lumberjack |
12705 |
290 |
|
| 6 |
Domino Lumberjack |
91 |
38 |
|
| 7 |
Minimal Treewidth: PACE 2017 A2 |
34 |
5 |
|
| 8 |
Treewidth Lite: PACE 2017 A |
29 |
7 |
|
| 9 |
Optimal Treewidth: PACE 2017 A1 |
1 |
1 |
|
| 10 |
Minimum Fill In: PACE 2017 B |
75 |
12 |
|
| 11 |
Minimum Fill In Lite: PACE 2017 B |
261 |
19 |
|
| 12 |
Ancient Ruins |
0 |
0 |
|
| 13 |
Painting Artist |
0 |
0 |
|
| 14 |
SHORT CHAINS |
0 |
0 |
|
| 15 |
Aerial Firefighters |
0 |
0 |
|
| 16 |
3D Bin Packing |
0 |
0 |
|
| 17 |
Smart Customer |
0 |
0 |
|
| 18 |
Parallel Tasks Scheduling |
344 |
20 |
|
| 19 |
Jobshop |
330 |
22 |
|
| 20 |
Capacitated Vehicle Routing Problem with Time Windows |
372 |
20 |
|
| 21 |
Minimum Steiner Tree: PACE 2018 A |
193 |
41 |
|
| 22 |
Minimum Steiner Tree: PACE 2018 B |
101 |
17 |
|
| 23 |
Optimal Steiner Tree: PACE 2018 C |
376 |
47 |
|
| 24 |
Minimum Steiner Tree Lite: PACE 2018 A |
481 |
38 |
|
| 25 |
Minimum Steiner Tree Lite: PACE 2018 B |
204 |
19 |
|
| 26 |
Optimal Steiner Tree Lite: PACE 2018 C |
1207 |
49 |
|
| 27 |
Exact Vertex Cover: PACE 2019 A |
233 |
25 |
|
| 28 |
Exact Hypertree Width: PACE 2019 B |
26 |
5 |
|
| 29 |
Heuristic Hypertree Width: PACE 2019 C |
24 |
4 |
|
| 30 |
MISiO 2: Uncertain Wumpus |
2495 |
138 |
|
| 31 |
MISIO 1: AIMA Vacuum World |
2322 |
155 |
|
| 32 |
Exact Vertex Cover Lite: PACE 2019 A |
539 |
26 |
|
| 33 |
Exact Hypertree Width Lite: PACE 2019 B |
98 |
5 |
|
| 34 |
MISiO 3: Lost Wumpus |
2194 |
127 |
|
| 35 |
MISiO 4: MDP 1 (AIMA) |
866 |
125 |
|
| 36 |
MISiO 5: MDP (Wumpus Store) |
1403 |
117 |
|
| 37 |
MISiO 7: Actor-Critic |
793 |
51 |
|
| 38 |
Automatic Differentiation |
351 |
25 |
|
| 39 |
Shadertoy task 1 |
2053 |
62 |
|
| 40 |
Shadertoy task 2 |
558 |
21 |
|
| 41 |
Shadertoy task 3 |
863 |
18 |
|
| 42 |
Shadertoy task 4 |
723 |
14 |
|
| 43 |
Shadertoy task 5 |
1415 |
9 |
|
| 44 |
Heuristic Treedepth: PACE 2020 |
254 |
55 |
|
| 45 |
Exact Treedepth: PACE 2020 |
151 |
37 |
|
| 46 |
MISiO 6: Pacman |
1365 |
71 |
|
| 47 |
Heuristic Treedepth: PACE 2020 LITE |
1082 |
51 |
|
| 48 |
Exact Treedepth: PACE 2020 LITE |
335 |
43 |
|
| 49 |
Model Counting - Lite |
165 |
21 |
|
| 50 |
Weighted Model Counting - Lite |
156 |
14 |
|
| 51 |
Projected Model Counting - Lite |
33 |
8 |
|
| 52 |
MC2020 - Track 1: Model Counting |
66 |
17 |
|
| 53 |
MC2020 - Track 2: Weighted Model Counting |
19 |
11 |
|
| 54 |
MC2020 - Track 3: Projected Model Counting |
15 |
7 |
|
| 55 |
Heuristic Cluster Editing: PACE 2021 LITE |
862 |
93 |
|
| 56 |
Exact Cluster Editing: PACE 2021 LITE |
430 |
41 |
|
| 57 |
Kernelization Cluster Editing: PACE 2021 LITE |
91 |
16 |
|
| 58 |
Heuristic Cluster Editing: PACE 2021 |
386 |
95 |
|
| 59 |
Exact Cluster Editing: PACE 2021 |
163 |
46 |
|
| 60 |
Kernelization Cluster Editing: PACE 2021 |
38 |
13 |
|
| 61 |
Exact Directed Feedback Vertex Set: PACE 2022 LITE |
604 |
42 |
|
| 62 |
Heuristic Directed Feedback Vertex Set: PACE 2022 LITE |
1975 |
106 |
|
| 63 |
Exact Directed Feedback Vertex Set: PACE 2022 |
254 |
35 |
|
| 64 |
Heuristic Directed Feedback Vertex Set: PACE 2022 |
822 |
119 |
|
| 65 |
Prisoners Dilemma |
60 |
11 |
|
| 66 |
Genomic Matching A |
217 |
25 |
|
| 67 |
Genomic Matching B |
36 |
9 |
|
| 68 |
Genomic Matching C |
26 |
5 |
|
| 69 |
Making short paths long |
4833 |
81 |
|
| 70 |
Twinwidth: PACE 2023 LITE |
1549 |
74 |
|
| 71 |
EXACT TWINWIDTH: PACE 2023 |
211 |
30 |
|
| 72 |
HEURISTIC TWINWIDTH: PACE 2023 |
722 |
68 |
|
| 73 |
OCM: PACE2024 LITE |
1859 |
118 |
|
| 74 |
OCM: PACE2024 EXACT TRACK |
281 |
60 |
|
| 75 |
OCM: PACE2024 PARAMETERIZED TRACK |
119 |
35 |
|
| 76 |
OCM: PACE2024 HEURISTIC TRACK |
1112 |
126 |
|
| 77 |
Troublesome paths |
903 |
60 |
|
| 78 |
Resourceful Students - heuristic |
1037 |
55 |
|
| 79 |
Single source shortest paths |
522 |
43 |
|
| 80 |
FrogShopping |
1169 |
75 |
|
| 81 |
Resourceful Students - exact |
913 |
49 |
|
| 82 |
PACE 2025 - Hitting Set - Lite |
356 |
29 |
|
| 83 |
PACE 2025 - Dominating Set - Lite |
1498 |
75 |
|
| 84 |
PACE 2025 - Hitting Set - Heuristic |
175 |
25 |
|
| 85 |
PACE 2025 - Hitting Set - Exact |
71 |
20 |
|
| 86 |
PACE 2025 - Dominating Set - Heuristic |
747 |
101 |
|
| 87 |
PACE 2025 - Dominating Set - Exact |
128 |
37 |
|
| 88 |
Good Path - short |
5029 |
74 |
|
| 89 |
Good Path - long |
236 |
50 |
|
| 90 |
Prime paths - short |
3398 |
75 |
|
| 91 |
Prime paths - long |
303 |
59 |
|
| 92 |
Two Lips |
367 |
8 |
|
| 93 |
PACE 2026 Rooted Maximum Agreement Forest - LITE |
460 |
43 |
|
| 94 |
PACE 2026 Rooted Maximum Agreement Forest - EXACT - 100 instances |
48 |
19 |
|
| 95 |
PACE 2026 Rooted Maximum Agreement Forest - HEURISTIC - 100 instances |
231 |
23 |
|
| 96 |
PACE 2026 Rooted Maximum Agreement Forest - LOWER BOUND - 100 instances |
19 |
9 |
|
| 97 |
PACE 2026 Rooted Maximum Agreement Forest - HEURISTIC |
657 |
48 |
|
| 98 |
PACE 2026 Rooted Maximum Agreement Forest - EXACT |
186 |
32 |
|
| 99 |
PACE 2026 Rooted Maximum Agreement Forest - LOWER BOUND |
93 |
17 |
|