Instance wire.12.x.12.b.5.a.15_unsat.data

Name	wire.12.x.12.b.5.a.15_unsat.data
Classes	[Root] Grids (772) Wire Routing (5)
Submitter	Martin Gebser
Author	Gayathri Namasivayam and Miroslaw Truszczynski
Description
Created	2009-04-09 21:13
Modified	2009-04-09 21:13
Languages	Facts
Language Features
Compatible Encodings	wire-routing_decision.gringo
Output Predicates	allow/2 block/2 pt/1 terminal/3 wire/1
Tags:	ASP Contest 09 (Martin Gebser)
Attributes
Content	wire(1). wire(2). wire(3). wire(4). wire(5). wire(6). pt(1). pt(2). pt(3). pt(4). pt(5). pt(6). pt(7). pt(8). pt(9). pt(10). pt(11). pt(12). terminal(3,1,1). terminal(5,1,2). terminal(10,1,3). terminal(8,1,4). terminal(12,1,5). terminal(6,1,6). terminal(4,12,1). terminal(8,12,2). terminal(3,12,3). terminal(1,12,4). terminal(10,12,5). terminal(6,12,6). block(7,8). block(10,10). block(12,3). block(4,11). block(1,9). block(11,5). block(8,8). allow(2,8). allow(11,6). allow(8,3). allow(9,12). allow(9,10). allow(9,4). allow(3,7). allow(5,6). allow(10,11). allow(4,9). allow(5,7). allow(12,7). allow(9,11). allow(12,9). allow(6,6). allow(1,4). allow(10,4). allow(12,6). allow(12,12). allow(5,8). allow(7,11).

Actions