Commit d618fd5e authored by David Speck's avatar David Speck

add benchmarks

parent 38e76a5a
# Compiled source #
###################
*.com
*.class
*.dll
*.exe
*.o
*.lo
*.so
# Packages #
############
# it's better to unpack these files and commit the raw source
# git has its own built in compression methods
*.7z
*.dmg
*.gz
*.iso
*.jar
*.rar
*.tar
*.zip
# Logs and databases #
######################
*.log
*.sql
*.sqlite
# OS generated files #
######################
.DS_Store
.DS_Store?
._*
.Spotlight-V100
.Trashes
ehthumbs.db
Thumbs.db
# Tmp files #
#############
*~
*.tmp.*
domains = [
{'description': 'Asterix.',
'name': 'asterix',
'problems': [
("", "", "asterix/sas/Asterix_10_10.sas"),
("", "", "asterix/sas/Asterix_10_20.sas"),
("", "", "asterix/sas/Asterix_10_50.sas"),
("", "", "asterix/sas/Asterix_12_32.sas"),
("", "", "asterix/sas/Asterix_13_32.sas"),
("", "", "asterix/sas/Asterix_14_32.sas"),
("", "", "asterix/sas/Asterix_15_32.sas"),
("", "", "asterix/sas/Asterix_15_50.sas"),
("", "", "asterix/sas/Asterix_22_12.sas"),
("", "", "asterix/sas/Asterix_23_17.sas"),
("", "", "asterix/sas/Asterix_24_18.sas"),
("", "", "asterix/sas/Asterix_25_25.sas"),
("", "", "asterix/sas/Asterix_25_65.sas"),
("", "", "asterix/sas/Asterix_27_22.sas"),
("", "", "asterix/sas/Asterix_2_15.sas"),
("", "", "asterix/sas/Asterix_4_10.sas"),
("", "", "asterix/sas/Asterix_4_100.sas"),
("", "", "asterix/sas/Asterix_4_2.sas"),
("", "", "asterix/sas/Asterix_4_25.sas"),
("", "", "asterix/sas/Asterix_4_5.sas"),
("", "", "asterix/sas/Asterix_4_50.sas"),
("", "", "asterix/sas/Asterix_50_10.sas"),
("", "", "asterix/sas/Asterix_50_25.sas"),
("", "", "asterix/sas/Asterix_50_50.sas"),
("", "", "asterix/sas/Asterix_5_25.sas"),
("", "", "asterix/sas/Asterix_6_25.sas"),
("", "", "asterix/sas/Asterix_6_63.sas"),
("", "", "asterix/sas/Asterix_75_10.sas"),
("", "", "asterix/sas/Asterix_7_25.sas"),
("", "", "asterix/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
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
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
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
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
var1
-1
3
Atom at(Edelweiss, Forest)
Atom at(Edelweiss, Village)
<none of those>
end_variable
begin_variable
var13
-1
2
knockout
at forest
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
var18
-1
2
knockout
at forest
end_variable
begin_variable
var14
-1
2
knockout
at forest
end_variable
begin_variable
var7
-1
3
Atom carry(Asterix, Mistletoe)
Atom carry(Asterix, Edelweiss)
<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
var16
-1
2
knockout
at forest
end_variable
begin_variable
var0
-1
3
Atom at(Mistletoe, Forest)
Atom at(Mistletoe, Village)
<none of those>
end_variable
begin_variable
var17
-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
begin_variable
var23
-1
2
knockout
at forest
end_variable
begin_variable
var15
-1
2
knockout
at forest
end_variable
begin_variable
var12
-1
2
knockout
at forest
end_variable
begin_variable
var8
-1
2
Atom has_potion(Asterix)
<none of those>
end_variable
0
begin_state
2
2
3
3
2
1
1
1
1
1
1
2
1
1
0
1
1
1
1
1
1
1
1
1
end_state
begin_goal
1
4 1
end_goal
34
begin_operator
gather Asterix Mistletoe
16
12 0
6 0
7 0
8 0
22 0
5 0
10 0
21 0
13 0
15 0
9 0
16 0
17 0
18 0
19 0
20 0
2
0 11 2 0
0 14 0 2
1
end_operator
begin_operator
pick Asterix Edelweiss
0
27
4 1 0 0 0 3 0 2 0 11 -1 1
4 1 0 0 0 3 0 2 0 1 -1 3
4 1 0 0 0 3 0 2 0 0 -1 3
4 1 0 0 1 3 0 2 1 11 -1 1
4 1 0 0 1 3 0 2 1 1 -1 3
4 1 0 0 1 3 0 2 1 0 -1 3
4 1 0 0 2 3 0 2 2 11 -1 1
4 1 0 0 2 3 0 2 2 1 -1 3
4 1 0 0 2 3 0 2 2 0 -1 3
4 1 1 0 0 3 1 2 0 11 -1 1