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 xy.10.x.10.r.3.1268203948.99614.data_k=2_l=5_sat.lp

Name	xy.10.x.10.r.3.1268203948.99614.data_k=2_l=5_sat.lp
Classes	[Root]    Graphs (3030)    Hierarchical Clustering (5)
Submitter	Martin Gebser
Author	Gayathri Namasivayam and Miroslaw Truszczynski
Description
Created	2009-04-09 15:55
Modified	2009-04-09 15:55
Languages	Facts
Language Features
Compatible Encodings	hierarchical-clustering_decision.gringo
Output Predicates	bound/1 edge/2 levels/1 vtx/1
Tags:	ASP Contest 09 (Martin Gebser)
Attributes
Content	vtx(1). vtx(2). vtx(3). vtx(4). vtx(5). vtx(6). vtx(7). vtx(8). vtx(9). edge(9,39). vtx(10). vtx(11). vtx(12). vtx(13). vtx(14). vtx(15). vtx(16). vtx(17). vtx(34). vtx(18). vtx(19). vtx(20). vtx(21). vtx(22). vtx(23). vtx(24). vtx(25). vtx(26). vtx(27). vtx(28). vtx(29). vtx(30). vtx(31). vtx(32). vtx(33). edge(9,29). edge(9,22). edge(31,10). vtx(35). vtx(36). vtx(37). vtx(38). vtx(39). vtx(40). vtx(41). vtx(42). vtx(43). vtx(44). vtx(45). vtx(46). vtx(47). vtx(48). vtx(49). vtx(50). edge(26,38). edge(26,27). edge(26,30). edge(38,27). edge(38,35). edge(38,40). edge(38,34). edge(38,42). edge(38,3). edge(38,8). edge(9,31). edge(9,40). edge(9,10). edge(9,3). edge(9,49). edge(49,29). edge(49,22). edge(49,12). edge(49,43). edge(49,32). edge(31,49). edge(31,39). edge(31,29). edge(31,12). edge(27,35). edge(27,40). edge(27,34). edge(27,42). edge(27,36). edge(27,8). edge(35,40). edge(35,10). edge(35,34). edge(35,42). edge(35,3). edge(35,49). edge(35,36). edge(35,8). edge(35,43). edge(40,10). edge(40,34). edge(40,42). edge(40,3). edge(40,49). edge(40,39). edge(40,8). edge(40,22). edge(10,42). edge(10,3). edge(10,49). edge(10,39). edge(10,29). edge(10,22). edge(10,12). edge(10,32). edge(34,42). edge(34,3). edge(34,49). edge(34,36). edge(34,8). edge(34,21). edge(34,43). edge(42,3). edge(42,49). edge(42,39). edge(42,36). edge(42,8). edge(42,21). edge(42,43). edge(42,32). edge(3,49). edge(3,39). edge(3,29). edge(3,8). edge(3,22). edge(3,21). edge(3,43). edge(3,32). edge(3,28). edge(49,39). edge(37,17). edge(37,48). edge(37,6). edge(24,45). edge(24,41). edge(24,18). edge(24,25). edge(24,19). edge(24,17). edge(24,48). edge(24,6). edge(49,13). edge(39,29). edge(39,22). edge(39,12). edge(39,32). edge(39,15). edge(29,22). edge(29,12). edge(29,32). edge(36,8). edge(36,21). edge(36,43). edge(36,44). edge(36,4). edge(8,21). edge(8,43). edge(8,4). edge(8,28). edge(22,12). edge(22,32). edge(22,28). edge(22,13). edge(22,15). edge(12,32). edge(12,13). edge(12,15). edge(12,16). edge(21,43). edge(21,32). edge(21,4). edge(21,28). edge(21,7). edge(21,46). edge(43,32). edge(43,4). edge(43,28). edge(43,13). edge(43,7). edge(43,11). edge(43,37). edge(32,28). edge(32,13). edge(32,15). edge(32,7). edge(32,11). edge(32,16). edge(44,4). edge(44,5). edge(4,28). edge(4,7). edge(4,5). edge(4,46). edge(4,37). edge(4,14). edge(28,13). edge(28,15). edge(28,7). edge(28,11). edge(28,46). edge(28,37). edge(28,24). edge(28,45). edge(28,25). edge(13,15). edge(13,7). edge(13,11). edge(13,16). edge(13,37). edge(13,24). edge(13,45). edge(13,41). edge(15,11). edge(15,16). edge(15,24). edge(15,45). edge(15,41). edge(15,19). edge(7,11). edge(7,46). edge(7,37). edge(7,24). edge(7,14). edge(7,18). edge(7,25). edge(7,48). edge(11,16). edge(11,37). edge(11,24). edge(11,45). edge(11,41). edge(11,25). edge(11,19). edge(11,6). edge(16,45). edge(16,41). edge(16,19). edge(16,23). edge(5,46). edge(5,37). edge(5,33). edge(5,2). edge(5,14). edge(5,18). edge(5,50). edge(5,1). edge(5,20). edge(5,17). edge(46,37). edge(46,24). edge(46,2). edge(46,14). edge(46,18). edge(46,25). edge(46,1). edge(46,20). edge(46,17). edge(46,48). edge(37,24). edge(37,45). edge(37,14). edge(37,18). edge(37,25). edge(37,20). edge(24,47). edge(45,41). edge(45,25). edge(45,19). edge(45,6). edge(45,47). edge(45,23). edge(41,19). edge(41,6). edge(41,47). edge(41,23). edge(33,2). edge(33,14). edge(33,50). edge(33,1). edge(2,14). edge(2,18). edge(2,50). edge(2,1). edge(2,20). edge(2,17). edge(14,18). edge(14,25). edge(14,1). edge(14,20). edge(14,17). edge(14,48). edge(18,25). edge(18,1). edge(18,20). edge(18,17). edge(18,48). edge(25,19). edge(25,17). edge(25,48). edge(25,6). edge(25,47). edge(19,6). edge(19,47). edge(19,23). edge(50,1). edge(50,20). edge(1,20). edge(1,17). edge(1,48). edge(20,17). edge(20,48). edge(17,48). edge(17,6). edge(48,6). edge(48,47). edge(6,47). edge(6,23). edge(47,23). bound(2). levels(1). levels(2). levels(3). levels(4). levels(5).