-
Notifications
You must be signed in to change notification settings - Fork 7
/
ungroundable-ipc-problems.txt
57 lines (57 loc) · 2.82 KB
/
ungroundable-ipc-problems.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
total-order/Hiking/p27.hddl
total-order/Hiking/p28.hddl
total-order/Hiking/p29.hddl
total-order/Hiking/p30.hddl
total-order/Minecraft-Regular/p-5-5-5-25.hddl
total-order/Minecraft-Regular/p-5-5-5-30.hddl
total-order/Minecraft-Regular/p-5-5-5-35.hddl
total-order/Minecraft-Regular/p-5-5-5-40.hddl
total-order/Minecraft-Regular/p-5-5-5-45.hddl
total-order/Minecraft-Regular/p-5-5-5-50.hddl
total-order/Minecraft-Regular/p-9-9-9-25.hddl
total-order/Minecraft-Regular/p-9-9-9-30.hddl
total-order/Minecraft-Regular/p-9-9-9-35.hddl
total-order/Minecraft-Regular/p-9-9-9-40.hddl
total-order/Minecraft-Regular/p-9-9-9-45.hddl
total-order/Minecraft-Regular/p-9-9-9-50.hddl
total-order/Minecraft-Regular/p-030-030-030-030.hddl
total-order/Minecraft-Regular/p-035-035-035-035.hddl
total-order/Minecraft-Regular/p-040-040-040-040.hddl
total-order/Minecraft-Regular/p-045-045-045-045.hddl
total-order/Minecraft-Regular/p-050-050-050-050.hddl
total-order/Minecraft-Player/p-003-003-006-006.hddl
total-order/Minecraft-Player/p-003-004-006-006.hddl
total-order/Minecraft-Player/p-003-005-005-005.hddl
total-order/Minecraft-Player/p-004-004-006-006.hddl
total-order/Minecraft-Player/p-004-005-004-005.hddl
total-order/Minecraft-Player/p-004-005-006-006.hddl
total-order/Minecraft-Player/p-005-005-005-005.hddl
total-order/Minecraft-Player/p-005-005-006-006.hddl
total-order/Minecraft-Player/p-006-006-006-006.hddl
total-order/Minecraft-Player/p-007-007-007-007.hddl
total-order/Minecraft-Player/p-008-008-008-008.hddl
total-order/Minecraft-Player/p-009-009-009-009.hddl
total-order/Minecraft-Player/p-010-010-010-010.hddl
total-order/Minecraft-Player/p-011-011-011-011.hddl
total-order/Minecraft-Player/p-012-012-012-012.hddl
total-order/Minecraft-Player/p-013-013-013-013.hddl
total-order/SharpSAT/problems/p-exactlyone-20.hddl
total-order/SharpSAT/problems/p-3SAT-20vars-phasetrans.hddl
total-order/SharpSAT/problems/p-3SAT-40vars-phasetrans.hddl
total-order/SharpSAT/problems/p-3SAT-70vars-phasetrans.hddl
total-order/SharpSAT/problems/p-3SAT-100vars-phasetrans.hddl
total-order/SharpSAT/problems/p-3SAT-200vars-phasetrans.hddl
total-order/SharpSAT/problems/p-3SAT-300vars-phasetrans.hddl
total-order/Snake/problems/pb-24slots-seed1.snake.hddl
total-order/Snake/problems/pb-28slots-seed1.snake.hddl
total-order/Snake/problems/pb-32slots-seed1.snake.hddl
total-order/Snake/problems/pb-36slots-seed1.snake.hddl
total-order/Snake/problems/pb-40slots-seed1.snake.hddl
total-order/Snake/problems/pb-45slots-seed1.snake.hddl
total-order/Snake/problems/pb-50slots-seed1.snake.hddl
total-order/Snake/problems/pb-55slots-seed1.snake.hddl
total-order/Snake/problems/pb-60slots-seed1.snake.hddl
total-order/Snake/problems/pb-65slots-seed1.snake.hddl
total-order/Snake/problems/pb-70slots-seed1.snake.hddl
total-order/Snake/problems/pb-75slots-seed1.snake.hddl
total-order/Snake/problems/pb-80slots-seed1.snake.hddl