Skip to content

Commit 40e015a

Browse files
alberto-paparellaalberto-paparella
committed
New experiment branch
1 parent cf535b4 commit 40e015a

5 files changed

Lines changed: 61 additions & 52 deletions

File tree

‎experiments/.gitignore‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
*.toml

‎experiments/alphasat/mvcl-tableau.jl‎

Lines changed: 15 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ import SoleLogics: sample
99
myalphabet = Atom.(["p", "q", "r"])
1010

1111
min_height = 1
12-
max_height = 7
12+
max_height = 6
1313
max_it = 99999
1414
max_avg = 200
1515
max_timeout = 60 # seconds
@@ -38,18 +38,19 @@ using SoleLogics.ManyValuedLogics: booleanalgebra, G3, Ł3, G4, Ł4, H4
3838
using SoleLogics.ManyValuedLogics: G5, G6, H6_1, H6_2, H6_3, H6
3939

4040
algebras = [
41-
("BA", booleanalgebra),
42-
("G3", G3 ),
43-
("Ł3", Ł3 ),
44-
("G4", G4 ),
45-
("Ł4", Ł4 ),
46-
("H4", H4 ),
47-
# ("G5", G5 ),
48-
# ("G6", G6 ),
49-
# ("H6_1", H6_1 ),
50-
# ("H6_2", H6_2 ),
51-
# ("H6_3", H6_3 ),
52-
# ("H6", H6 )
41+
# ("BA", booleanalgebra),
42+
# ("G3", G3 ),
43+
# ("Ł3", Ł3 ),
44+
# ("G4", G4 ),
45+
# ("Ł4", Ł4 ),
46+
# ("H4", H4 ),
47+
("G5", G5 ),
48+
("G6", G6 ),
49+
("H6_1", H6_1 ),
50+
("H6_2", H6_2 ),
51+
("H6_3", H6_3 ),
52+
("H6", H6 ),
53+
("H9", H9 )
5354
]
5455

5556
# Latex
@@ -165,6 +166,7 @@ for a in algebras
165166
print("($(i+min_height-1),$(times[i]))")
166167
end
167168
println("\n\n")
169+
flush(stdout)
168170
end
169171

170172
# Latex

‎experiments/alphasat/mvhs-tableau.jl‎

Lines changed: 15 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ import SoleLogics: sample
99
myalphabet = Atom.(["p", "q", "r"])
1010

1111
min_height = 1
12-
max_height = 7
12+
max_height = 6
1313
max_it = 99999
1414
max_avg = 200
1515
max_timeout = 60 # seconds
@@ -55,18 +55,19 @@ using SoleLogics.ManyValuedLogics: booleanalgebra, G3, Ł3, G4, Ł4, H4
5555
using SoleLogics.ManyValuedLogics: G5, G6, H6_1, H6_2, H6_3, H6
5656

5757
algebras = [
58-
("BA", booleanalgebra),
59-
("G3", G3 ),
60-
("Ł3", Ł3 ),
61-
("G4", G4 ),
62-
("Ł4", Ł4 ),
63-
("H4", H4 ),
64-
# ("G5", G5 ),
65-
# ("G6", G6 ),
66-
# ("H6_1", H6_1 ),
67-
# ("H6_2", H6_2 ),
68-
# ("H6_3", H6_3 ),
69-
# ("H6", H6 )
58+
# ("BA", booleanalgebra),
59+
# ("G3", G3 ),
60+
# ("Ł3", Ł3 ),
61+
# ("G4", G4 ),
62+
# ("Ł4", Ł4 ),
63+
# ("H4", H4 ),
64+
("G5", G5 ),
65+
("G6", G6 ),
66+
("H6_1", H6_1 ),
67+
("H6_2", H6_2 ),
68+
("H6_3", H6_3 ),
69+
("H6", H6 ),
70+
("H9", H9 )
7071
]
7172

7273
# Latex
@@ -182,6 +183,7 @@ for a in algebras
182183
print("($(i+min_height-1),$(times[i]))")
183184
end
184185
println("\n\n")
186+
flush(stdout)
185187
end
186188

