non-fluents nf_elevators_inst_mdp__9 {
domain = elevators_mdp;
objects {
elevator : {e0,e1};
floor : {f0,f1,f2,f3,f4 };
};
non-fluents {
ELEVATOR-PENALTY-RIGHT-DIR = 0.75;
ELEVATOR-PENALTY-WRONG-DIR = 3.0;
ADJACENT-UP(f0,f1) = true;
ARRIVE-PARAM(f1) = 0.06957142;
ADJACENT-UP(f1,f2) = true;
ARRIVE-PARAM(f2) = 0.06842119;
ADJACENT-UP(f2,f3) = true;
ARRIVE-PARAM(f3) = 0.080825426;
ADJACENT-UP(f3,f4) = true;
TOP-FLOOR(f4) = true;
BOTTOM-FLOOR(f0) = true;
};
}
instance elevators_inst_mdp__9 {
domain = elevators_mdp;
non-fluents = nf_elevators_inst_mdp__9;
init-state {
elevator-at-floor(e0,f0);
elevator-at-floor(e1,f0);
};
max-nondef-actions = 2;
horizon = 40;
discount = 1.0;
}