Skip to content

Commit 1262699

Browse files
jendrikseippjendrikseipp
committed
add benchmarks from Fast Downward repository
0 parents  commit 1262699

File tree

3,977 files changed

+16441720
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

3,977 files changed

+16441720
-0
lines changed

Diff for: ‎.hgignore

+3
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
\.pyc$
2+
^.cache/
3+
^__pycache__/

Diff for: ‎README.md

+14
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
Fast Downward benchmark collection
2+
==================================
3+
4+
An inofficial collection of (sequential) IPC benchmark instances.
5+
6+
suites.py contains many predefined benchmark suites such as
7+
"optimal_strips", "satisficing", or "all". To obtain the
8+
corresponding domain list for your experiments you can run
9+
10+
./suites.py optimal_strips
11+
12+
Please note that some IPC 2014 domains from the satisificing (sat)
13+
track were also used in the multicore (mco) and agile (agl) tracks.
14+
Please consult suites.py for the full domain lists of these two tracks.

Diff for: ‎airport-adl/domain.pddl

+159
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,159 @@
1+
;;
2+
;; PDDL file for the AIPS2000 Planning Competition
3+
;; based on the data generated by the airport simulator Astras.
4+
;;
5+
6+
;; Author: Sebastian Trueg thisshouldbethecurrentdateandtime :(
7+
;; Created with AdlDomainExporter 0.1 by Sebastian Trueg <[email protected]>
8+
;;
9+
10+
11+
(define (domain airport)
12+
(:requirements :adl)
13+
14+
(:types airplane segment direction airplanetype)
15+
16+
(:predicates
17+
(can-move ?s1 ?s2 - segment ?d - direction)
18+
(can-pushback ?s1 ?s2 - segment ?d - direction)
19+
(move-dir ?s1 ?s2 - segment ?d - direction)
20+
(move-back-dir ?s1 ?s2 - segment ?d - direction)
21+
(is-blocked ?s1 - segment ?t - airplanetype ?s2 - segment ?d - direction)
22+
(has-type ?a - airplane ?t - airplanetype)
23+
(at-segment ?a - airplane ?s - segment)
24+
(facing ?a - airplane ?d - direction)
25+
(occupied ?s - segment)
26+
(blocked ?s - segment ?a - airplane)
27+
(is-start-runway ?s - segment ?d - direction)
28+
(airborne ?a - airplane ?s - segment)
29+
(is-moving ?a - airplane)
30+
(is-pushing ?a - airplane)
31+
(is-parked ?a - airplane ?s - segment)
32+
)
33+
34+
(:action move
35+
:parameters
36+
(?a - airplane ?t - airplanetype ?d1 - direction ?s1 ?s2 - segment ?d2 - direction)
37+
:precondition
38+
(and
39+
(has-type ?a ?t)
40+
(is-moving ?a)
41+
(not (= ?s1 ?s2))
42+
(facing ?a ?d1)
43+
(can-move ?s1 ?s2 ?d1)
44+
(move-dir ?s1 ?s2 ?d2)
45+
(at-segment ?a ?s1)
46+
(not (exists (?a1 - airplane) (and (not (= ?a1 ?a))
47+
(blocked ?s2 ?a1))))
48+
(forall (?s - segment) (imply (and (is-blocked ?s ?t ?s2 ?d2)
49+
(not (= ?s ?s1)))
50+
(not (occupied ?s))
51+
))
52+
)
53+
:effect
54+
(and
55+
(occupied ?s2)
56+
(blocked ?s2 ?a)
57+
(not (occupied ?s1))
58+
(when (not (is-blocked ?s1 ?t ?s2 ?d2))
59+
(not (blocked ?s1 ?a)))
60+
(when (not (= ?d1 ?d2))
61+
(not (facing ?a ?d1)))
62+
(not (at-segment ?a ?s1))
63+
(forall (?s - segment) (when (is-blocked ?s ?t ?s2 ?d2)
64+
(blocked ?s ?a)
65+
))
66+
(forall (?s - segment) (when (and (is-blocked ?s ?t ?s1 ?d1)
67+
(not (= ?s ?s2))
68+
(not (is-blocked ?s ?t ?s2 ?d2))
69+
)
70+
(not (blocked ?s ?a))
71+
))
72+
(at-segment ?a ?s2)
73+
(when (not (= ?d1 ?d2))
74+
(facing ?a ?d2))
75+
)
76+
)
77+
(:action pushback
78+
:parameters
79+
(?a - airplane ?t - airplanetype ?d1 - direction ?s1 ?s2 - segment ?d2 - direction)
80+
:precondition
81+
(and
82+
(has-type ?a ?t)
83+
(is-pushing ?a)
84+
(not (= ?s1 ?s2))
85+
(facing ?a ?d1)
86+
(can-pushback ?s1 ?s2 ?d1)
87+
(move-back-dir ?s1 ?s2 ?d2)
88+
(at-segment ?a ?s1)
89+
(not (exists (?a1 - airplane) (and (not (= ?a1 ?a))
90+
(blocked ?s2 ?a1))))
91+
(forall (?s - segment) (imply (and (is-blocked ?s ?t ?s2 ?d2)
92+
(not (= ?s ?s1)))
93+
(not (occupied ?s))
94+
))
95+
)
96+
:effect
97+
(and
98+
(occupied ?s2)
99+
(blocked ?s2 ?a)
100+
(forall (?s - segment) (when (is-blocked ?s ?t ?s2 ?d2)
101+
(blocked ?s ?a)
102+
))
103+
(forall (?s - segment) (when (and (is-blocked ?s ?t ?s1 ?d1)
104+
(not (= ?s ?s2))
105+
(not (is-blocked ?s ?t ?s2 ?d2))
106+
)
107+
(not (blocked ?s ?a))
108+
))
109+
(at-segment ?a ?s2)
110+
(when (not (= ?d1 ?d2))
111+
(facing ?a ?d2))
112+
(not (occupied ?s1))
113+
(when (not (is-blocked ?s1 ?t ?s2 ?d2))
114+
(not (blocked ?s1 ?a)))
115+
(when (not (= ?d1 ?d2))
116+
(not (facing ?a ?d1)))
117+
(not (at-segment ?a ?s1))
118+
)
119+
)
120+
(:action takeoff
121+
:parameters (?a - airplane ?s - segment ?d - direction)
122+
:precondition (and
123+
(at-segment ?a ?s)
124+
(facing ?a ?d)
125+
(is-start-runway ?s ?d)
126+
)
127+
:effect (and (not (blocked ?s ?a))
128+
(not (occupied ?s))
129+
(not (at-segment ?a ?s))
130+
(airborne ?a ?s)
131+
(forall (?s1 - segment) (when (blocked ?s1 ?a)
132+
(not (blocked ?s1 ?a))
133+
)
134+
)
135+
)
136+
)
137+
(:action park
138+
:parameters (?a - airplane ?t - airplanetype ?s - segment ?d - direction)
139+
:precondition (and (at-segment ?a ?s)
140+
(facing ?a ?d)
141+
(is-moving ?a)
142+
)
143+
:effect (and (is-parked ?a ?s)
144+
(not (is-moving ?a))
145+
(forall (?ss - segment) (when (and (is-blocked ?ss ?t ?s ?d)
146+
(not (= ?s ?ss))
147+
)
148+
(not (blocked ?ss ?a))
149+
)
150+
)
151+
)
152+
)
153+
(:action startup
154+
:parameters (?a - airplane)
155+
:precondition (is-pushing ?a)
156+
:effect (and (not (is-pushing ?a))
157+
(is-moving ?a) )
158+
)
159+
)

Diff for: ‎airport-adl/p01-airport1-p1.pddl

+144
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,144 @@
1+
;;
2+
;; PDDL file for the AIPS2000 Planning Competition
3+
;; based on the data generated by the airport simulator Astras.
4+
;;
5+
6+
;; Author: Sebastian Trueg thisshouldbethecurrentdateandtime :(
7+
;; Created with SegmentSplitterAirportExporter 0.1 by Sebastian Trueg <[email protected]>
8+
;;
9+
10+
11+
12+
(define (problem PROBLEM_X)
13+
14+
(:domain airport)
15+
16+
(:objects
17+
18+
;; the airplanes (1)
19+
airplane_CFBEG - airplane
20+
21+
;; the airplanetypes (1)
22+
medium - airplanetype
23+
24+
;; the directions (2)
25+
north
26+
south - direction
27+
28+
;; the segments (17)
29+
seg_pp_0_60
30+
seg_ppdoor_0_40
31+
seg_tww1_0_200
32+
seg_twe1_0_200
33+
seg_tww2_0_50
34+
seg_tww3_0_50
35+
seg_tww4_0_50
36+
seg_rww_0_50
37+
seg_rwtw1_0_10
38+
seg_rw_0_400
39+
seg_rwe_0_50
40+
seg_twe4_0_50
41+
seg_rwte1_0_10
42+
seg_twe3_0_50
43+
seg_twe2_0_50
44+
seg_rwte2_0_10
45+
seg_rwtw2_0_10 - segment
46+
)
47+
48+
(:init
49+
50+
(at-segment airplane_CFBEG seg_rw_0_400)
51+
52+
(blocked seg_rw_0_400 airplane_CFBEG)
53+
(blocked seg_rwe_0_50 airplane_CFBEG)
54+
55+
(can-move seg_pp_0_60 seg_ppdoor_0_40 north)
56+
(can-move seg_ppdoor_0_40 seg_tww1_0_200 north)
57+
(can-move seg_tww1_0_200 seg_twe1_0_200 north)
58+
(can-move seg_twe1_0_200 seg_twe2_0_50 south)
59+
(can-move seg_twe2_0_50 seg_twe3_0_50 south)
60+
(can-move seg_twe3_0_50 seg_twe4_0_50 south)
61+
(can-move seg_twe4_0_50 seg_rwe_0_50 south)
62+
(can-move seg_rwe_0_50 seg_rw_0_400 south)
63+
(can-move seg_rw_0_400 seg_rww_0_50 south)
64+
(can-move seg_rww_0_50 seg_tww4_0_50 south)
65+
(can-move seg_tww4_0_50 seg_tww3_0_50 north)
66+
(can-move seg_tww3_0_50 seg_tww2_0_50 north)
67+
(can-move seg_tww2_0_50 seg_tww1_0_200 north)
68+
(can-move seg_tww1_0_200 seg_ppdoor_0_40 north)
69+
(can-move seg_ppdoor_0_40 seg_pp_0_60 south)
70+
71+
72+
(facing airplane_CFBEG south)
73+
74+
(has-type airplane_CFBEG medium)
75+
76+
(is-blocked seg_ppdoor_0_40 medium seg_pp_0_60 south)
77+
(is-blocked seg_pp_0_60 medium seg_ppdoor_0_40 north)
78+
(is-blocked seg_tww1_0_200 medium seg_ppdoor_0_40 south)
79+
(is-blocked seg_twe1_0_200 medium seg_ppdoor_0_40 south)
80+
(is-blocked seg_tww2_0_50 medium seg_tww1_0_200 north)
81+
(is-blocked seg_ppdoor_0_40 medium seg_tww1_0_200 south)
82+
(is-blocked seg_twe1_0_200 medium seg_tww1_0_200 south)
83+
(is-blocked seg_twe2_0_50 medium seg_twe1_0_200 north)
84+
(is-blocked seg_ppdoor_0_40 medium seg_twe1_0_200 south)
85+
(is-blocked seg_tww1_0_200 medium seg_twe1_0_200 south)
86+
(is-blocked seg_tww3_0_50 medium seg_tww2_0_50 north)
87+
(is-blocked seg_tww1_0_200 medium seg_tww2_0_50 south)
88+
(is-blocked seg_tww4_0_50 medium seg_tww3_0_50 north)
89+
(is-blocked seg_tww2_0_50 medium seg_tww3_0_50 south)
90+
(is-blocked seg_rww_0_50 medium seg_tww4_0_50 north)
91+
(is-blocked seg_rwtw1_0_10 medium seg_tww4_0_50 north)
92+
(is-blocked seg_tww3_0_50 medium seg_tww4_0_50 south)
93+
(is-blocked seg_rwte1_0_10 medium seg_twe4_0_50 north)
94+
(is-blocked seg_rwe_0_50 medium seg_twe4_0_50 north)
95+
(is-blocked seg_twe3_0_50 medium seg_twe4_0_50 south)
96+
(is-blocked seg_twe4_0_50 medium seg_twe3_0_50 north)
97+
(is-blocked seg_twe2_0_50 medium seg_twe3_0_50 south)
98+
(is-blocked seg_twe3_0_50 medium seg_twe2_0_50 north)
99+
(is-blocked seg_twe1_0_200 medium seg_twe2_0_50 south)
100+
(is-blocked seg_tww4_0_50 medium seg_rww_0_50 north)
101+
(is-blocked seg_rww_0_50 medium seg_rw_0_400 north)
102+
(is-blocked seg_rww_0_50 medium seg_rwe_0_50 north)
103+
(is-blocked seg_rw_0_400 medium seg_rwe_0_50 north)
104+
(is-blocked seg_twe4_0_50 medium seg_rwe_0_50 south)
105+
(is-blocked seg_rwe_0_50 medium seg_rw_0_400 south)
106+
(is-blocked seg_rwe_0_50 medium seg_rww_0_50 south)
107+
(is-blocked seg_rw_0_400 medium seg_rww_0_50 south)
108+
109+
(is-moving airplane_CFBEG)
110+
111+
112+
(is-start-runway seg_rww_0_50 north)
113+
(is-start-runway seg_rwe_0_50 south)
114+
115+
116+
117+
(move-dir seg_pp_0_60 seg_ppdoor_0_40 north)
118+
(move-dir seg_ppdoor_0_40 seg_tww1_0_200 south)
119+
(move-dir seg_tww1_0_200 seg_twe1_0_200 south)
120+
(move-dir seg_twe1_0_200 seg_twe2_0_50 south)
121+
(move-dir seg_twe2_0_50 seg_twe3_0_50 south)
122+
(move-dir seg_twe3_0_50 seg_twe4_0_50 south)
123+
(move-dir seg_twe4_0_50 seg_rwe_0_50 south)
124+
(move-dir seg_rwe_0_50 seg_rw_0_400 south)
125+
(move-dir seg_rw_0_400 seg_rww_0_50 south)
126+
(move-dir seg_rww_0_50 seg_tww4_0_50 north)
127+
(move-dir seg_tww4_0_50 seg_tww3_0_50 north)
128+
(move-dir seg_tww3_0_50 seg_tww2_0_50 north)
129+
(move-dir seg_tww2_0_50 seg_tww1_0_200 north)
130+
(move-dir seg_tww1_0_200 seg_ppdoor_0_40 south)
131+
(move-dir seg_ppdoor_0_40 seg_pp_0_60 south)
132+
133+
(occupied seg_rw_0_400)
134+
)
135+
136+
(:goal
137+
(and
138+
139+
140+
141+
(is-parked airplane_CFBEG seg_pp_0_60)
142+
)
143+
)
144+
)

0 commit comments

Comments
 (0)