187189
# Latex

‎experiments/alphasat/mvlrcc8-tableau.jl‎

Lines changed: 15 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ import SoleLogics: sample
99
myalphabet = Atom.(["p", "q", "r"])
1010

1111
min_height = 1
12-
max_height = 7
12+
max_height = 6
1313
max_it = 99999
1414
max_avg = 200
1515
max_timeout = 60 # seconds
@@ -45,18 +45,19 @@ using SoleLogics.ManyValuedLogics: booleanalgebra, G3, Ł3, G4, Ł4, H4
4545
using SoleLogics.ManyValuedLogics: G5, G6, H6_1, H6_2, H6_3, H6
4646

4747
algebras = [
48-
("BA", booleanalgebra),
49-
("G3", G3 ),
50-
("Ł3", Ł3 ),
51-
("G4", G4 ),
52-
("Ł4", Ł4 ),
53-
("H4", H4 ),
54-
# ("G5", G5 ),
55-
# ("G6", G6 ),
56-
# ("H6_1", H6_1 ),
57-
# ("H6_2", H6_2 ),
58-
# ("H6_3", H6_3 ),
59-
# ("H6", H6 )
48+
# ("BA", booleanalgebra),
49+
# ("G3", G3 ),
50+
# ("Ł3", Ł3 ),
51+
# ("G4", G4 ),
52+
# ("Ł4", Ł4 ),
53+
# ("H4", H4 ),
54+
("G5", G5 ),
55+
("G6", G6 ),
56+
("H6_1", H6_1 ),
57+
("H6_2", H6_2 ),
58+
("H6_3", H6_3 ),
59+
("H6", H6 ),
60+
("H9", H9 )
6061
]
6162

6263
# Latex
@@ -172,6 +173,7 @@ for a in algebras
172173
print("($(i+min_height-1),$(times[i]))")
173174
end
174175
println("\n\n")
176+
flush(stdout)
175177
end
176178

177179
# Latex

‎experiments/alphasat/mvltlfp-tableau.jl‎

Lines changed: 15 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ import SoleLogics: sample
99
myalphabet = Atom.(["p", "q", "r"])
1010

1111
min_height = 1
12-
max_height = 7
12+
max_height = 6
1313
max_it = 99999
1414
max_avg = 200
1515
max_timeout = 60 # seconds
@@ -34,18 +34,19 @@ using SoleLogics.ManyValuedLogics: booleanalgebra, G3, Ł3, G4, Ł4, H4
3434
using SoleLogics.ManyValuedLogics: G5, G6, H6_1, H6_2, H6_3, H6
3535

3636
algebras = [
37-
("BA", booleanalgebra),
38-
("G3", G3 ),
39-
("Ł3", Ł3 ),
40-
("G4", G4 ),
41-
("Ł4", Ł4 ),
42-
("H4", H4 ),
43-
# ("G5", G5 ),
44-
# ("G6", G6 ),
45-
# ("H6_1", H6_1 ),
46-
# ("H6_2", H6_2 ),
47-
# ("H6_3", H6_3 ),
48-
# ("H6", H6 )
37+
# ("BA", booleanalgebra),
38+
# ("G3", G3 ),
39+
# ("Ł3", Ł3 ),
40+
# ("G4", G4 ),
41+
# ("Ł4", Ł4 ),
42+
# ("H4", H4 ),
43+
("G5", G5 ),
44+
("G6", G6 ),
45+
("H6_1", H6_1 ),
46+
("H6_2", H6_2 ),
47+
("H6_3", H6_3 ),
48+
("H6", H6 ),
49+
("H9", H9 )
4950
]
5051

5152
# Latex
@@ -161,6 +162,7 @@ for a in algebras
161162
print("($(i+min_height-1),$(times[i]))")
162163
end
163164
println("\n\n")
165+
flush(stdout)
164166
end
165167

166168
# Latex

0 commit comments

Comments
 (0)