Problems
# | Problem name | Solutions | Users | Submit |
---|---|---|---|---|
1 | Tutorial | 1107 | 193 | |
2 | TSP | 1987 | 77 | |
3 | Weekly TSP | 61 | 9 | |
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 | 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 | 377 | 47 | |
24 | Minimum Steiner Tree Lite: PACE 2018 A | 472 | 38 | |
25 | Minimum Steiner Tree Lite: PACE 2018 B | 194 | 17 | |
26 | Optimal Steiner Tree Lite: PACE 2018 C | 1196 | 47 | |
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 | 526 | 25 | |
33 | Exact Hypertree Width Lite: PACE 2019 B | 96 | 4 | |
34 | MISiO 3: Lost Wumpus | 2194 | 127 | |
35 | MISiO 4: MDP 1 (AIMA) | 863 | 123 | |
36 | MISiO 5: MDP (Wumpus Store) | 1403 | 117 | |
37 | MISiO 7: Actor-Critic | 793 | 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 | 1356 | 69 | |
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 | 15 | 7 | |
55 | Heuristic Cluster Editing: PACE 2021 LITE | 857 | 91 | |
56 | Exact Cluster Editing: PACE 2021 LITE | 426 | 40 | |
57 | Kernelization Cluster Editing: PACE 2021 LITE | 88 | 15 | |
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 | 602 | 41 | |
62 | Heuristic Directed Feedback Vertex Set: PACE 2022 LITE | 1954 | 103 | |
63 | Exact Directed Feedback Vertex Set: PACE 2022 | 254 | 35 | |
64 | Heuristic Directed Feedback Vertex Set: PACE 2022 | 803 | 118 | |
65 | Prisoners Dilemma | 56 | 9 | |
66 | Genomic Matching A | 207 | 21 | |
67 | Genomic Matching B | 21 | 6 | |
68 | Genomic Matching C | 2 | 2 | |
69 | Twinwidth: PACE 2023 LITE | 609 | 43 | |
70 | EXACT TWINWIDTH: PACE 2023 | 211 | 30 | |
71 | HEURISTIC TWINWIDTH: PACE 2023 | 244 | 31 |