Problems

# Problem name Solutions Users Submit
1 Tutorial 802 125
2 TSP 1691 57
3 Weekly TSP 53 7
4 Factories 1631 95
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 375 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 1191 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 2153 115
31 MISIO 1: AIMA Vacuum World 1893 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 1889 106
35 MISiO 4: MDP 1 (AIMA) 704 106
36 MISiO 5: MDP (Wumpus Store) 1315 98
37 MISiO 7: Actor-Critic 415 26
38 Automatic Differentiation 340 24
39 Shadertoy task 1 2051 61
40 Shadertoy task 2 558 21
41 Shadertoy task 3 861 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 843 43
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