| airport |
nontemporal |
STRIPS |
| airport |
nontemporal |
ADL |
| airport |
temporal |
STRIPS |
| airport |
temporal |
ADL |
| airport |
temporal, time windows |
STRIPS |
| airport |
temporal, time windows |
ADL |
| airport |
temporal, time windows, compiled |
STRIPS |
| airport |
temporal, time windows, compiled |
ADL |
| pipesworld |
no tankage, nontemporal |
STRIPS |
| pipesworld |
tankage, nontemporal |
STRIPS |
| pipesworld |
no tankage, temporal |
STRIPS |
| pipesworld |
tankage, temporal |
STRIPS |
| pipesworld |
no tankage, temporal, deadlines |
STRIPS |
| pipesworld |
no tankage, temporal, deadlines, compiled |
STRIPS |
| promela: dining philosophers |
plain |
STRIPS |
| promela: dining philosophers |
plain |
ADL |
| promela: dining philosophers |
fluents |
ADL |
| promela: dining philosophers |
derived predicates |
STRIPS |
| promela: dining philosophers |
derived predicates |
ADL |
| promela: dining philosophers |
fluents, derived predicates |
ADL |
| promela: optical telegraph |
plain |
STRIPS |
| promela: optical telegraph |
plain |
ADL |
| promela: optical telegraph |
fluents |
ADL |
| promela: optical telegraph |
derived predicates |
STRIPS |
| promela: optical telegraph |
derived predicates |
ADL |
| promela: optical telegraph |
fluents, derived predicates |
ADL |
| PSR |
large |
ADL, derived predicates |
| PSR |
middle |
STRIPS, derived predicates |
| PSR |
middle |
simple ADL, derived predicates |
| PSR |
middle |
ADL, derived predicates |
| PSR |
middle, compiled |
ADL |
| PSR |
small |
STRIPS |
| satellite |
plain |
STRIPS |
| satellite |
numeric |
STRIPS |
| satellite |
time |
STRIPS |
| satellite |
time, time windows |
STRIPS |
| satellite |
time, time windows, compiled |
STRIPS |
| satellite |
complex |
STRIPS |
| satellite |
complex, time windows |
STRIPS |
| satellite |
complex, time windows, compiled |
STRIPS |
| settlers |
plain |
STRIPS |
| UMTS |
temporal |
STRIPS |
| UMTS |
temporal, time windows |
STRIPS |
| UMTS |
temporal, time windows, compiled |
STRIPS |
| UMTS |
flaw, temporal |
STRIPS |
| UMTS |
flaw, temporal, time windows |
STRIPS |
| UMTS |
flaw, temporal, time windows, compiled |
STRIPS |