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 clumpy-08x08_08.lp

Name	clumpy-08x08_08.lp
Classes	[Root]    Graphs (3030)    Clumpy Graphs (187)    Hierarchic Representation (187)
Submitter	Martin Gebser
Author	Martin Gebser
Description
Created	2009-08-19 17:12
Modified	2009-08-19 17:12
Languages	Facts
Language Features
Compatible Encodings	master_hc.lp
Output Predicates	edge/4 initialvtx/2 vtx/2
Tags:	Solution Projection (Martin Gebser)
Attributes
Content	initialvtx(1,1). vtx(1,1). vtx(1,2). vtx(1,3). vtx(1,4). vtx(1,5). vtx(1,6). vtx(1,7). vtx(1,8). edge(1,1,1,3). edge(1,1,1,7). edge(1,2,1,4). edge(1,2,1,5). edge(1,2,1,6). edge(1,2,1,8). edge(1,3,1,2). edge(1,3,1,4). edge(1,3,1,8). edge(1,4,1,1). edge(1,4,1,2). edge(1,4,1,5). edge(1,4,1,6). edge(1,4,1,7). edge(1,4,1,8). edge(1,5,1,1). edge(1,5,1,2). edge(1,5,1,3). edge(1,5,1,6). edge(1,5,1,7). edge(1,5,1,8). edge(1,6,1,1). edge(1,6,1,3). edge(1,6,1,4). edge(1,6,1,5). edge(1,6,1,7). edge(1,6,1,8). edge(1,7,1,3). edge(1,7,1,4). edge(1,7,1,5). edge(1,7,1,6). edge(1,7,1,8). edge(1,8,1,1). edge(1,8,1,2). edge(1,8,1,3). edge(1,8,1,4). edge(1,8,1,5). edge(1,8,1,6). edge(1,8,1,7). vtx(2,1). vtx(2,2). vtx(2,3). vtx(2,4). vtx(2,5). vtx(2,6). vtx(2,7). vtx(2,8). edge(2,1,2,2). edge(2,1,2,3). edge(2,1,2,5). edge(2,1,2,7). edge(2,1,2,8). edge(2,2,2,3). edge(2,2,2,5). edge(2,2,2,6). edge(2,2,2,7). edge(2,2,2,8). edge(2,3,2,4). edge(2,3,2,5). edge(2,4,2,2). edge(2,4,2,5). edge(2,4,2,6). edge(2,5,2,4). edge(2,5,2,8). edge(2,6,2,7). edge(2,7,2,1). edge(2,7,2,3). edge(2,7,2,6). edge(2,8,2,1). edge(2,8,2,3). edge(2,8,2,6). vtx(3,1). vtx(3,2). vtx(3,3). vtx(3,4). vtx(3,5). vtx(3,6). vtx(3,7). vtx(3,8). edge(3,1,3,2). edge(3,1,3,6). edge(3,1,3,8). edge(3,2,3,3). edge(3,2,3,4). edge(3,2,3,6). edge(3,2,3,7). edge(3,2,3,8). edge(3,3,3,2). edge(3,3,3,5). edge(3,3,3,6). edge(3,4,3,1). edge(3,4,3,2). edge(3,4,3,5). edge(3,5,3,1). edge(3,5,3,2). edge(3,5,3,4). edge(3,5,3,6). edge(3,5,3,7). edge(3,6,3,1). edge(3,6,3,2). edge(3,6,3,4). edge(3,6,3,5). edge(3,6,3,7). edge(3,7,3,1). edge(3,7,3,2). edge(3,7,3,6). edge(3,7,3,8). edge(3,8,3,1). vtx(4,1). vtx(4,2). vtx(4,3). vtx(4,4). vtx(4,5). vtx(4,6). vtx(4,7). vtx(4,8). edge(4,1,4,6). edge(4,1,4,8). edge(4,2,4,1). edge(4,2,4,3). edge(4,2,4,4). edge(4,2,4,5). edge(4,2,4,8). edge(4,3,4,1). edge(4,3,4,2). edge(4,3,4,4). edge(4,3,4,6). edge(4,3,4,7). edge(4,4,4,1). edge(4,4,4,3). edge(4,4,4,5). edge(4,4,4,6). edge(4,4,4,7). edge(4,4,4,8). edge(4,5,4,1). edge(4,5,4,2). edge(4,5,4,3). edge(4,5,4,6). edge(4,6,4,1). edge(4,6,4,2). edge(4,6,4,3). edge(4,6,4,4). edge(4,6,4,8). edge(4,7,4,1). edge(4,7,4,3). edge(4,7,4,4). edge(4,7,4,8). edge(4,8,4,1). edge(4,8,4,3). edge(4,8,4,6). edge(4,8,4,7). vtx(5,1). vtx(5,2). vtx(5,3). vtx(5,4). vtx(5,5). vtx(5,6). vtx(5,7). vtx(5,8). edge(5,1,5,2). edge(5,1,5,3). edge(5,1,5,5). edge(5,1,5,7). edge(5,1,5,8). edge(5,2,5,3). edge(5,2,5,4). edge(5,2,5,7). edge(5,3,5,1). edge(5,3,5,2). edge(5,3,5,4). edge(5,3,5,5). edge(5,3,5,8). edge(5,4,5,3). edge(5,4,5,5). edge(5,5,5,2). edge(5,5,5,3). edge(5,5,5,8). edge(5,6,5,1). edge(5,6,5,2). edge(5,6,5,3). edge(5,6,5,7). edge(5,6,5,8). edge(5,7,5,1). edge(5,7,5,4). edge(5,7,5,5). edge(5,7,5,6). edge(5,7,5,8). edge(5,8,5,5). edge(5,8,5,6). edge(5,8,5,7). vtx(6,1). vtx(6,2). vtx(6,3). vtx(6,4). vtx(6,5). vtx(6,6). vtx(6,7). vtx(6,8). edge(6,1,6,2). edge(6,1,6,3). edge(6,1,6,4). edge(6,1,6,5). edge(6,1,6,6). edge(6,1,6,7). edge(6,1,6,8). edge(6,2,6,5). edge(6,2,6,6). edge(6,2,6,7). edge(6,2,6,8). edge(6,3,6,4). edge(6,3,6,5). edge(6,3,6,6). edge(6,3,6,8). edge(6,4,6,2). edge(6,4,6,3). edge(6,4,6,7). edge(6,5,6,1). edge(6,5,6,2). edge(6,5,6,7). edge(6,5,6,8). edge(6,6,6,3). edge(6,6,6,4). edge(6,6,6,5). edge(6,7,6,2). edge(6,7,6,3). edge(6,7,6,5). edge(6,7,6,8). edge(6,8,6,1). edge(6,8,6,2). edge(6,8,6,3). edge(6,8,6,4). edge(6,8,6,6). edge(6,8,6,7). vtx(7,1). vtx(7,2). vtx(7,3). vtx(7,4). vtx(7,5). vtx(7,6). vtx(7,7). vtx(7,8). edge(7,1,7,3). edge(7,1,7,5). edge(7,1,7,6). edge(7,1,7,8). edge(7,2,7,1). edge(7,2,7,4). edge(7,2,7,5). edge(7,2,7,7). edge(7,3,7,2). edge(7,3,7,6). edge(7,3,7,7). edge(7,4,7,3). edge(7,4,7,7). edge(7,5,7,3). edge(7,5,7,6). edge(7,6,7,1). edge(7,6,7,2). edge(7,6,7,4). edge(7,6,7,5). edge(7,6,7,7). edge(7,7,7,2). edge(7,7,7,3). edge(7,7,7,4). edge(7,7,7,5). edge(7,7,7,8). edge(7,8,7,1). edge(7,8,7,3). edge(7,8,7,4). edge(7,8,7,5). edge(7,8,7,6). vtx(8,1). vtx(8,2). vtx(8,3). vtx(8,4). vtx(8,5). vtx(8,6). vtx(8,7). vtx(8,8). edge(8,1,8,3). edge(8,1,8,5). edge(8,2,8,1). edge(8,2,8,3). edge(8,2,8,4). edge(8,2,8,5). edge(8,2,8,7). edge(8,3,8,1). edge(8,3,8,2). edge(8,4,8,1). edge(8,4,8,2). edge(8,4,8,3). edge(8,4,8,7). edge(8,5,8,1). edge(8,5,8,2). edge(8,5,8,6). edge(8,6,8,1). edge(8,6,8,2). edge(8,6,8,4). edge(8,6,8,5). edge(8,6,8,7). edge(8,6,8,8). edge(8,7,8,1). edge(8,7,8,3). edge(8,7,8,4). edge(8,7,8,5). edge(8,7,8,6). edge(8,7,8,8). edge(8,8,8,1). edge(8,8,8,4). edge(8,8,8,5). edge(8,8,8,6). edge(8,8,8,7). edge(1,6,3,1). edge(1,7,4,1). edge(1,8,8,1). edge(2,5,1,1). edge(2,6,3,2). edge(2,7,5,1). edge(2,8,7,1). edge(3,8,5,2). edge(4,6,6,1). edge(4,7,7,2). edge(4,8,8,2). edge(5,6,2,1). edge(5,7,4,2). edge(5,8,6,2). edge(6,7,3,3). edge(6,8,8,3). edge(7,4,2,2). edge(7,5,3,4). edge(7,6,4,3). edge(7,7,6,3). edge(7,8,8,4). edge(8,5,2,3). edge(8,6,4,4). edge(8,7,6,4). edge(8,8,7,3).