Instance testHanoiSAT

Name	testHanoiSAT
Classes	[Root] Unclassified (3031) TowersOfHanoiCompetition (33)
Submitter	Martin Gebser
Author	Gayathri Namasivayam and Miroslaw Truszczynski and Giorgio Terracina
Description
Created	2009-04-09 15:22
Modified	2009-04-09 15:22
Languages	Facts
Language Features
Compatible Encodings	towers-hanoi.lparse hanoi.dlv.1 toh_decision.gringo toh_decision-tuned.gringo
Output Predicates	disk/1 on0/2 ongoal/2 steps/1 time/1
Tags:	ASP Contest 09 (Martin Gebser)
Attributes
Content	steps(3). time(0). time(1). time(2). time(3). disk(1). disk(2). disk(3). disk(4). disk(5). disk(6). disk(7). disk(8). disk(9). disk(10). on0(1,4). on0(4,5). on0(5,6). on0(6,7). on0(7,10). on0(2,9). on0(3,8). ongoal(1,4). ongoal(4,5). ongoal(5,6). ongoal(6,7). ongoal(7,8). ongoal(2,9). ongoal(3,10).

Actions