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 Partitioning

Class Tree	[Root]    Graphs (3030)    Partitioning (5)
Description	See http://asp.haiti.cs.uni-potsdam.de/encodingclass/show/id/77
Submitter	Martin Gebser
Compatible Encodings	partitioning_decision.gringo
Output Predicates	edge/2 edgebound/1 parts/1 vtx/1 vtxbound/1 weight_wtedge/3
Instances 1 - 5 of 5	rand_15_75_1235849326_0_k=3_v=7_e=20_unsat.gph     rand_15_75_1235849326_0_k=3_v=7_e=30_sat.gph     rand_20_100_1235402004_0_k=6_v=4_e=4_sat.gph     rand_20_100_1235851242_0_k=3_v=10_e=20_unsat.gph     rand_20_100_1235851242_0_k=3_v=15_e=25_sat.gph    un-/mark all