non-fluents nf_triangle_tireworld_inst_mdp__1 {
domain = triangle_tireworld_mdp;
objects {
location : {la1a1, la1a2, la1a3, la2a1, la2a2, la3a1};
};
non-fluents {
FLAT-PROB = 0.4;
road(la1a1,la1a2);
road(la1a2,la1a3);
road(la1a1,la2a1);
road(la1a2,la2a2);
road(la2a1,la1a2);
road(la2a2,la1a3);
road(la2a1,la3a1);
road(la3a1,la2a2);
goal-location(la1a3);
};
}
instance triangle_tireworld_inst_mdp__1 {
domain = triangle_tireworld_mdp;
non-fluents = nf_triangle_tireworld_inst_mdp__1;
init-state {
vehicle-at(la1a1);
spare-in(la2a1);
spare-in(la2a2);
spare-in(la3a1);
spare-in(la3a1);
not-flattire;
};
max-nondef-actions = 1;
horizon = 40;
discount = 1.0;
}