Instance cg23-leaking.pl.txt

Name	cg23-leaking.pl.txt
Classes	[Root] Planning (2188) Hydraulic System (2188) Hydraulic Leaking (26) Model and Solve Track 3D ASP Competition (15) Training Instances 3D ASP Competition (5)
Submitter	Martin Gebser
Author	Michael Gelfond and Ricardo Morales and Yuanlin Zhang
Description
Created	2009-04-09 16:58
Modified	2009-04-09 16:58
Languages	Facts
Language Features
Compatible Encodings	hydraulic-leaking_decision.gringo hydraulic-leaking_decision.iclingo
Output Predicates	full/1 goal/1 jet/1 junction/1 leaking/1 link/3 numValves/1 tank/1 valve/1
Tags:	ASP Contest 09 (Martin Gebser)
Attributes
Content	tank(t231). tank(t232). tank(t233). tank(t234). jet(ju). jet(jd). junction(p1). junction(p2). junction(p3). junction(p4). junction(p5). valve(v1).valve(v2).valve(v3).valve(v4).valve(v5). valve(v6).valve(v7).valve(v8).valve(v9).valve(v10). valve(v11).valve(v12).valve(v13). numValves(13). link(t231,p1,v1).link(p1,p2,v2).link(p3,p2,v4).link(t233,p3,v5). link(p2,ju,v3). link(t232,p4,v6).link(p4,p5,v7).link(p5,p4,v8).link(t234,p5,v9). link(p1,p4,v10).link(p4,jd,v11). link(p3,p5,v12).link(p5,jd,v13). full(t231). full(t233). leaking(v2). leaking(v4). leaking(v11). leaking(v13). goal(jd).

Actions