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 21 - 40 of 42	gen_100_2000_30_20_3     gen_100_2000_30_20_4     graph30-15-1     graph30-15-2     graph30-15-3     graph30-15-4     graph30-15-5     graph35-17-1     graph35-17-2     graph35-17-3     graph35-17-4     graph35-17-5     graph40-19-1     graph40-19-2     graph40-19-3     graph40-19-4     graph40-19-5     graph45-21-1     graph45-21-2     graph45-21-3    un-/mark all