Instance instance_074

Name	instance_074
Classes	[Root] Planning (2188) Hydraulic System (2188) Hydraulic Timed Planning (2129) instances-monica (1601) ins-10-7 (200)
Submitter	Max Ostrowski
Author	NASA
Description
Created	2009-08-19 16:11
Modified	2009-08-19 16:11
Languages	lparse Gringo 2.0.2 Clingcon 0.1.2
Language Features
Compatible Encodings
Output Predicates
Tags:
Attributes
Content	%%%%%%%%% Initial Situation %%%%%%%%%% %%%%%%%%% FAULTS and OTHER EXCEPTIONS %%%%%%%%%% has_leak(rom5). h(in_state(rom5,open),0). has_leak(lfx12). h(in_state(lfx12,open),0). stuck(ri12,open). stuck(rm3,open). has_leak(lfm1). h(in_state(lfm1,open),0). stuck(fm1,open). stuck(fom4,open). has_leak(fom4). h(in_state(fom4,open),0). stuck(rm4,open). stuck(rfi12,open). stuck_at(fmc2_w60,fmc2_g10,0). stuck_at(fmc1_w56,fmc1_g1,0). stuck_at(fmc4_w44,fmc4_g8,0). stuck_at(fmc3_w42,fmc3_g8,1). stuck_at(fmc4_w43,fmc4_g4,0). stuck_at(fmc4_w28,fmc4_g8,1). stuck_at(fmc3_w28,fmc3_g8,0). %%%%%%%%%%%% GOALS %%%%%%%%%%%%% % Maneuver to be performed: minus_pitch goal(T,fwd_rcs) :- time(T), h(maneuver_of(minus_pitch,fwd_rcs),T). goal(T,left_rcs) :- time(T), h(maneuver_of(minus_pitch,left_rcs),T). goal(T,right_rcs) :- time(T), h(maneuver_of(minus_pitch,right_rcs),T).

Actions