| 1 |
Tutorial |
914 |
142 |
|
| 2 |
TSP |
1721 |
61 |
|
| 3 |
Weekly TSP |
59 |
8 |
|
| 4 |
Factories |
6022 |
163 |
|
| 5 |
Lumberjack |
9939 |
209 |
|
| 6 |
Domino Lumberjack |
92 |
37 |
|
| 7 |
Minimal Treewidth: PACE 2017 A2 |
34 |
5 |
|
| 8 |
Treewidth Lite: PACE 2017 A |
27 |
6 |
|
| 9 |
Optimal Treewidth: PACE 2017 A1 |
1 |
1 |
|
| 10 |
Minimum Fill In: PACE 2017 B |
76 |
12 |
|
| 11 |
Minimum Fill In Lite: PACE 2017 B |
253 |
18 |
|
| 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 |
334 |
16 |
|
| 19 |
Jobshop |
313 |
15 |
|
| 20 |
Capacitated Vehicle Routing Problem with Time Windows |
368 |
17 |
|
| 21 |
Minimum Steiner Tree: PACE 2018 A |
193 |
41 |
|
| 22 |
Minimum Steiner Tree: PACE 2018 B |
102 |
17 |
|
| 23 |
Optimal Steiner Tree: PACE 2018 C |
376 |
47 |
|
| 24 |
Minimum Steiner Tree Lite: PACE 2018 A |
471 |
37 |
|
| 25 |
Minimum Steiner Tree Lite: PACE 2018 B |
194 |
17 |
|
| 26 |
Optimal Steiner Tree Lite: PACE 2018 C |
1195 |
46 |
|
| 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 |
2494 |
138 |
|
| 31 |
MISIO 1: AIMA Vacuum World |
2310 |
151 |
|
| 32 |
Exact Vertex Cover Lite: PACE 2019 A |
499 |
24 |
|
| 33 |
Exact Hypertree Width Lite: PACE 2019 B |
96 |
4 |
|
| 34 |
MISiO 3: Lost Wumpus |
2124 |
125 |
|
| 35 |
MISiO 4: MDP 1 (AIMA) |
831 |
121 |
|
| 36 |
MISiO 5: MDP (Wumpus Store) |
1386 |
114 |
|
| 37 |
MISiO 7: Actor-Critic |
794 |
51 |
|
| 38 |
Automatic Differentiation |
340 |
24 |
|
| 39 |
Shadertoy task 1 |
2051 |
61 |
|
| 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 |
1066 |
50 |
|
| 47 |
Heuristic Treedepth: PACE 2020 LITE |
1077 |
50 |
|
| 48 |
Exact Treedepth: PACE 2020 LITE |
332 |
42 |
|
| 49 |
Model Counting - Lite |
163 |
20 |
|
| 50 |
Weighted Model Counting - Lite |
112 |
13 |
|
| 51 |
Projected Model Counting - Lite |
31 |
7 |
|
| 52 |
MC2020 - Track 1: Model Counting |
66 |
17 |
|
| 53 |
MC2020 - Track 2: Weighted Model Counting |
19 |
11 |
|
| 54 |
MC2020 - Track 3: Projected Model Counting |
16 |
7 |
|
| 55 |
Heuristic Cluster Editing: PACE 2021 LITE |
196 |
25 |
|
| 56 |
Exact Cluster Editing: PACE 2021 LITE |
194 |
20 |
|
| 57 |
Kernelization Cluster Editing: PACE 2021 LITE |
19 |
5 |
|
| 58 |
Heuristic Cluster Editing: PACE 2021 |
80 |
20 |
|
| 59 |
Exact Cluster Editing: PACE 2021 |
60 |
19 |
|
| 60 |
Kernelization Cluster Editing: PACE 2021 |
4 |
4 |
|