1 |
Tutorial |
854 |
131 |
|
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 |
2161 |
115 |
|
31 |
MISIO 1: AIMA Vacuum World |
1894 |
122 |
|
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 |
1955 |
107 |
|
35 |
MISiO 4: MDP 1 (AIMA) |
704 |
106 |
|
36 |
MISiO 5: MDP (Wumpus Store) |
1315 |
98 |
|
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 |
1064 |
49 |
|
47 |
Heuristic Treedepth: PACE 2020 LITE |
1076 |
49 |
|
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 |
15 |
6 |
|