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 101 - 120 of 187	clumpy-15x15_02.lp     clumpy-15x15_03.lp     clumpy-15x15_04.lp     clumpy-15x15_05.lp     clumpy-15x15_06.lp     clumpy-15x15_07.lp     clumpy-15x15_08.lp     clumpy-15x15_09.lp     clumpy-15x15_10.lp     clumpy-15x15_11.lp     clumpy-16x16_01.lp     clumpy-16x16_02.lp     clumpy-16x16_03.lp     clumpy-16x16_04.lp     clumpy-16x16_05.lp     clumpy-16x16_06.lp     clumpy-16x16_07.lp     clumpy-16x16_08.lp     clumpy-16x16_09.lp     clumpy-16x16_10.lp    un-/mark all