-
Notifications
You must be signed in to change notification settings - Fork 11
Expand file tree
/
Copy pathevaluation_uttt_states.py
More file actions
55 lines (55 loc) · 5.05 KB
/
evaluation_uttt_states.py
File metadata and controls
55 lines (55 loc) · 5.05 KB
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
EVALUATION_UTTT_STATES = [
# all unique states at depth 1:
"100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200",
"010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000210",
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000220",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000240",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000250",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000280",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000200",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000210",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000230",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000240",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000260",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000270",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000200",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000210",
"000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000240",
# top opening states:
"000000000000000000000000000000000000000010002000000000000000100000000000000000201000000000260",
"000000001000000000000000000000000000000010200000000000200000100000000000000000000000000000280",
"000000000000000000001000200000000000002010000000000000100000000000000000000000000000000000200",
"000000000000000000001000000000000000000010200000000000002000100000000000000000000000000000220",
"000001001000000000000000000000000000200010000000000000000000000000000000200000000000000000250",
"000000000000000000000000200000000000000010200000000000101000000000000000000000000000000000200",
"002000000000000000001000000000000000000010002000000000000000000000000000100000000000000000220",
"000000001000000000000000000000000000200010000000000000001000000000000000000000200000000000220",
"200000001000000000000000000000000000000010200000000000100000000000000000000000000000000000280",
"001000000000000000000000200000000000200010000000000000001000000000000000000000000000000000220",
"000000000000000000000001000000000000002010000000000000000000000000000000000000000000000000250",
"000000000000000000000000000000000000000010002000000000000000000000000000000010000000000000240",
"000000000000000000000100000000000000002010000000000000000000000000000000000000000000000000230",
# random positions at depth 6:
"000000000010000020000000000000001000000000000000200000000000000000200010000000000000000000130",
"000001000001000000220000000000000000001000000000000200000000000000000000000000000000000000160",
"000000000020001000000000010000000000000000000002000000000000000000200000010000000000000000130",
"002010000000200000010000000000000000100020000000000000000000000000000000000000000000000000130",
"000020001000000000100000000000000000000000100000000000200000000000000000000200000000000000130",
"000000000000000200000000000000002000000100000010000000000020100000000000000000000000000000140",
"002010000000000000000000000000000000100020000000000000000000001000000000200000000000000000120",
"000000000000002001000000000000000000000000000000201000000000000000000000010000002000000000130",
"000000000002000000000000000000000000000000101000000000010020000000000000000000200000000000120",
"200000100000000000100000001000000000000000000000000000002000000000000000000020000000000000140",
"000000000020000000000000000000010000010020000000201000000000000000000000000000000000000000110",
"000000000000000000000000000000000002000012000000100000000000000000000000200000001000000000100",
"000100000200000000000000000000000200010000000000000020000001000000000000000000000000000000170",
"200000000002000000110000000000000000000000000000000000000000000002000000000000010000000000100",
"000000000000000100000000100000000000000000010000000000000022000020000000000000000000000000150",
"000000000000000010000000100200000000000000000000100000000002000002000000000000000000000000100",
"000000000000000001000000000000000000000000010000000000000020100020000000000000002000000000180",
"002000000000000000100000100000000000000000001000000000000002000000000000002000000000000000150",
"000000000000000000020000000001000000000200000000010000000002000000000100000000000000000000110",
"000000000000000020000000000000000010000000000000200000000000000012001000000000000000000000120",
"000010000000000000000000100000000000002020000000000000200010000000000000000000000000000000140",
"000000000000000000000000020001000000000000012000000000000000000000210000000000000000000000180",
]