Commit e30a9d45 authored by David Speck's avatar David Speck

added infix

parent a197417a

Too many changes to show.

To preserve performance only 1000 of 1000+ files are displayed.

domains = [
{'description': 'Asterix.',
'name': 'asterix',
'problems': [
("", "", "asterix/trans_sas/Asterix_10_10.sas"),
("", "", "asterix/trans_sas/Asterix_10_20.sas"),
("", "", "asterix/trans_sas/Asterix_10_50.sas"),
("", "", "asterix/trans_sas/Asterix_12_32.sas"),
("", "", "asterix/trans_sas/Asterix_13_32.sas"),
("", "", "asterix/trans_sas/Asterix_14_32.sas"),
("", "", "asterix/trans_sas/Asterix_15_32.sas"),
("", "", "asterix/trans_sas/Asterix_15_50.sas"),
("", "", "asterix/trans_sas/Asterix_22_12.sas"),
("", "", "asterix/trans_sas/Asterix_23_17.sas"),
("", "", "asterix/trans_sas/Asterix_24_18.sas"),
("", "", "asterix/trans_sas/Asterix_25_25.sas"),
("", "", "asterix/trans_sas/Asterix_25_65.sas"),
("", "", "asterix/trans_sas/Asterix_27_22.sas"),
("", "", "asterix/trans_sas/Asterix_2_15.sas"),
("", "", "asterix/trans_sas/Asterix_4_10.sas"),
("", "", "asterix/trans_sas/Asterix_4_100.sas"),
("", "", "asterix/trans_sas/Asterix_4_2.sas"),
("", "", "asterix/trans_sas/Asterix_4_25.sas"),
("", "", "asterix/trans_sas/Asterix_4_5.sas"),
("", "", "asterix/trans_sas/Asterix_4_50.sas"),
("", "", "asterix/trans_sas/Asterix_50_10.sas"),
("", "", "asterix/trans_sas/Asterix_50_25.sas"),
("", "", "asterix/trans_sas/Asterix_50_50.sas"),
("", "", "asterix/trans_sas/Asterix_5_25.sas"),
("", "", "asterix/trans_sas/Asterix_6_25.sas"),
("", "", "asterix/trans_sas/Asterix_6_63.sas"),
("", "", "asterix/trans_sas/Asterix_75_10.sas"),
("", "", "asterix/trans_sas/Asterix_7_25.sas"),
("", "", "asterix/trans_sas/Asterix_8_50.sas")]}
]
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
begin_version
3
end_version
begin_metric
1
end_metric
24
begin_variable
var0
-1
3
Atom at(Mistletoe, Forest)
Atom at(Mistletoe, Village)
<none of those>
end_variable
begin_variable
var1
-1
3
Atom at(Edelweiss, Forest)
Atom at(Edelweiss, Village)
<none of those>
end_variable
begin_variable
var2
-1
3
Atom at(Asterix, Forest)
Atom at(Asterix, Village)
Atom at(Asterix, Mountain)
end_variable
begin_variable
var3
-1
4
Atom at_x_Edelweiss(0)
Atom at_x_Edelweiss(1)
Atom at_x_Edelweiss(2)
<none of those>
end_variable
begin_variable
var4
-1
4
Atom at_y_Edelweiss(0)
Atom at_y_Edelweiss(1)
Atom at_y_Edelweiss(2)
<none of those>
end_variable
begin_variable
var5
-1
4
Atom at_x_Asterix(0)
Atom at_x_Asterix(1)
Atom at_x_Asterix(2)
<none of those>
end_variable
begin_variable
var6
-1
4
Atom at_y_Asterix(0)
Atom at_y_Asterix(1)
Atom at_y_Asterix(2)
<none of those>
end_variable
begin_variable
var7
-1
3
Atom carry(Asterix, Mistletoe)
Atom carry(Asterix, Edelweiss)
<none of those>
end_variable
begin_variable
var8
-1
2
Atom has_potion(Asterix)
<none of those>
end_variable
begin_variable
var9
-1
2
knockout
at forest
end_variable
begin_variable
var10
-1
2
knockout
at forest
end_variable
begin_variable
var11
-1
2
knockout
at forest
end_variable
begin_variable
var12
-1
2
knockout
at forest
end_variable
begin_variable
var13
-1
2
knockout
at forest
end_variable
begin_variable
var14
-1
2
knockout
at forest
end_variable
begin_variable
var15
-1
2
knockout
at forest
end_variable
begin_variable
var16
-1
2
knockout
at forest
end_variable
begin_variable
var17
-1
2
knockout
at forest
end_variable
begin_variable
var18
-1
2
knockout
at forest
end_variable
begin_variable
var19
-1
2
knockout
at forest
end_variable
begin_variable
var20
-1
2
knockout
at forest
end_variable
begin_variable
var21
-1
2
knockout
at forest
end_variable
begin_variable
var22
-1
2
knockout
at forest
end_variable