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 61 - 80 of 187	clumpy-11x11_06.lp     clumpy-11x11_07.lp     clumpy-11x11_08.lp     clumpy-11x11_09.lp     clumpy-11x11_10.lp     clumpy-11x11_11.lp     clumpy-12x12_01.lp     clumpy-12x12_02.lp     clumpy-12x12_03.lp     clumpy-12x12_04.lp     clumpy-12x12_05.lp     clumpy-12x12_06.lp     clumpy-12x12_07.lp     clumpy-12x12_08.lp     clumpy-12x12_09.lp     clumpy-12x12_10.lp     clumpy-12x12_11.lp     clumpy-13x13_01.lp     clumpy-13x13_02.lp     clumpy-13x13_03.lp    un-/mark all