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 Hierarchical Clustering

Class Tree	[Root]    Graphs (3030)    Hierarchical Clustering (5)
Description	See http://asp.haiti.cs.uni-potsdam.de/encodingclass/show/id/75
Submitter	Martin Gebser
Compatible Encodings	hierarchical-clustering_decision.gringo
Output Predicates	bound/1 edge/2 levels/1 vtx/1
Instances 1 - 5 of 5	xy.10.x.10.r.2.565627391.127944.data_k=4_l=6_unsat.lp     xy.10.x.10.r.3.1268203948.99614.data_k=2_l=5_sat.lp     xy.11.x.11.r.3.712566045.949579.data_k=3_l=3_unsat.lp     xy.12.x.12.r.3.274440616.806497.data_k=3_l=4_sat.lp     xy.12.x.12.r.3.274440616.806497.data_k=4_l=3_unsat.lp    un-/mark all