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 rand_50_250_1235842610_0_k=6_unsat.gph

Name	rand_50_250_1235842610_0_k=6_unsat.gph
Classes	[Root]    Graphs (3030)    Connected Dominating Set (5)
Submitter	Martin Gebser
Author	Gayathri Namasivayam and Miroslaw Truszczynski
Description
Created	2009-04-08 15:46
Modified	2009-04-08 15:46
Languages	Facts
Language Features
Compatible Encodings	cds_decision.gringo
Output Predicates	bound/1 edge/2 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). vtx(10). vtx(11). vtx(12). vtx(13). vtx(14). vtx(15). vtx(16). vtx(17). 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). vtx(34). 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(30,35). edge(18,46). edge(39,9). edge(7,12). edge(30,24). edge(23,43). edge(45,15). edge(25,43). edge(26,30). edge(22,33). edge(23,1). edge(31,4). edge(12,32). edge(34,11). edge(31,6). edge(40,15). edge(23,36). edge(4,31). edge(42,11). edge(43,21). edge(34,16). edge(14,28). edge(30,39). edge(21,6). edge(18,43). edge(38,41). edge(44,19). edge(45,5). edge(50,28). edge(15,30). edge(33,5). edge(40,48). edge(36,32). edge(9,29). edge(3,42). edge(44,16). edge(20,23). edge(5,40). edge(29,22). edge(32,17). edge(13,25). edge(35,7). edge(29,34). edge(34,44). edge(14,17). edge(48,8). edge(21,38). edge(6,7). edge(19,14). edge(35,21). edge(6,29). edge(37,25). edge(2,41). edge(14,30). edge(13,46). edge(46,26). edge(20,30). edge(32,49). edge(14,16). edge(42,27). edge(33,40). edge(35,4). edge(27,41). edge(10,45). edge(5,45). edge(16,10). edge(23,2). edge(35,24). edge(43,49). edge(4,5). edge(44,49). edge(30,14). edge(29,12). edge(12,43). edge(28,4). edge(20,10). edge(43,4). edge(13,20). edge(45,22). edge(15,49). edge(17,30). edge(9,39). edge(32,43). edge(13,24). edge(42,17). edge(29,35). edge(15,8). edge(49,44). edge(20,11). edge(37,47). edge(14,6). edge(10,18). edge(26,4). edge(40,3). edge(6,19). edge(12,45). edge(1,4). edge(8,24). edge(46,24). edge(2,31). edge(39,10). edge(29,33). edge(29,39). edge(19,26). edge(3,25). edge(32,9). edge(34,49). edge(35,38). edge(39,24). edge(40,45). edge(43,2). edge(40,43). edge(5,47). edge(17,1). edge(21,18). edge(31,10). edge(28,9). edge(42,7). edge(47,11). edge(32,50). edge(35,13). edge(8,18). edge(12,42). edge(6,50). edge(16,46). edge(45,8). edge(47,34). edge(1,2). edge(31,17). edge(2,1). edge(35,32). edge(10,12). edge(40,2). edge(18,37). edge(12,50). edge(36,46). edge(12,44). edge(14,24). edge(35,19). edge(15,17). edge(9,11). edge(1,9). edge(12,31). edge(26,13). edge(44,41). edge(22,34). edge(43,40). edge(21,4). edge(39,7). edge(50,14). edge(23,35). edge(33,46). edge(35,47). edge(13,43). edge(7,13). edge(2,18). edge(44,27). edge(30,25). edge(37,24). edge(7,8). edge(47,28). edge(11,36). edge(36,33). edge(24,9). edge(17,6). edge(4,2). edge(2,17). edge(30,46). edge(26,23). edge(23,5). edge(48,9). edge(29,13). edge(17,36). edge(20,14). edge(13,30). edge(49,46). edge(41,35). edge(29,14). edge(43,46). edge(19,47). edge(47,21). edge(13,42). edge(29,43). edge(37,4). edge(9,13). edge(25,35). edge(23,44). edge(49,35). edge(24,48). edge(31,14). edge(32,10). edge(27,24). edge(5,46). edge(21,2). edge(17,34). edge(43,45). edge(49,41). edge(4,7). edge(44,28). edge(42,16). edge(22,40). edge(1,45). edge(38,31). edge(8,19). edge(40,35). edge(31,13). edge(47,48). edge(46,39). edge(42,22). edge(19,40). edge(13,8). edge(47,16). edge(14,40). edge(44,5). edge(5,15). edge(9,32). edge(36,17). edge(1,26). edge(2,43). edge(20,33). edge(5,16). edge(30,1). edge(5,22). edge(22,24). edge(12,34). edge(31,8). edge(50,44). edge(47,43). edge(49,2). edge(7,44). edge(7,16). edge(26,43). edge(33,26). edge(18,34). edge(18,38). edge(17,23). edge(4,47). edge(18,45). edge(32,29). edge(37,28). edge(6,34). edge(20,5). edge(36,27). edge(48,42). edge(42,24). edge(34,24). edge(8,17). edge(40,25). edge(39,43). edge(21,13). bound(6).