ABCDEFGHIJKLMNOPQRSTUVWXYZAAAB
1
Totals ==>73168791700240304
2
Ok?BPBSIBSQIFIGIPOIWUEUTSUSXRV
Scope
AnswerExplanationIDFormulaExpected
3
1
When the engine is on it must be on in the state three states ahead
R_27a5agmUGBPg8s5
E ==> X(X(X(E)))
E now implies E in 3 steps
4
1
The engine being on implies the engine will be on in the next next next state (3 states from when on).
R_yHCfzP3IuEdXrDH
E ==> X(X(X(E)))
E now implies E in 3 steps
5
11
If the engine is on, the engine must turn on in the next three states.
R_3l0w6YvuIwEZQBz
E ==> X(X(X(E)))
E now implies E in 3 steps
6
1
If the engine's on, it'll also be on 3 states from now.
R_2qEl9H2Wc5bvrQU
E ==> X(X(X(E)))
E now implies E in 3 steps
7
1
The engine being on in the current state means that it will be on 3 states from now.
R_9HTWz8OvCkT7pux
E ==> X(X(X(E)))
E now implies E in 3 steps
8
1
If the engine starts on, it will be on in the fourth state
R_2P6Bkpbzq11Ssb2
E ==> X(X(X(E)))
E now implies E in 3 steps
9
1The engine is on now and in three states
R_31oOMwNEYkyq3es
E ==> X(X(X(E)))
E now implies E in 3 steps
10
1
The engine is on for zero or more states and then turns off.
R_pLPdboAsBFdOkAp
E ==> X(X(X(E)))
E now implies E in 3 steps
11
1answer
R_2BzybV6L9Nw3wsp
E ==> X(X(X(E)))
E now implies E in 3 steps
12
1
If the engine is on in the first state, it is also on in the third state.
R_2E3FziYrlSKm5tz
E ==> X(X(X(E)))
E now implies E in 3 steps
13
1
If the engine is on, the next next next state will have its engine on as well
R_3GE5vB088hW7pNS
E ==> X(X(X(E)))
E now implies E in 3 steps
14
1
If an engine is on then in 3 steps it will be on again.
R_23TtFmRGuFkXz3J
E ==> X(X(X(E)))
E now implies E in 3 steps
15
1
If the engine is on in the current state, it will also be on in the third state after the current state
R_p0efcDoDcDSMew9
E ==> X(X(X(E)))
E now implies E in 3 steps
16
1
If the engine is on then it will be on in the next next next state.
R_1i8K87vtmYbKNq0
E ==> X(X(X(E)))
E now implies E in 3 steps
17
check rubric11
If the engine is on then the engine is not on for the next three states.
R_RJhD3rjJLGxUHmN
E ==> X(X(X(E)))
E now implies E in 3 steps
18
1
If the engine is on in the first state then the engine will be on in the 4th state.
R_20YbToRn1f2fO7V
E ==> X(X(X(E)))
E now implies E in 3 steps
19
1
if the engine is on then the engine will be on in the third state from now
R_w5JmqaNekoVdjkR
E ==> X(X(X(E)))
E now implies E in 3 steps
20
1
If the engine is on, then the engine is on three states from now.
R_3EYmP1n2awyc6yQ
E ==> X(X(X(E)))
E now implies E in 3 steps
21
1
When engine is on, engine is also on three traces after.
R_3EXaHmkHBQXq7Xo
E ==> X(X(X(E)))
E now implies E in 3 steps
22
11
When the engine is on, it will continue to be on for the next 3 states
R_3fqL6CKhq02gxE4
E ==> X(X(X(E)))
E now implies E in 3 steps
23
1
Whenever the engine is on, it is also on in the next next next state.
R_2VkDkfHF7bMFHSt
E ==> X(X(X(E)))
E now implies E in 3 steps
24
1
Whenever the engine is on in a state, it is also on in the fourth state from that state.
R_8xqucc6088jyq41
E ==> X(X(X(E)))
E now implies E in 3 steps
25
1
If the engine is on in the first state, it will also be on in the fourth state.
R_1ojydOxCaXzpuTa
E ==> X(X(X(E)))
E now implies E in 3 steps
26
1
If the engine is on, then three states later, the engine will be on again.
R_2qxUUOosAISA3rn
E ==> X(X(X(E)))
E now implies E in 3 steps
27
1
Engine is eventually always on in the next three states
R_27a5agmUGBPg8s5
X(X(F(X(E))))
E at 4th state or later
28
1
After two states, the engine will be on at some point after the next state
R_yHCfzP3IuEdXrDH
X(X(F(X(E))))
E at 4th state or later
29
1
If the engine is on in the next state, the engine will eventually turn on in two states.
R_3l0w6YvuIwEZQBz
X(X(F(X(E))))
E at 4th state or later
30
1
There's a state (3rd state or later) where the engine's on.
R_2qEl9H2Wc5bvrQU
X(X(F(X(E))))
E at 4th state or later
31
1
The engine will be on sometime between two-states-ahead and the end of the tract
R_9HTWz8OvCkT7pux
X(X(F(X(E))))
E at 4th state or later
32
1
Starting from the fourth state, the engine will eventually be on
R_2P6Bkpbzq11Ssb2
X(X(F(X(E))))
E at 4th state or later
33
1
Starting two states from now, there's eventually a state from which the next state has the engine on
R_31oOMwNEYkyq3es
X(X(F(X(E))))
E at 4th state or later
34
1
The engine is on for zero or more states and then turns off.
R_pLPdboAsBFdOkAp
X(X(F(X(E))))
E at 4th state or later
35
1answer
R_2BzybV6L9Nw3wsp
X(X(F(X(E))))
E at 4th state or later
36
1
Starting at the third state, the engine will eventually always be on in the next state.
R_2E3FziYrlSKm5tz
X(X(F(X(E))))
E at 4th state or later
37
1
If the engine is on in the next state, the engine will eventually be on in the next next state
R_3GE5vB088hW7pNS
X(X(F(X(E))))
E at 4th state or later
38
1
An engine will eventually be on after 1 step on after the initial two steps.
R_23TtFmRGuFkXz3J
X(X(F(X(E))))
E at 4th state or later
39
1
Two states from now, there will eventually be some state where the engine is on in the state after that
R_p0efcDoDcDSMew9
X(X(F(X(E))))
E at 4th state or later
40
1No clue
Honestly confused when it comes to nesting with X
R_1i8K87vtmYbKNq0
X(X(F(X(E))))
E at 4th state or later
41
check rubric1
If the engine is not on for the first state then the engine will be off for the next two states.
R_RJhD3rjJLGxUHmN
X(X(F(X(E))))
E at 4th state or later
42
1
In two states there will eventually be a state where the engine is on in the next state.
R_20YbToRn1f2fO7V
X(X(F(X(E))))
E at 4th state or later
43
1
2 states from now the engine will eventually be on in the following state
R_w5JmqaNekoVdjkR
X(X(F(X(E))))
E at 4th state or later
44
1
Two states from now the engine will be eventually on in the next state.
R_3EYmP1n2awyc6yQ
X(X(F(X(E))))
E at 4th state or later
45
1
After the first two traces, there is a state where the next state has engine on.
R_3EXaHmkHBQXq7Xo
X(X(F(X(E))))
E at 4th state or later
46
1I don't know
R_3fqL6CKhq02gxE4
X(X(F(X(E))))
E at 4th state or later
47
1
In the next next (2) state, the next state is eventually going to have the engine on.
R_2VkDkfHF7bMFHSt
X(X(F(X(E))))
E at 4th state or later
48
1
Two states after the current state, we reach a state where eventually the next state has the engine on.
R_8xqucc6088jyq41
X(X(F(X(E))))
E at 4th state or later
49
1
After the third state, the engine will be on at some point.
I think that in this case the formula is equivalent to X(X(X(F(Engine))))
R_1ojydOxCaXzpuTa
X(X(F(X(E))))
E at 4th state or later
50
1
In 2 states, there will eventually be a series of states where the next state always has the engine on
R_2qxUUOosAISA3rn
X(X(F(X(E))))
E at 4th state or later
51
1
When engine is eventually on then light is always on
R_27a5agmUGBPg8s5
F(E) ==> G(L)
if ever E, then L always from start
52
check rubric111
The engine will be on at some point, which implies the light will always be on
I'm not 100% certain about the wording. I'm trying to say that the engine will turn on at some point, and at that point, the light will remain on forever. The engine can turn off after that point, but the light must remain on.
R_yHCfzP3IuEdXrDH
F(E) ==> G(L)
if ever E, then L always from start
53
1
If the engine turns on, the light will eventually always remain on.
R_3l0w6YvuIwEZQBz
F(E) ==> G(L)
if ever E, then L always from start
54
1
If there's some state with the engine on, the light must always be on.
R_2qEl9H2Wc5bvrQU
F(E) ==> G(L)
if ever E, then L always from start
55
1
If the engine ever turns on, the light must always be on for the whole trace.
R_9HTWz8OvCkT7pux
F(E) ==> G(L)
if ever E, then L always from start
56
1
If the engine is on at any point, the light is always on
R_2P6Bkpbzq11Ssb2
F(E) ==> G(L)
if ever E, then L always from start
57
1If the engine is ever on, the light is always on
R_31oOMwNEYkyq3es
F(E) ==> G(L)
if ever E, then L always from start
58
1
The engine is on for zero or more states and then turns off.
R_pLPdboAsBFdOkAp
F(E) ==> G(L)
if ever E, then L always from start
59
1answer
R_2BzybV6L9Nw3wsp
F(E) ==> G(L)
if ever E, then L always from start
60
1
If the engine is eventually always on, then the light is always on in all states.
R_2E3FziYrlSKm5tz
F(E) ==> G(L)
if ever E, then L always from start
61
1
If eventually the engine is on, the light will be on in all states
R_3GE5vB088hW7pNS
F(E) ==> G(L)
if ever E, then L always from start
62
1
When the engine eventually turns on, it means that the light will always be on.
R_23TtFmRGuFkXz3J
F(E) ==> G(L)
if ever E, then L always from start
63
1
The light is always on if the engine will eventually be on
R_p0efcDoDcDSMew9
F(E) ==> G(L)
if ever E, then L always from start
64
1
If there is eventually a state where the engine is on, then the light is always on.
R_1i8K87vtmYbKNq0
F(E) ==> G(L)
if ever E, then L always from start
65
check rubric11
If the engine is on in at least one state then the lights are going to be on in all the next states.
R_RJhD3rjJLGxUHmN
F(E) ==> G(L)
if ever E, then L always from start
66
1
If the engine eventually turns on for at least 1 state then the light is always on.
R_20YbToRn1f2fO7V
F(E) ==> G(L)
if ever E, then L always from start
67
check rubric111
once the engine is on, the light will always be on
R_w5JmqaNekoVdjkR
F(E) ==> G(L)
if ever E, then L always from start
68
1
If the engine is eventually on, then the light is always on.
R_3EYmP1n2awyc6yQ
F(E) ==> G(L)
if ever E, then L always from start
69
1
If engine is on at some point of the system, the light is on for all states.
R_3EXaHmkHBQXq7Xo
F(E) ==> G(L)
if ever E, then L always from start
70
check rubric111Once the engine is on, the light will be on
R_3fqL6CKhq02gxE4
F(E) ==> G(L)
if ever E, then L always from start
71
1
If there exists an engine on state in the trace, then that implies that the light is on globally throughout the trace.
R_2VkDkfHF7bMFHSt
F(E) ==> G(L)
if ever E, then L always from start
72
1
Eventually having the engine on means the light is always on
R_8xqucc6088jyq41
F(E) ==> G(L)
if ever E, then L always from start
73
1
If the engine will be on at any point in the trace, the light must always be on.
R_1ojydOxCaXzpuTa
F(E) ==> G(L)
if ever E, then L always from start
74
wow, F=suffix1
If there is an end series of states where the engine is always on, then the light will be on for every state.
R_2qxUUOosAISA3rn
F(E) ==> G(L)
if ever E, then L always from start
75
1Engine or light are on and engine is always on
R_27a5agmUGBPg8s5
(E U L) & G(E)
always E eventually L
76
1
The engine is on until the light turns on and the engine is always on.
R_yHCfzP3IuEdXrDH
(E U L) & G(E)
always E eventually L
77
ignores G1
The engine will remain on until the light turns on.
R_3l0w6YvuIwEZQBz
(E U L) & G(E)
always E eventually L
78
1
The engine is always on and the light turns on at some point.
R_2qEl9H2Wc5bvrQU
(E U L) & G(E)
always E eventually L
79
1The engine is always on
R_9HTWz8OvCkT7pux
(E U L) & G(E)
always E eventually L
80
1
The engine is always on, and the light eventually comes on
R_2P6Bkpbzq11Ssb2
(E U L) & G(E)
always E eventually L
81
1
The engine is always on and the light is eventually on
R_31oOMwNEYkyq3es
(E U L) & G(E)
always E eventually L
82
1
The engine is on for zero or more states and then turns off.
R_pLPdboAsBFdOkAp
(E U L) & G(E)
always E eventually L
83
1answer
R_2BzybV6L9Nw3wsp
(E U L) & G(E)
always E eventually L
84
1
The engine is on until the light turns on and the engine is always on
R_2E3FziYrlSKm5tz
(E U L) & G(E)
always E eventually L
85
1
If the engine and light are on, then the engine will be on for al states
R_3GE5vB088hW7pNS
(E U L) & G(E)
always E eventually L
86
1
The engine is on until the light turns on, and the engine is always on.
R_23TtFmRGuFkXz3J
(E U L) & G(E)
always E eventually L
87
1
The light switches on after some number of states where the engine is on and the engine is always on
R_p0efcDoDcDSMew9
(E U L) & G(E)
always E eventually L
88
1
The engine is on at least until the light turns on, and the engine is always on.
R_1i8K87vtmYbKNq0
(E U L) & G(E)
always E eventually L
89
wow1
If the engine and the light are on, then there is at least one state where the engine is going to be on.
R_RJhD3rjJLGxUHmN
(E U L) & G(E)
always E eventually L
90
11
The engine is always on and the light never turns on.
R_20YbToRn1f2fO7V
(E U L) & G(E)
always E eventually L
91
1
the engine is on until the light is on and the engine is always on
R_w5JmqaNekoVdjkR
(E U L) & G(E)
always E eventually L
92
1
The engine is on until the light is on, and the engine is always on.
R_3EYmP1n2awyc6yQ
(E U L) & G(E)
always E eventually L
93
1
Engine is always on until the light is on at some state and engine is always on.
R_3EXaHmkHBQXq7Xo
(E U L) & G(E)
always E eventually L
94
close, but under-specified; need Engine before the E+L states
1
The engine and the light are on for zero or more states and the engine continues to stay on
R_3fqL6CKhq02gxE4
(E U L) & G(E)
always E eventually L
95
1
The engine is on until the light is on and the engine is on throughout the entire trace.
R_2VkDkfHF7bMFHSt
(E U L) & G(E)
always E eventually L
96
11
The engine is on until the light is on, and the engine is always on. (The light is never on)
R_8xqucc6088jyq41
(E U L) & G(E)
always E eventually L
97
1
The engine will always be on, and the light will turn on at least once.
R_1ojydOxCaXzpuTa
(E U L) & G(E)
always E eventually L
98
1
The engine is on until the light is on and the engine is always on.
Not sure this one makes sense.
R_2qxUUOosAISA3rn
(E U L) & G(E)
always E eventually L
99
1
always when engine is on it is not on in the state but on in two states ahead
R_27a5agmUGBPg8s5
G(E ==> (X(!E) & XX(E)))
Whenever E, goes on-off forevermore
100
1
The engine being on always implies that the engine will be off in the next state and the engine will be on in two states.
The engine will alternate being on and off in each state
R_yHCfzP3IuEdXrDH
G(E ==> (X(!E) & XX(E)))
Whenever E, goes on-off forevermore
101
1
The engine will on on whenever, the engine is off in the next state and the engine is on in the state after that.
R_3l0w6YvuIwEZQBz
G(E ==> (X(!E) & XX(E)))
Whenever E, goes on-off forevermore
102
1
If the engine ever turns on, it alternates between on and off after that.
R_2qEl9H2Wc5bvrQU
G(E ==> (X(!E) & XX(E)))
Whenever E, goes on-off forevermore
103
1The engine will toggle on and off each state
R_9HTWz8OvCkT7pux
G(E ==> (X(!E) & XX(E)))
Whenever E, goes on-off forevermore
104
1
After the engine is first turned on, it will alternate between on and off
R_2P6Bkpbzq11Ssb2
G(E ==> (X(!E) & XX(E)))
Whenever E, goes on-off forevermore
105
1
Whenever the engine is on, it's off in the next state and back on in two states
R_31oOMwNEYkyq3es
G(E ==> (X(!E) & XX(E)))
Whenever E, goes on-off forevermore
106
1
The engine is on for zero or more states and then turns off.
R_pLPdboAsBFdOkAp
G(E ==> (X(!E) & XX(E)))
Whenever E, goes on-off forevermore
107
1answer
R_2BzybV6L9Nw3wsp
G(E ==> (X(!E) & XX(E)))
Whenever E, goes on-off forevermore
108
1
It is always true that whenever the engine is on, the engine is off in the next state and the engine is on in two states.
R_2E3FziYrlSKm5tz
G(E ==> (X(!E) & XX(E)))
Whenever E, goes on-off forevermore
109
1
For every state, if the engine is on, the engine will be off in the next state and on in the next next state.
R_3GE5vB088hW7pNS
G(E ==> (X(!E) & XX(E)))
Whenever E, goes on-off forevermore
110
1Not sure
R_23TtFmRGuFkXz3J
G(E ==> (X(!E) & XX(E)))
Whenever E, goes on-off forevermore
111
1
Whenever the engine is on, it will be off in the next state and on again in the state after the next state
R_p0efcDoDcDSMew9
G(E ==> (X(!E) & XX(E)))
Whenever E, goes on-off forevermore
112
1
It is always true that if the engine is on then the engine will be off in the next state and on in the state after that.
R_1i8K87vtmYbKNq0
G(E ==> (X(!E) & XX(E)))
Whenever E, goes on-off forevermore
113
11
If the engine is on for the first state then everything except the engine will be on in the next state and the engine will be on again in the 3rd stage.
R_RJhD3rjJLGxUHmN
G(E ==> (X(!E) & XX(E)))
Whenever E, goes on-off forevermore
114
1
Whenever the engine turns on the engine will turn off in the next state and turn back on again in the state after.
R_20YbToRn1f2fO7V
G(E ==> (X(!E) & XX(E)))
Whenever E, goes on-off forevermore
115
1
whenever the engine is on, the engine is not on in the following state and it is on 2 states from then
R_w5JmqaNekoVdjkR
G(E ==> (X(!E) & XX(E)))
Whenever E, goes on-off forevermore
116
1
It must always be the case that if the engine is on, then the engine is off in the next state and the engine is on two states from now.
R_3EYmP1n2awyc6yQ
G(E ==> (X(!E) & XX(E)))
Whenever E, goes on-off forevermore
117
1
When the engine is on, it is off the next state and it is back on again the state after.
R_3EXaHmkHBQXq7Xo
G(E ==> (X(!E) & XX(E)))
Whenever E, goes on-off forevermore
118
11
If the engine is on, it will be on in the next state and in the following 2 states
R_3fqL6CKhq02gxE4
G(E ==> (X(!E) & XX(E)))
Whenever E, goes on-off forevermore
119
1
If the engine is on then the next state the engine is off and in the next next state the engine is on again throughout the entire trace (globally)
R_2VkDkfHF7bMFHSt
G(E ==> (X(!E) & XX(E)))
Whenever E, goes on-off forevermore
120
1
Having the engine on always results in the engine not being on in the next state, or the engine is on two states after the current state.
R_8xqucc6088jyq41
G(E ==> (X(!E) & XX(E)))
Whenever E, goes on-off forevermore
121
1
Once the engine first turns on, it must alternate between being on and off with every time step.
R_1ojydOxCaXzpuTa
G(E ==> (X(!E) & XX(E)))
Whenever E, goes on-off forevermore
122
1
If the engine is on in any state, then the next state will not be on and the state after that will be on
R_2qxUUOosAISA3rn
G(E ==> (X(!E) & XX(E)))
Whenever E, goes on-off forevermore