non-fluents nf_blocksworld_inst_mdp__1 {
	domain = blocksworld_mdp;
	objects {
		block : { a, b, c};
	};
	non-fluents {
		GOAL(b,c);
		GOAL(c,a);
	};
}

instance blocksworld_inst_mdp__1 {
	domain = blocksworld_mdp;
	non-fluents = nf_blocksworld_inst_mdp__1;
	init-state {
		on-table(a);
		clear(a);
		on-table(b);
		clear(b);
		on-table(c);
		clear(c);
		arm-empty;
	};
	max-nondef-actions = 1;
	horizon = 40;
	discount = 1.0;
}