Instance gen75_1000_10_20_4

Name	gen75_1000_10_20_4
Classes	[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)
Submitter	Martin Gebser
Author	Johan Wittocx
Description
Created	2009-04-09 18:23
Modified	2009-04-09 18:23
Languages	Facts
Language Features
Compatible Encodings	maximal-clique_optimization.gringo
Output Predicates	edge/2 node/1
Tags:	ASP Contest 09 (Martin Gebser)
Attributes
Content	node(0). node(1). node(2). node(3). node(4). node(5). node(6). node(7). node(8). node(9). node(10). node(11). node(12). node(13). node(14). node(15). node(16). node(17). node(18). node(19). node(20). node(21). node(22). node(23). node(24). node(25). node(26). node(27). node(28). node(29). node(30). node(31). node(32). node(33). node(34). node(35). node(36). node(37). node(38). node(39). node(40). node(41). node(42). node(43). node(44). node(45). node(46). node(47). node(48). node(49). node(50). node(51). node(52). node(53). node(54). node(55). node(56). node(57). node(58). node(59). node(60). node(61). node(62). node(63). node(64). node(65). node(66). node(67). node(68). node(69). node(70). node(71). node(72). node(73). node(74). edge(0,1). edge(0,10). edge(0,11). edge(0,13). edge(0,20). edge(0,22). edge(0,28). edge(0,31). edge(0,33). edge(0,35). edge(0,37). edge(0,40). edge(0,44). edge(0,53). edge(0,54). edge(0,57). edge(0,58). edge(0,62). edge(0,63). edge(0,67). edge(0,68). edge(0,73). edge(1,11). edge(1,15). edge(1,21). edge(1,25). edge(1,31). edge(1,40). edge(1,43). edge(1,46). edge(1,48). edge(1,52). edge(1,54). edge(1,58). edge(1,66). edge(1,69). edge(2,6). edge(2,11). edge(2,20). edge(2,34). edge(2,36). edge(2,53). edge(2,64). edge(2,66). edge(2,67). edge(2,73). edge(3,4). edge(3,5). edge(3,8). edge(3,12). edge(3,13). edge(3,21). edge(3,22). edge(3,25). edge(3,27). edge(3,30). edge(3,31). edge(3,44). edge(3,53). edge(3,59). edge(3,60). edge(3,62). edge(4,8). edge(4,12). edge(4,17). edge(4,18). edge(4,19). edge(4,20). edge(4,21). edge(4,22). edge(4,23). edge(4,24). edge(4,27). edge(4,29). edge(4,30). edge(4,37). edge(4,46). edge(4,48). edge(4,49). edge(4,50). edge(4,51). edge(4,55). edge(4,56). edge(4,57). edge(4,58). edge(4,60). edge(4,61). edge(4,69). edge(4,70). edge(4,72). edge(5,7). edge(5,9). edge(5,10). edge(5,12). edge(5,13). edge(5,16). edge(5,18). edge(5,19). edge(5,24). edge(5,25). edge(5,27). edge(5,28). edge(5,30). edge(5,31). edge(5,33). edge(5,35). edge(5,36). edge(5,48). edge(5,49). edge(5,50). edge(5,52). edge(5,55). edge(5,57). edge(5,60). edge(5,62). edge(5,63). edge(5,66). edge(5,67). edge(5,69). edge(5,72). edge(5,73). edge(5,74). edge(6,7). edge(6,11). edge(6,13). edge(6,14). edge(6,16). edge(6,18). edge(6,20). edge(6,21). edge(6,22). edge(6,27). edge(6,28). edge(6,29). edge(6,33). edge(6,35). edge(6,36). edge(6,37). edge(6,39). edge(6,40). edge(6,41). edge(6,43). edge(6,44). edge(6,46). edge(6,48). edge(6,49). edge(6,51). edge(6,56). edge(6,60). edge(6,64). edge(6,65). edge(6,66). edge(6,67). edge(6,69). edge(6,71). edge(6,72). edge(6,73). edge(7,10). edge(7,11). edge(7,12). edge(7,13). edge(7,14). edge(7,15). edge(7,16). edge(7,17). edge(7,18). edge(7,21). edge(7,24). edge(7,25). edge(7,27). edge(7,28). edge(7,29). edge(7,30). edge(7,31). edge(7,34). edge(7,36). edge(7,39). edge(7,40). edge(7,43). edge(7,46). edge(7,48). edge(7,50). edge(7,51). edge(7,52). edge(7,54). edge(7,55). edge(7,62). edge(7,63). edge(7,64). edge(7,66). edge(7,67). edge(7,69). edge(7,72). edge(7,73). edge(7,74). edge(8,11). edge(8,15). edge(8,19). edge(8,23). edge(8,29). edge(8,43). edge(8,46). edge(8,49). edge(8,50). edge(8,51). edge(8,56). edge(8,61). edge(8,65). edge(8,67). edge(8,69). edge(8,70). edge(8,71). edge(8,72). edge(9,11). edge(9,13). edge(9,24). edge(9,25). edge(9,32). edge(9,33). edge(9,37). edge(9,38). edge(9,40). edge(9,51). edge(9,59). edge(9,65). edge(9,73). edge(10,12). edge(10,15). edge(10,18). edge(10,20). edge(10,22). edge(10,24). edge(10,28). edge(10,30). edge(10,31). edge(10,34). edge(10,36). edge(10,39). edge(10,43). edge(10,49). edge(10,50). edge(10,51). edge(10,55). edge(10,60). edge(10,62). edge(10,63). edge(10,67). edge(10,69). edge(10,73). edge(10,74). edge(11,13). edge(11,14). edge(11,18). edge(11,21). edge(11,27). edge(11,29). edge(11,31). edge(11,33). edge(11,34). edge(11,40). edge(11,51). edge(11,53). edge(11,57). edge(11,58). edge(11,66). edge(11,69). edge(11,70). edge(11,72). edge(11,73). edge(11,74). edge(12,18). edge(12,21). edge(12,29). edge(12,30). edge(12,35). edge(12,37). edge(12,41). edge(12,43). edge(12,46). edge(12,52). edge(12,56). edge(12,57). edge(12,67). edge(12,68). edge(12,70). edge(12,71). edge(13,14). edge(13,17). edge(13,19). edge(13,21). edge(13,27). edge(13,29). edge(13,30). edge(13,35). edge(13,37). edge(13,40). edge(13,44). edge(13,45). edge(13,51). edge(13,52). edge(13,53). edge(13,54). edge(13,58). edge(13,63). edge(13,64). edge(13,65). edge(13,66). edge(13,68). edge(13,69). edge(13,73). edge(14,16). edge(14,17). edge(14,18). edge(14,19). edge(14,20). edge(14,21). edge(14,22). edge(14,26). edge(14,27). edge(14,28). edge(14,29). edge(14,30). edge(14,33). edge(14,36). edge(14,37). edge(14,38). edge(14,39). edge(14,40). edge(14,43). edge(14,44). edge(14,46). edge(14,48). edge(14,51). edge(14,52). edge(14,54). edge(14,56). edge(14,66). edge(14,67). edge(14,69). edge(14,70). edge(14,71). edge(14,72). edge(14,73). edge(14,74). edge(15,16). edge(15,18). edge(15,19). edge(15,22). edge(15,24). edge(15,26). edge(15,30). edge(15,43). edge(15,47). edge(15,55). edge(15,67). edge(15,68). edge(15,69). edge(15,72). edge(16,17). edge(16,18). edge(16,20). edge(16,21). edge(16,22). edge(16,28). edge(16,29). edge(16,34). edge(16,36). edge(16,37). edge(16,38). edge(16,39). edge(16,41). edge(16,43). edge(16,44). edge(16,46). edge(16,48). edge(16,49). edge(16,50). edge(16,51). edge(16,52). edge(16,54). edge(16,56). edge(16,57). edge(16,67). edge(16,70). edge(16,72). edge(16,73). edge(16,74). edge(17,18). edge(17,23). edge(17,28). edge(17,29). edge(17,31). edge(17,39). edge(17,43). edge(17,44). edge(17,47). edge(17,48). edge(17,51). edge(17,52). edge(17,54). edge(17,56). edge(17,63). edge(17,64). edge(17,67). edge(17,68). edge(17,71). edge(17,72). edge(17,73). edge(17,74). edge(18,20). edge(18,22). edge(18,28). edge(18,29). edge(18,30). edge(18,32). edge(18,34). edge(18,36). edge(18,37). edge(18,39). edge(18,40). edge(18,43). edge(18,44). edge(18,46). edge(18,47). edge(18,48). edge(18,51). edge(18,52). edge(18,54). edge(18,56). edge(18,57). edge(18,58). edge(18,59). edge(18,64). edge(18,65). edge(18,67). edge(18,68). edge(18,70). edge(18,72). edge(18,73). edge(18,74). edge(19,23). edge(19,26). edge(19,28). edge(19,29). edge(19,31). edge(19,33). edge(19,40). edge(19,42). edge(19,47). edge(19,49). edge(19,51). edge(19,54). edge(19,56). edge(19,60). edge(19,61). edge(19,62). edge(19,69). edge(19,72). edge(19,74). edge(20,22). edge(20,29). edge(20,34). edge(20,36). edge(20,37). edge(20,42). edge(20,43). edge(20,44). edge(20,46). edge(20,48). edge(20,53). edge(20,55). edge(20,56). edge(20,60). edge(20,61). edge(20,67). edge(20,72). edge(20,73). edge(21,26). edge(21,27). edge(21,35). edge(21,40). edge(21,41). edge(21,45). edge(21,50). edge(21,51). edge(21,60). edge(21,61). edge(21,62). edge(21,64). edge(21,66). edge(21,69). edge(21,70). edge(21,71). edge(21,73). edge(21,74). edge(22,26). edge(22,29). edge(22,36). edge(22,37). edge(22,40). edge(22,41). edge(22,43). edge(22,44). edge(22,46). edge(22,50). edge(22,52). edge(22,56). edge(22,59). edge(22,61). edge(22,63). edge(22,67). edge(22,71). edge(22,72). edge(22,73). edge(22,74). edge(23,25). edge(23,26). edge(23,29). edge(23,30). edge(23,35). edge(23,38). edge(23,41). edge(23,43). edge(23,47). edge(23,48). edge(23,49). edge(23,51). edge(23,52). edge(23,56). edge(23,61). edge(23,65). edge(23,69). edge(23,72). edge(24,27). edge(24,28). edge(24,30). edge(24,31). edge(24,32). edge(24,34). edge(24,36). edge(24,39). edge(24,40). edge(24,46). edge(24,47). edge(24,50). edge(24,51). edge(24,52). edge(24,54). edge(24,57). edge(24,61). edge(24,62). edge(24,63). edge(24,66). edge(24,67). edge(24,69). edge(24,73). edge(24,74). edge(25,27). edge(25,31). edge(25,39). edge(25,40). edge(25,43). edge(25,46). edge(25,49). edge(25,59). edge(25,60). edge(25,63). edge(25,70). edge(25,74). edge(26,27). edge(26,28). edge(26,30). edge(26,33). edge(26,34). edge(26,36). edge(26,37). edge(26,39). edge(26,43). edge(26,44). edge(26,48). edge(26,49). edge(26,51). edge(26,57). edge(26,58). edge(26,66). edge(26,69). edge(27,28). edge(27,30). edge(27,31). edge(27,32). edge(27,33). edge(27,35). edge(27,37). edge(27,39). edge(27,40). edge(27,41). edge(27,47). edge(27,49). edge(27,51). edge(27,52). edge(27,53). edge(27,58). edge(27,60). edge(27,64). edge(27,66). edge(27,67). edge(27,69). edge(27,73). edge(28,29). edge(28,35). edge(28,36). edge(28,38). edge(28,39). edge(28,42). edge(28,43). edge(28,48). edge(28,50). edge(28,51). edge(28,52). edge(28,53). edge(28,54). edge(28,55). edge(28,56). edge(28,61). edge(28,62). edge(28,64). edge(28,65). edge(28,66). edge(28,69). edge(28,72). edge(28,73). edge(28,74). edge(29,30). edge(29,33). edge(29,35). edge(29,36). edge(29,37). edge(29,39). edge(29,42). edge(29,43). edge(29,44). edge(29,46). edge(29,48). edge(29,49). edge(29,51). edge(29,52). edge(29,53). edge(29,54). edge(29,56). edge(29,61). edge(29,62). edge(29,65). edge(29,67). edge(29,69). edge(29,72). edge(29,73). edge(29,74). edge(30,31). edge(30,33). edge(30,36). edge(30,39). edge(30,40). edge(30,43). edge(30,44). edge(30,50). edge(30,52). edge(30,53). edge(30,55). edge(30,56). edge(30,62). edge(30,63). edge(30,66). edge(30,67). edge(30,69). edge(30,73). edge(30,74). edge(31,36). edge(31,40). edge(31,48). edge(31,50). edge(31,52). edge(31,57). edge(31,58). edge(31,59). edge(31,62). edge(31,63). edge(31,67). edge(31,69). edge(31,70). edge(31,73). edge(31,74). edge(32,33). edge(32,38). edge(32,40). edge(32,41). edge(32,56). edge(32,59). edge(32,61). edge(32,63). edge(32,66). edge(33,38). edge(33,42). edge(33,43). edge(33,52). edge(33,55). edge(33,59). edge(33,60). edge(33,62). edge(33,64). edge(33,67). edge(33,70). edge(33,71). edge(34,36). edge(34,44). edge(34,50). edge(34,55). edge(34,60). edge(34,64). edge(34,70). edge(34,71). edge(35,37). edge(35,38). edge(35,41). edge(35,42). edge(35,43). edge(35,44). edge(35,45). edge(35,46). edge(35,49). edge(35,52). edge(35,53). edge(35,54). edge(35,59). edge(35,60). edge(35,62). edge(35,63). edge(35,64). edge(35,67). edge(35,74). edge(36,37). edge(36,38). edge(36,39). edge(36,43). edge(36,44). edge(36,46). edge(36,47). edge(36,49). edge(36,50). edge(36,56). edge(36,62). edge(36,63). edge(36,64). edge(36,67). edge(36,69). edge(36,71). edge(36,72). edge(36,73). edge(36,74). edge(37,39). edge(37,42). edge(37,43). edge(37,44). edge(37,46). edge(37,49). edge(37,52). edge(37,53). edge(37,54). edge(37,56). edge(37,59). edge(37,61). edge(37,67). edge(37,68). edge(37,70). edge(37,72). edge(37,73). edge(38,39). edge(38,46). edge(38,50). edge(38,52). edge(38,54). edge(38,56). edge(38,58). edge(38,61). edge(38,64). edge(38,67). edge(38,68). edge(38,71). edge(39,43). edge(39,44). edge(39,48). edge(39,51). edge(39,52). edge(39,54). edge(39,56). edge(39,58). edge(39,59). edge(39,61). edge(39,67). edge(39,71). edge(39,72). edge(39,74). edge(40,51). edge(40,53). edge(40,56). edge(40,61). edge(40,66). edge(40,69). edge(40,70). edge(40,72). edge(40,73). edge(41,43). edge(41,49). edge(41,60). edge(41,63). edge(41,64). edge(41,65). edge(41,67). edge(41,68). edge(41,69). edge(42,44). edge(42,50). edge(42,53). edge(42,54). edge(42,58). edge(42,63). edge(42,64). edge(42,73). edge(42,74). edge(43,44). edge(43,46). edge(43,48). edge(43,50). edge(43,51). edge(43,52). edge(43,53). edge(43,54). edge(43,56). edge(43,64). edge(43,67). edge(43,70). edge(43,71). edge(43,72). edge(43,73). edge(43,74). edge(44,46). edge(44,48). edge(44,51). edge(44,53). edge(44,54). edge(44,56). edge(44,57). edge(44,63). edge(44,67). edge(44,72). edge(44,73). edge(45,46). edge(45,49). edge(45,50). edge(45,57). edge(45,59). edge(45,60). edge(45,62). edge(45,69). edge(45,74). edge(46,54). edge(46,56). edge(46,57). edge(46,59). edge(46,62). edge(46,67). edge(46,70). edge(46,72). edge(46,73). edge(46,74). edge(47,48). edge(47,50). edge(47,63). edge(47,65). edge(48,49). edge(48,51). edge(48,52). edge(48,54). edge(48,64). edge(48,65). edge(48,68). edge(48,72). edge(48,74). edge(49,51). edge(49,55). edge(49,56). edge(49,60). edge(49,61). edge(49,64). edge(49,69). edge(49,72). edge(49,73). edge(49,74). edge(50,60). edge(50,62). edge(50,63). edge(50,67). edge(50,69). edge(50,70). edge(50,72). edge(50,73). edge(50,74). edge(51,52). edge(51,54). edge(51,56). edge(51,61). edge(51,62). edge(51,66). edge(51,68). edge(51,69). edge(51,72). edge(51,73). edge(51,74). edge(52,54). edge(52,56). edge(52,57). edge(52,62). edge(52,63). edge(52,64). edge(52,72). edge(52,74). edge(53,54). edge(53,57). edge(53,59). edge(53,67). edge(53,69). edge(54,60). edge(54,67). edge(54,72). edge(54,74). edge(55,57). edge(55,61). edge(55,64). edge(55,66). edge(55,67). edge(55,69). edge(55,71). edge(55,73). edge(56,60). edge(56,61). edge(56,62). edge(56,64). edge(56,67). edge(56,69). edge(56,72). edge(56,73). edge(57,58). edge(57,59). edge(57,60). edge(57,67). edge(57,73). edge(58,60). edge(58,61). edge(58,68). edge(59,71). edge(59,72). edge(59,73). edge(60,63). edge(60,64). edge(61,65). edge(61,67). edge(61,68). edge(61,69). edge(61,72). edge(61,74). edge(62,63). edge(62,65). edge(62,67). edge(62,69). edge(62,71). edge(62,73). edge(62,74). edge(63,67). edge(63,69). edge(63,71). edge(63,73). edge(63,74). edge(64,69). edge(64,74). edge(65,67). edge(66,69). edge(66,73). edge(66,74). edge(67,69). edge(67,70). edge(67,72). edge(67,73). edge(67,74). edge(69,71). edge(69,72). edge(69,73). edge(69,74). edge(70,74). edge(72,73). edge(72,74). edge(73,74).

Actions

Navigation

Instance gen75_1000_10_20_4