Instance 17-solitaire-50-0.asp

Name	17-solitaire-50-0.asp
Classes	[Root] Unclassified (3031) Solitaire (15) Model and Solve Track 3D ASP Competition (10)
Submitter	Barbara Nardi
Author	Yuliya Lierler and Marcello Balduccini
Description
Created	2012-03-30 12:27
Modified	2012-03-30 12:27
Languages	Facts
Language Features
Compatible Encodings
Output Predicates
Tags:
Attributes
Content	time(1). time(2). time(3). time(4). time(5). time(6). time(7). time(8). time(9). time(10). time(11). time(12). time(13). time(14). time(15). time(16). time(17). time(18). time(19). time(20). time(21). time(22). time(23). time(24). time(25). time(26). time(27). time(28). time(29). time(30). time(31). full(3,1). full(4,1). full(5,1). full(3,2). full(4,2). full(5,2). full(1,3). full(2,3). full(3,3). full(4,3). full(5,3). full(6,3). full(7,3). full(1,4). full(2,4). full(3,4). empty(4,4). full(5,4). full(6,4). full(7,4). full(1,5). full(2,5). full(3,5). full(4,5). full(5,5). full(6,5). full(7,5). full(3,6). full(4,6). full(5,6). full(3,7). full(4,7). full(5,7).

Actions