non-fluents nf_navigation_inst_mdp__10 {
domain = navigation_mdp;
objects {
xpos : {x86,x9,x201,x69,x329,x126,x261,x54,x230,x30,x6,x174,x149,x366,x21,x405,x14,x294,x41,x105};
ypos : {y20,y36,y12,y27,y15};
};
non-fluents {
P(x14,y15) = 0.15249802260414552;
SOUTH(y15,y12);
WEST(x69,x54);
P(x294,y27) = 0.7871350846988591;
EAST(x54,x69);
P(x261,y20) = 0.7218886631920836;
P(x201,y20) = 0.6473250686142006;
EAST(x21,x30);
EAST(x41,x54);
P(x69,y20) = 0.3765070266825588;
MIN-YPOS(y12);
NORTH(y12,y15);
WEST(x41,x30);
EAST(x6,x9);
P(x201,y27) = 0.6546238641205587;
WEST(x230,x201);
EAST(x261,x294);
P(x14,y27) = 0.1155198830621023;
MIN-XPOS(x6);
P(x30,y20) = 0.20109588794385722;
P(x405,y27) = 0.9236670966799322;
P(x21,y15) = 0.17413296334837614;
NORTH(y20,y27);
P(x30,y27) = 0.2127137481185951;
P(x366,y20) = 0.9017004185405216;
SOUTH(y27,y20);
P(x41,y15) = 0.2896668278661213;
P(x126,y15) = 0.5218342786752863;
P(x105,y20) = 0.47504829154594946;
P(x105,y27) = 0.46703882240935374;
P(x329,y20) = 0.8276717586834964;
SOUTH(y36,y27);
EAST(x126,x149);
P(x329,y15) = 0.8344797723387417;
P(x261,y15) = 0.743265128057254;
P(x230,y27) = 0.721857582365996;
WEST(x366,x329);
WEST(x86,x69);
GOAL(x405,y36);
P(x329,y27) = 0.8417070795242724;
P(x174,y20) = 0.57908649514368;
NORTH(y27,y36);
P(x9,y20) = 0.06489074041478729;
P(x30,y15) = 0.24802985405059239;
WEST(x14,x9);
P(x86,y15) = 0.4203020499921159;
P(x126,y27) = 0.5217572396719141;
P(x230,y15) = 0.6967564664388958;
P(x405,y20) = 0.9195293152312699;
MAX-XPOS(x405);
WEST(x405,x366);
EAST(x149,x174);
WEST(x201,x174);
WEST(x294,x261);
P(x126,y20) = 0.502970067980258;
EAST(x86,x105);
WEST(x30,x21);
P(x174,y27) = 0.6242552704520916;
P(x6,y27) = 0.05393376015126705;
EAST(x366,x405);
P(x149,y20) = 0.5566534208820054;
P(x105,y15) = 0.45070689548983384;
SOUTH(y20,y15);
P(x9,y27) = 0.09803082372405028;
P(x6,y20) = 0.05381382070481777;
P(x21,y20) = 0.1901519668141478;
P(x54,y27) = 0.30268661153355714;
EAST(x294,x329);
EAST(x69,x86);
P(x149,y15) = 0.5480713560000846;
NORTH(y15,y20);
WEST(x174,x149);
P(x261,y27) = 0.7239234615730024;
EAST(x174,x201);
P(x69,y27) = 0.3881094917458923;
P(x405,y15) = 0.9321193240190807;
WEST(x149,x126);
P(x294,y15) = 0.7941499553424748;
P(x6,y15) = 0.049380214884877205;
P(x230,y20) = 0.6796873716245356;
WEST(x261,x230);
WEST(x105,x86);
P(x366,y15) = 0.8813777306166134;
P(x9,y15) = 0.09127656693913436;
P(x366,y27) = 0.8738803072881541;
P(x201,y15) = 0.6594119965049782;
P(x149,y27) = 0.5589389553979823;
WEST(x21,x14);
P(x54,y20) = 0.33979411550650473;
P(x86,y27) = 0.40163065473500054;
P(x14,y20) = 0.14583939402119112;
P(x174,y15) = 0.6133839792915081;
P(x54,y15) = 0.33987255149373885;
P(x294,y20) = 0.7689352319146948;
WEST(x329,x294);
EAST(x201,x230);
EAST(x230,x261);
WEST(x54,x41);
EAST(x30,x41);
EAST(x9,x14);
P(x21,y27) = 0.17168686323260007;
EAST(x105,x126);
MAX-YPOS(y36);
P(x69,y15) = 0.3854513592821987;
WEST(x126,x105);
P(x41,y27) = 0.2793932707097969;
EAST(x14,x21);
EAST(x329,x366);
P(x41,y20) = 0.25024425783684767;
P(x86,y20) = 0.43350079449775974;
WEST(x9,x6);
};
}
instance navigation_inst_mdp__10 {
domain = navigation_mdp;
non-fluents = nf_navigation_inst_mdp__10;
init-state {
robot-at(x405,y12);
};
max-nondef-actions = 1;
horizon = 40;
discount = 1.0;
}