non-fluents nf_navigation_inst_pomdp__10 {
domain = navigation_pomdp;
objects {
xpos : {x174,x230,x9,x201,x149,x14,x86,x30,x105,x21,x41,x294,x261,x6,x126,x69,x54,x329,x405,x366};
ypos : {y12,y27,y15,y36,y20};
};
non-fluents {
NORTH(y15,y20);
WEST(x230,x201);
WEST(x30,x21);
EAST(x6,x9);
WEST(x14,x9);
P(x105,y27) = 0.4689393928764682;
MAX-YPOS(y36);
WEST(x329,x294);
P(x261,y15) = 0.7353535586183793;
MAX-XPOS(x405);
P(x230,y27) = 0.6829746692980591;
EAST(x54,x69);
MIN-XPOS(x6);
WEST(x69,x54);
P(x69,y20) = 0.3901813901764782;
P(x329,y27) = 0.8223122817856309;
P(x21,y20) = 0.19218838930522142;
NORTH(y27,y36);
P(x69,y27) = 0.35317998712784365;
EAST(x9,x14);
WEST(x126,x105);
P(x329,y20) = 0.8246764045600828;
EAST(x21,x30);
P(x230,y15) = 0.6809716375152531;
P(x41,y15) = 0.2515939214315853;
P(x294,y27) = 0.7819591542509826;
P(x126,y20) = 0.5055087173455639;
P(x9,y27) = 0.0633808355533371;
P(x9,y20) = 0.08160220596351123;
P(x201,y15) = 0.6610352843019524;
P(x261,y20) = 0.7351590146457678;
P(x366,y15) = 0.8952536695685825;
P(x6,y15) = 0.022048715502023697;
WEST(x21,x14);
P(x329,y15) = 0.8456140466426548;
P(x86,y20) = 0.39009718845083724;
P(x126,y27) = 0.524600403579442;
WEST(x9,x6);
P(x174,y20) = 0.5974443096079325;
EAST(x201,x230);
EAST(x126,x149);
P(x21,y15) = 0.18657837406192956;
P(x294,y15) = 0.7940666541261109;
NORTH(y20,y27);
WEST(x149,x126);
EAST(x366,x405);
EAST(x69,x86);
P(x30,y27) = 0.2355190700802364;
P(x14,y27) = 0.10948274605662416;
WEST(x405,x366);
P(x149,y27) = 0.542313323797364;
P(x14,y20) = 0.14499515383259248;
EAST(x261,x294);
P(x86,y15) = 0.4166699441051797;
WEST(x294,x261);
EAST(x86,x105);
P(x201,y27) = 0.6585253848645248;
P(x405,y20) = 0.9485392767543855;
P(x21,y27) = 0.18218913831208883;
P(x201,y20) = 0.6756073086473503;
P(x149,y15) = 0.5658380570576379;
EAST(x30,x41);
P(x405,y27) = 0.9340788509304586;
P(x126,y15) = 0.5200040733539744;
P(x86,y27) = 0.4045895000821666;
SOUTH(y27,y20);
P(x149,y20) = 0.5597407347277591;
P(x105,y20) = 0.4613219919173341;
SOUTH(y20,y15);
P(x294,y20) = 0.7913367800218495;
SOUTH(y36,y27);
P(x54,y27) = 0.2987174786333191;
EAST(x329,x366);
P(x30,y20) = 0.20077775408954998;
P(x41,y27) = 0.2701215670493088;
WEST(x41,x30);
P(x69,y15) = 0.37461551425880507;
SOUTH(y15,y12);
EAST(x14,x21);
P(x41,y20) = 0.27413933733968354;
EAST(x294,x329);
WEST(x261,x230);
P(x54,y20) = 0.341796708636378;
P(x6,y27) = 0.029318545013666153;
P(x6,y20) = 0.03367707133293152;
MIN-YPOS(y12);
GOAL(x405,y36);
WEST(x54,x41);
EAST(x174,x201);
WEST(x174,x149);
P(x174,y27) = 0.6273212067194676;
P(x366,y27) = 0.8799807355788193;
WEST(x366,x329);
EAST(x149,x174);
EAST(x105,x126);
P(x174,y15) = 0.60160265745301;
P(x105,y15) = 0.4644593867032151;
WEST(x201,x174);
P(x9,y15) = 0.09747001852251982;
P(x54,y15) = 0.33007642009148475;
P(x366,y20) = 0.8744041957941494;
P(x261,y27) = 0.7232785421105004;
NORTH(y12,y15);
P(x30,y15) = 0.23686103140445133;
P(x14,y15) = 0.13536754152492475;
WEST(x105,x86);
P(x230,y20) = 0.6733279790366252;
WEST(x86,x69);
P(x405,y15) = 0.9238551223258439;
EAST(x230,x261);
EAST(x41,x54);
};
}
instance navigation_inst_pomdp__10 {
domain = navigation_pomdp;
non-fluents = nf_navigation_inst_pomdp__10;
init-state {
min-x;
};
max-nondef-actions = 1;
horizon = 40;
discount = 1.0;
}