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 ASP Contest 09 (Maximal Clique)

Class Tree	[Root]    Graphs (3030)    Generic (90)    ASP Contest 09 (Maximal Clique) (61)      Model and Solve Track 3D ASP Competition (14)      Training Instances 3D ASP Competition (5)
Description	The graphs in this class have been supplied for the 2nd ASP competition.
Submitter	Martin Gebser
Compatible Encodings	maximal-clique_optimization.gringo
Output Predicates	edge/2 node/1
Instances 1 - 20 of 42	gen10_25_2_4_0     gen200_8000_30_30_10     gen200_8000_30_30_5     gen200_8000_30_30_6     gen200_8000_30_30_7     gen200_8000_30_30_8     gen200_8000_30_30_9     gen300_20000_50_50_11     gen300_20000_50_50_12     gen300_20000_50_50_13     gen300_20000_50_50_14     gen300_20000_50_50_15     gen75_1000_10_20_3     gen75_1000_10_20_4     gen75_1000_10_20_5     gen75_1000_10_20_6     gen75_1000_10_20_7     gen_100_2000_30_20_0     gen_100_2000_30_20_1     gen_100_2000_30_20_2    un-/mark all