Problems

# Problem name Solutions Users Submit
1 Tutorial 746 124
2 TSP 1689 56
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 234 25
28 Exact Hypertree Width: PACE 2019 B 27 5
29 Heuristic Hypertree Width: PACE 2019 C 24 4
30 MISiO 2: Uncertain Wumpus 2153 115
31 MISIO 1: AIMA Vacuum World 1891 122
32 Exact Vertex Cover Lite: PACE 2019 A 500 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) 1313 97
37 Automatic Differentiation 340 24
38 Shadertoy task 1 2051 61
39 Shadertoy task 2 558 21
40 Shadertoy task 3 861 18
41 Shadertoy task 4 723 14
42 Shadertoy task 5 1415 9
43 Heuristic Treedepth: PACE 2020 244 50
44 Exact Treedepth: PACE 2020 128 30
45 MISiO 6: Pacman 144 6
46 Heuristic Treedepth: PACE 2020 LITE 1033 47
47 Exact Treedepth: PACE 2020 LITE 292 36
48 Model Counting - Lite 158 17
49 Weighted Model Counting - Lite 86 8
50 Projected Model Counting - Lite 26 5
51 MC2020 - Track 1: Model Counting 50 17
52 MC2020 - Track 2: Weighted Model Counting 26 9