non-fluents nf_triangle_tireworld_inst_mdp__10 {
	domain = triangle_tireworld_mdp;
	objects {
		location : {la1a1, la1a2, la1a3, la1a4, la1a5, la1a6, la1a7, la1a8, la1a9, la1a10, la1a11, la2a1, la2a2, la2a3, la2a4, la2a5, la2a6, la2a7, la2a8, la2a9, la2a10, la3a1, la3a2, la3a3, la3a4, la3a5, la3a6, la3a7, la3a8, la3a9, la4a1, la4a2, la4a3, la4a4, la4a5, la4a6, la4a7, la4a8, la5a1, la5a2, la5a3, la5a4, la5a5, la5a6, la5a7, la6a1, la6a2, la6a3, la6a4, la6a5, la6a6, la7a1, la7a2, la7a3, la7a4, la7a5, la8a1, la8a2, la8a3, la8a4, la9a1, la9a2, la9a3, la10a1, la10a2, la11a1};
	};

	non-fluents {
		FLAT-PROB = 0.3;
		road(la1a1,la1a2);
		road(la1a2,la1a3);
		road(la1a3,la1a4);
		road(la1a4,la1a5);
		road(la1a5,la1a6);
		road(la1a6,la1a7);
		road(la1a7,la1a8);
		road(la1a8,la1a9);
		road(la1a9,la1a10);
		road(la1a10,la1a11);
		road(la1a1,la2a1);
		road(la1a2,la2a2);
		road(la1a3,la2a3);
		road(la1a4,la2a4);
		road(la1a5,la2a5);
		road(la1a6,la2a6);
		road(la1a7,la2a7);
		road(la1a8,la2a8);
		road(la1a9,la2a9);
		road(la1a10,la2a10);
		road(la2a1,la1a2);
		road(la2a2,la1a3);
		road(la2a3,la1a4);
		road(la2a4,la1a5);
		road(la2a5,la1a6);
		road(la2a6,la1a7);
		road(la2a7,la1a8);
		road(la2a8,la1a9);
		road(la2a9,la1a10);
		road(la2a10,la1a11);
		road(la3a1,la3a2);
		road(la3a2,la3a3);
		road(la3a3,la3a4);
		road(la3a4,la3a5);
		road(la3a5,la3a6);
		road(la3a6,la3a7);
		road(la3a7,la3a8);
		road(la3a8,la3a9);
		road(la2a1,la3a1);
		road(la2a3,la3a3);
		road(la2a5,la3a5);
		road(la2a7,la3a7);
		road(la2a9,la3a9);
		road(la3a1,la2a2);
		road(la3a3,la2a4);
		road(la3a5,la2a6);
		road(la3a7,la2a8);
		road(la3a9,la2a10);
		road(la3a1,la4a1);
		road(la3a2,la4a2);
		road(la3a3,la4a3);
		road(la3a4,la4a4);
		road(la3a5,la4a5);
		road(la3a6,la4a6);
		road(la3a7,la4a7);
		road(la3a8,la4a8);
		road(la4a1,la3a2);
		road(la4a2,la3a3);
		road(la4a3,la3a4);
		road(la4a4,la3a5);
		road(la4a5,la3a6);
		road(la4a6,la3a7);
		road(la4a7,la3a8);
		road(la4a8,la3a9);
		road(la5a1,la5a2);
		road(la5a2,la5a3);
		road(la5a3,la5a4);
		road(la5a4,la5a5);
		road(la5a5,la5a6);
		road(la5a6,la5a7);
		road(la4a1,la5a1);
		road(la4a3,la5a3);
		road(la4a5,la5a5);
		road(la4a7,la5a7);
		road(la5a1,la4a2);
		road(la5a3,la4a4);
		road(la5a5,la4a6);
		road(la5a7,la4a8);
		road(la5a1,la6a1);
		road(la5a2,la6a2);
		road(la5a3,la6a3);
		road(la5a4,la6a4);
		road(la5a5,la6a5);
		road(la5a6,la6a6);
		road(la6a1,la5a2);
		road(la6a2,la5a3);
		road(la6a3,la5a4);
		road(la6a4,la5a5);
		road(la6a5,la5a6);
		road(la6a6,la5a7);
		road(la7a1,la7a2);
		road(la7a2,la7a3);
		road(la7a3,la7a4);
		road(la7a4,la7a5);
		road(la6a1,la7a1);
		road(la6a3,la7a3);
		road(la6a5,la7a5);
		road(la7a1,la6a2);
		road(la7a3,la6a4);
		road(la7a5,la6a6);
		road(la7a1,la8a1);
		road(la7a2,la8a2);
		road(la7a3,la8a3);
		road(la7a4,la8a4);
		road(la8a1,la7a2);
		road(la8a2,la7a3);
		road(la8a3,la7a4);
		road(la8a4,la7a5);
		road(la9a1,la9a2);
		road(la9a2,la9a3);
		road(la8a1,la9a1);
		road(la8a3,la9a3);
		road(la9a1,la8a2);
		road(la9a3,la8a4);
		road(la9a1,la10a1);
		road(la9a2,la10a2);
		road(la10a1,la9a2);
		road(la10a2,la9a3);
		road(la10a1,la11a1);
		road(la11a1,la10a2);

		goal-location(la1a11);
	};
}

instance triangle_tireworld_inst_mdp__10 {
	domain = triangle_tireworld_mdp;
	non-fluents = nf_triangle_tireworld_inst_mdp__10;
	init-state {
		vehicle-at(la1a1);
		spare-in(la2a1);
		spare-in(la2a2);
		spare-in(la2a3);
		spare-in(la2a4);
		spare-in(la2a5);
		spare-in(la2a6);
		spare-in(la2a7);
		spare-in(la2a8);
		spare-in(la2a9);
		spare-in(la2a10);
		spare-in(la3a1);
		spare-in(la3a9);
		spare-in(la4a1);
		spare-in(la4a2);
		spare-in(la4a3);
		spare-in(la4a4);
		spare-in(la4a5);
		spare-in(la4a6);
		spare-in(la4a7);
		spare-in(la4a8);
		spare-in(la5a1);
		spare-in(la5a7);
		spare-in(la6a1);
		spare-in(la6a2);
		spare-in(la6a3);
		spare-in(la6a4);
		spare-in(la6a5);
		spare-in(la6a6);
		spare-in(la7a1);
		spare-in(la7a5);
		spare-in(la8a1);
		spare-in(la8a2);
		spare-in(la8a3);
		spare-in(la8a4);
		spare-in(la9a1);
		spare-in(la9a3);
		spare-in(la10a1);
		spare-in(la10a2);
		spare-in(la11a1);
		spare-in(la11a1);
		not-flattire;
	};

	max-nondef-actions = 1;
	horizon  = 40;
	discount = 1.0;
}
