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 Class Hierarchic Representation

Class Tree	[Root]    Graphs (3030)    Clumpy Graphs (187)    Hierarchic Representation (187)
Description	The vertices are represented by pairs (N,M), where N is the name of a clump and M the name of a vertex in this clump.
Submitter	Martin Gebser
Compatible Encodings	master_hc.lp
Output Predicates	edge/4 initialvtx/2 vtx/2
Instances 21 - 40 of 187	clumpy-07x07_10.lp     clumpy-07x07_11.lp     clumpy-08x08_01.lp     clumpy-08x08_02.lp     clumpy-08x08_03.lp     clumpy-08x08_04.lp     clumpy-08x08_05.lp     clumpy-08x08_06.lp     clumpy-08x08_07.lp     clumpy-08x08_08.lp     clumpy-08x08_09.lp     clumpy-08x08_10.lp     clumpy-08x08_11.lp     clumpy-09x09_01.lp     clumpy-09x09_02.lp     clumpy-09x09_03.lp     clumpy-09x09_04.lp     clumpy-09x09_05.lp     clumpy-09x09_06.lp     clumpy-09x09_07.lp    un-/mark all