Please wait ...

Benchmark(s) have been added to cart.

Tag has been added.

• Login
• Links
• FAQs
• Contact

Navigation

• Instance
  • Show Instances
• Problem
  • Show Problems
• Show Tags
• Search
• Cart

Instance channelRoute.in1

Name	channelRoute.in1
Classes	[Root]    Unclassified (3031)    Channel Routing (11)
Submitter	Martin Gebser
Author	Neng-Fa Zhou
Description
Created
Modified
Languages	Facts
Language Features
Compatible Encodings	channel-routing_decision.gringo
Output Predicates	connect/3 layers/1 tracks/1
Tags:	ASP Contest 09 (Martin Gebser)
Attributes
Content	layers(1). tracks(7). connect(n1,top,1). connect(n1,top,2). connect(n2,bot,1). connect(n2,bot,3). connect(n2,top,4). connect(n3,bot,2). connect(n3,top,5). connect(n3,top,7). connect(n4,top,3). connect(n4,top,6). connect(n4,bot,7). connect(n5,bot,5). connect(n5,top,9). connect(n5,top,11). connect(n6,bot,6). connect(n6,top,8). connect(n6,bot,9). connect(n7,bot,8). connect(n7,bot,12). connect(n8,top,10). connect(n8,bot,11). connect(n9,bot,10). connect(n9,top,12).