Commit 1ef84b55 authored by Jaime Arias's avatar Jaime Arias
Browse files

new formulas generated by Sami

parent 85206b0a
1;False
2;False
3;False
4;False
5;False
6;False
7;False
8;False
9;False
10;False
11;False
12;False
13;False
14;False
15;False
16;False
17;False
18;False
19;False
20;False
21;False
22;False
23;False
24;False
25;False
26;False
27;False
28;False
29;False
30;False
31;False
32;False
33;False
34;False
35;False
36;False
37;False
38;False
39;False
40;False
41;False
42;False
43;False
44;False
45;False
46;False
47;False
48;False
49;False
50;False
51;False
52;False
53;False
54;False
55;False
56;False
57;False
58;False
59;False
60;False
61;False
62;False
63;False
64;False
65;False
66;False
67;False
68;False
69;False
70;False
71;False
72;False
73;False
74;False
75;False
76;False
77;False
78;False
79;False
80;False
81;False
82;False
83;False
84;False
85;False
86;False
87;False
88;False
89;False
90;False
91;False
92;False
93;False
94;False
95;False
96;False
97;False
98;False
99;False
100;False
101;True
102;True
103;True
104;True
105;True
106;True
107;True
108;True
109;True
110;True
111;True
112;True
113;True
114;True
115;True
116;True
117;True
118;True
119;True
120;True
121;True
122;True
123;True
124;True
125;True
126;True
127;True
128;True
129;True
130;True
131;True
132;True
133;True
134;True
135;True
136;True
137;True
138;True
139;True
140;True
141;True
142;True
143;True
144;True
145;True
146;True
147;True
148;True
149;True
150;True
151;True
152;True
153;True
154;True
155;True
156;True
157;True
158;True
159;True
160;True
161;True
162;True
163;True
164;True
165;True
166;True
167;True
168;True
169;True
170;True
171;True
172;True
173;True
174;True
175;True
176;True
177;True
178;True
179;True
180;True
181;True
182;True
183;True
184;True
185;True
186;True
187;True
188;True
189;True
190;True
191;True
192;True
193;True
194;True
195;True
196;True
197;True
198;True
199;True
200;True
<>([](!((<>(Fork_2==1)) <-> ([]((Fork_4==1) || ([]((Think_8==1) -> (Eat_5==1))))))))
\ No newline at end of file
((Eat_5==1) && ((Catch1_10==1) <-> (<>(Catch1_3==1)))) <-> ([]((Catch1_1==1) || (Catch1_5==1) || ([](<>(Catch2_9==1)))))
\ No newline at end of file
<>([](!((<>("Fork_2")) <-> ([](("Fork_4") || ([](("Think_8") -> ("Eat_5"))))))))
\ No newline at end of file
(("Eat_5") && (("Catch1_10") <-> (<>("Catch1_3")))) <-> ([](("Catch1_1") || ("Catch1_5") || ([](<>("Catch2_9")))))
\ No newline at end of file
(([](!([](Fork_4==1)))) -> ((Catch1_5==1) && (Catch2_1==1))) || (((Catch1_8==1) -> (Catch2_9==1)) && (<>(Catch1_5==1)))
\ No newline at end of file
!((((Think_6==1) || ([](!((Fork_5==1) <-> ([](Catch2_4==1)))))) <-> (!([](Catch2_4==1)))) -> (Fork_6==1))
\ No newline at end of file
(([](!([]("Fork_4")))) -> (("Catch1_5") && ("Catch2_1"))) || ((("Catch1_8") -> ("Catch2_9")) && (<>("Catch1_5")))
\ No newline at end of file
!(((("Think_6") || ([](!(("Fork_5") <-> ([]("Catch2_4")))))) <-> (!([]("Catch2_4")))) -> ("Fork_6"))
\ No newline at end of file
[]((([](Think_3==1)) && ([](Catch1_3==1))) -> (<>(!(((Fork_1==1) || (Think_9==1)) && ([](Catch1_3==1))))))
\ No newline at end of file
[]((<>(!((!(Catch1_4==1)) -> ((Catch2_4==1) && (<>(Eat_7==1)))))) || ((Think_2==1) <-> ([](Catch2_9==1))))
\ No newline at end of file
[]((([]("Think_3")) && ([]("Catch1_3"))) -> (<>(!((("Fork_1") || ("Think_9")) && ([]("Catch1_3"))))))
\ No newline at end of file
[]((<>(!((!("Catch1_4")) -> (("Catch2_4") && (<>("Eat_7")))))) || (("Think_2") <-> ([]("Catch2_9"))))
\ No newline at end of file
(<>([](Think_3==1))) <-> ((Catch1_3==1) || (<>([](Think_3==1))))
\ No newline at end of file
(<>([]("Think_3"))) <-> (("Catch1_3") || (<>([]("Think_3"))))
\ No newline at end of file
[](([](Catch1_6==1)) -> ((Fork_5==1) <-> ((Catch2_5==1) && ([](!(Eat_10==1))))))
\ No newline at end of file
[](([]("Catch1_6")) -> (("Fork_5") <-> (("Catch2_5") && ([](!("Eat_10"))))))
\ No newline at end of file
!([]((Fork_1==1) && (!([]((Think_8==1) -> (<>((Eat_1==1) <-> ([](Eat_2==1)))))))))
\ No newline at end of file
!([](("Fork_1") && (!([](("Think_8") -> (<>(("Eat_1") <-> ([]("Eat_2")))))))))
\ No newline at end of file
[](((Catch1_3==1) -> ([](Think_1==1))) || (((Eat_3==1) && (Think_8==1)) -> (<>((!(Catch1_1==1)) && (Think_3==1)))))
\ No newline at end of file
[]((("Catch1_3") -> ([]("Think_1"))) || ((("Eat_3") && ("Think_8")) -> (<>((!("Catch1_1")) && ("Think_3")))))
\ No newline at end of file
[](<>(([](!(Eat_5==1))) -> (!([]((Think_3==1) && (<>([](Catch2_3==1))))))))
\ No newline at end of file
[](<>(([](!("Eat_5"))) -> (!([](("Think_3") && (<>([]("Catch2_3"))))))))
\ No newline at end of file
[](((Eat_8==1) -> ((Eat_2==1) -> (Catch2_9==1))) || (([](<>((Catch1_2==1) <-> (Think_2==1)))) -> (!(Fork_8==1))))
\ No newline at end of file
[]((("Eat_8") -> (("Eat_2") -> ("Catch2_9"))) || (([](<>(("Catch1_2") <-> ("Think_2")))) -> (!("Fork_8"))))
\ No newline at end of file
(Catch2_9==1) <-> ((((Catch1_10==1) <-> ((Catch2_4==1) <-> (Fork_2==1))) <-> ((Catch1_4==1) && (Catch1_9==1))) <-> ((Eat_2==1) -> (Fork_2==1)))
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment