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 graph-colouring-nodes=125-density=0.1-instance=1

Name	graph-colouring-nodes=125-density=0.1-instance=1
Classes	[Root]    Graphs (3030)    Colored (79)    Color Group 1 (60)
Submitter	Martin Gebser
Author	Martin Brain
Description
Created	2009-03-27 12:58
Modified	2009-04-09 13:18
Languages	Facts
Language Features
Compatible Encodings	graph-coloring_decision.gringo
Output Predicates	colour/1 link/2 node/1
Tags:	ASP Contest 09 (Martin Gebser)
Attributes
Content	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). node(75). node(76). node(77). node(78). node(79). node(80). node(81). node(82). node(83). node(84). node(85). node(86). node(87). node(88). node(89). node(90). node(91). node(92). node(93). node(94). node(95). node(96). node(97). node(98). node(99). node(100). node(101). node(102). node(103). node(104). node(105). node(106). node(107). node(108). node(109). node(110). node(111). node(112). node(113). node(114). node(115). node(116). node(117). node(118). node(119). node(120). node(121). node(122). node(123). node(124). node(125). link(1,17). link(17,1). link(1,25). link(25,1). link(1,27). link(27,1). link(1,39). link(39,1). link(1,45). link(45,1). link(1,62). link(62,1). link(1,70). link(70,1). link(1,77). link(77,1). link(1,93). link(93,1). link(1,95). link(95,1). link(1,96). link(96,1). link(1,103). link(103,1). link(1,108). link(108,1). link(1,125). link(125,1). link(2,6). link(6,2). link(2,16). link(16,2). link(2,18). link(18,2). link(2,30). link(30,2). link(2,49). link(49,2). link(2,51). link(51,2). link(2,52). link(52,2). link(2,78). link(78,2). link(2,82). link(82,2). link(2,109). link(109,2). link(3,5). link(5,3). link(3,6). link(6,3). link(3,15). link(15,3). link(3,20). link(20,3). link(3,24). link(24,3). link(3,28). link(28,3). link(3,40). link(40,3). link(3,42). link(42,3). link(3,71). link(71,3). link(3,79). link(79,3). link(3,80). link(80,3). link(3,86). link(86,3). link(3,94). link(94,3). link(3,101). link(101,3). link(3,102). link(102,3). link(3,125). link(125,3). link(4,15). link(15,4). link(4,37). link(37,4). link(4,52). link(52,4). link(4,63). link(63,4). link(4,66). link(66,4). link(4,70). link(70,4). link(4,97). link(97,4). link(4,112). link(112,4). link(4,122). link(122,4). link(5,18). link(18,5). link(5,20). link(20,5). link(5,27). link(27,5). link(5,29). link(29,5). link(5,37). link(37,5). link(5,39). link(39,5). link(5,56). link(56,5). link(5,73). link(73,5). link(5,74). link(74,5). link(5,76). link(76,5). link(5,87). link(87,5). link(5,88). link(88,5). link(5,105). link(105,5). link(5,115). link(115,5). link(5,124). link(124,5). link(6,15). link(15,6). link(6,35). link(35,6). link(6,59). link(59,6). link(6,61). link(61,6). link(6,68). link(68,6). link(6,77). link(77,6). link(6,81). link(81,6). link(6,99). link(99,6). link(6,102). link(102,6). link(6,104). link(104,6). link(6,113). link(113,6). link(6,120). link(120,6). link(7,36). link(36,7). link(7,58). link(58,7). link(7,60). link(60,7). link(7,61). link(61,7). link(7,66). link(66,7). link(7,70). link(70,7). link(7,90). link(90,7). link(7,95). link(95,7). link(7,104). link(104,7). link(7,125). link(125,7). link(8,23). link(23,8). link(8,24). link(24,8). link(8,26). link(26,8). link(8,65). link(65,8). link(8,70). link(70,8). link(8,102). link(102,8). link(8,103). link(103,8). link(8,115). link(115,8). link(8,116). link(116,8). link(8,117). link(117,8). link(9,21). link(21,9). link(9,41). link(41,9). link(9,43). link(43,9). link(9,56). link(56,9). link(9,93). link(93,9). link(9,113). link(113,9). link(10,12). link(12,10). link(10,49). link(49,10). link(10,55). link(55,10). link(10,58). link(58,10). link(10,68). link(68,10). link(10,72). link(72,10). link(10,76). link(76,10). link(10,99). link(99,10). link(10,111). link(111,10). link(10,119). link(119,10). link(11,20). link(20,11). link(11,27). link(27,11). link(11,30). link(30,11). link(11,38). link(38,11). link(11,57). link(57,11). link(11,67). link(67,11). link(11,68). link(68,11). link(11,71). link(71,11). link(11,75). link(75,11). link(11,77). link(77,11). link(11,86). link(86,11). link(11,112). link(112,11). link(11,123). link(123,11). link(11,124). link(124,11). link(12,20). link(20,12). link(12,47). link(47,12). link(12,55). link(55,12). link(12,64). link(64,12). link(12,69). link(69,12). link(12,70). link(70,12). link(12,86). link(86,12). link(12,90). link(90,12). link(12,101). link(101,12). link(12,112). link(112,12). link(13,27). link(27,13). link(13,28). link(28,13). link(13,31). link(31,13). link(13,41). link(41,13). link(13,44). link(44,13). link(13,48). link(48,13). link(13,54). link(54,13). link(13,62). link(62,13). link(13,65). link(65,13). link(13,67). link(67,13). link(13,70). link(70,13). link(13,87). link(87,13). link(13,118). link(118,13). link(13,122). link(122,13). link(14,46). link(46,14). link(14,48). link(48,14). link(14,54). link(54,14). link(14,62). link(62,14). link(14,72). link(72,14). link(14,75). link(75,14). link(14,76). link(76,14). link(14,87). link(87,14). link(14,89). link(89,14). link(14,104). link(104,14). link(14,105). link(105,14). link(14,114). link(114,14). link(14,123). link(123,14). link(15,40). link(40,15). link(15,53). link(53,15). link(15,68). link(68,15). link(15,81). link(81,15). link(15,83). link(83,15). link(15,90). link(90,15). link(15,96). link(96,15). link(15,99). link(99,15). link(15,106). link(106,15). link(15,118). link(118,15). link(16,31). link(31,16). link(16,35). link(35,16). link(16,37). link(37,16). link(16,49). link(49,16). link(16,66). link(66,16). link(16,67). link(67,16). link(16,71). link(71,16). link(16,80). link(80,16). link(16,89). link(89,16). link(16,102). link(102,16). link(16,120). link(120,16). link(17,28). link(28,17). link(17,29). link(29,17). link(17,45). link(45,17). link(17,49). link(49,17). link(17,81). link(81,17). link(17,84). link(84,17). link(17,96). link(96,17). link(17,98). link(98,17). link(17,111). link(111,17). link(17,112). link(112,17). link(18,34). link(34,18). link(18,35). link(35,18). link(18,49). link(49,18). link(18,71). link(71,18). link(18,78). link(78,18). link(18,81). link(81,18). link(18,86). link(86,18). link(18,98). link(98,18). link(18,99). link(99,18). link(18,119). link(119,18). link(18,123). link(123,18). link(19,36). link(36,19). link(19,46). link(46,19). link(19,48). link(48,19). link(19,61). link(61,19). link(19,64). link(64,19). link(19,77). link(77,19). link(19,78). link(78,19). link(19,97). link(97,19). link(19,102). link(102,19). link(19,103). link(103,19). link(19,107). link(107,19). link(19,108). link(108,19). link(19,118). link(118,19). link(20,60). link(60,20). link(20,70). link(70,20). link(20,71). link(71,20). link(20,74). link(74,20). link(20,76). link(76,20). link(20,94). link(94,20). link(20,114). link(114,20). link(20,124). link(124,20). link(21,25). link(25,21). link(21,26). link(26,21). link(21,31). link(31,21). link(21,33). link(33,21). link(21,34). link(34,21). link(21,47). link(47,21). link(21,80). link(80,21). link(21,90). link(90,21). link(21,103). link(103,21). link(21,119). link(119,21). link(22,33). link(33,22). link(22,51). link(51,22). link(22,58). link(58,22). link(22,60). link(60,22). link(22,83). link(83,22). link(22,90). link(90,22). link(22,99). link(99,22). link(22,108). link(108,22). link(22,119). link(119,22). link(22,121). link(121,22). link(22,122). link(122,22). link(23,27). link(27,23). link(23,34). link(34,23). link(23,42). link(42,23). link(23,46). link(46,23). link(23,50). link(50,23). link(23,59). link(59,23). link(23,74). link(74,23). link(23,90). link(90,23). link(23,110). link(110,23). link(23,121). link(121,23). link(24,28). link(28,24). link(24,31). link(31,24). link(24,43). link(43,24). link(24,44). link(44,24). link(24,48). link(48,24). link(24,52). link(52,24). link(24,55). link(55,24). link(24,57). link(57,24). link(24,97). link(97,24). link(24,99). link(99,24). link(24,101). link(101,24). link(24,102). link(102,24). link(24,109). link(109,24). link(24,112). link(112,24). link(24,125). link(125,24). link(25,36). link(36,25). link(25,37). link(37,25). link(25,41). link(41,25). link(25,52). link(52,25). link(25,67). link(67,25). link(25,70). link(70,25). link(25,77). link(77,25). link(25,83). link(83,25). link(25,91). link(91,25). link(25,92). link(92,25). link(25,93). link(93,25). link(25,100). link(100,25). link(25,114). link(114,25). link(25,125). link(125,25). link(26,48). link(48,26). link(26,51). link(51,26). link(26,75). link(75,26). link(26,92). link(92,26). link(26,95). link(95,26). link(26,109). link(109,26). link(26,112). link(112,26). link(26,113). link(113,26). link(26,114). link(114,26). link(27,28). link(28,27). link(27,30). link(30,27). link(27,53). link(53,27). link(27,81). link(81,27). link(27,82). link(82,27). link(27,88). link(88,27). link(27,92). link(92,27). link(27,103). link(103,27). link(27,108). link(108,27). link(27,113). link(113,27). link(27,123). link(123,27). link(28,33). link(33,28). link(28,34). link(34,28). link(28,52). link(52,28). link(28,62). link(62,28). link(28,63). link(63,28). link(28,74). link(74,28). link(28,77). link(77,28). link(28,89). link(89,28). link(28,93). link(93,28). link(28,95). link(95,28). link(29,30). link(30,29). link(29,39). link(39,29). link(29,43). link(43,29). link(29,51). link(51,29). link(29,92). link(92,29). link(29,97). link(97,29). link(29,108). link(108,29). link(30,36). link(36,30). link(30,45). link(45,30). link(30,53). link(53,30). link(30,54). link(54,30). link(30,67). link(67,30). link(30,92). link(92,30). link(30,105). link(105,30). link(30,106). link(106,30). link(30,114). link(114,30). link(30,118). link(118,30). link(31,36). link(36,31). link(31,44). link(44,31). link(31,51). link(51,31). link(31,55). link(55,31). link(31,65). link(65,31). link(31,69). link(69,31). link(31,70). link(70,31). link(31,86). link(86,31). link(31,87). link(87,31). link(31,121). link(121,31). link(32,33). link(33,32). link(32,84). link(84,32). link(32,85). link(85,32). link(32,113). link(113,32). link(33,35). link(35,33). link(33,46). link(46,33). link(33,72). link(72,33). link(33,82). link(82,33). link(33,86). link(86,33). link(33,88). link(88,33). link(33,91). link(91,33). link(33,96). link(96,33). link(33,97). link(97,33). link(34,40). link(40,34). link(34,50). link(50,34). link(34,55). link(55,34). link(34,57). link(57,34). link(34,62). link(62,34). link(34,76). link(76,34). link(34,91). link(91,34). link(34,112). link(112,34). link(35,43). link(43,35). link(35,71). link(71,35). link(35,81). link(81,35). link(35,94). link(94,35). link(35,95). link(95,35). link(35,103). link(103,35). link(35,109). link(109,35). link(35,120). link(120,35). link(36,87). link(87,36). link(36,102). link(102,36). link(36,118). link(118,36). link(36,120). link(120,36). link(36,122). link(122,36). link(37,44). link(44,37). link(37,83). link(83,37). link(37,88). link(88,37). link(37,90). link(90,37). link(37,93). link(93,37). link(37,96). link(96,37). link(37,111). link(111,37). link(37,122). link(122,37). link(37,123). link(123,37). link(37,125). link(125,37). link(38,43). link(43,38). link(38,50). link(50,38). link(38,52). link(52,38). link(38,59). link(59,38). link(38,64). link(64,38). link(38,87). link(87,38). link(38,90). link(90,38). link(38,101). link(101,38). link(38,113). link(113,38). link(39,46). link(46,39). link(39,61). link(61,39). link(39,64). link(64,39). link(39,82). link(82,39). link(39,103). link(103,39). link(39,113). link(113,39). link(39,119). link(119,39). link(40,46). link(46,40). link(40,49). link(49,40). link(40,51). link(51,40). link(40,55). link(55,40). link(40,109). link(109,40). link(40,116). link(116,40). link(41,42). link(42,41). link(41,61). link(61,41). link(41,75). link(75,41). link(41,89). link(89,41). link(41,105). link(105,41). link(41,108). link(108,41). link(41,113). link(113,41). link(41,115). link(115,41). link(41,121). link(121,41). link(42,47). link(47,42). link(42,76). link(76,42). link(42,103). link(103,42). link(42,110). link(110,42). link(42,113). link(113,42). link(42,119). link(119,42). link(42,123). link(123,42). link(43,49). link(49,43). link(43,65). link(65,43). link(43,67). link(67,43). link(43,68). link(68,43). link(43,74). link(74,43). link(43,80). link(80,43). link(43,112). link(112,43). link(44,90). link(90,44). link(44,94). link(94,44). link(44,106). link(106,44). link(44,107). link(107,44). link(44,114). link(114,44). link(44,117). link(117,44). link(45,56). link(56,45). link(45,60). link(60,45). link(45,71). link(71,45). link(45,77). link(77,45). link(45,87). link(87,45). link(45,101). link(101,45). link(46,67). link(67,46). link(46,79). link(79,46). link(47,57). link(57,47). link(47,63). link(63,47). link(47,107). link(107,47). link(47,111). link(111,47). link(47,120). link(120,47). link(48,53). link(53,48). link(48,61). link(61,48). link(48,65). link(65,48). link(48,68). link(68,48). link(48,80). link(80,48). link(48,84). link(84,48). link(48,98). link(98,48). link(48,99). link(99,48). link(48,114). link(114,48). link(49,53). link(53,49). link(49,94). link(94,49). link(50,51). link(51,50). link(50,52). link(52,50). link(50,58). link(58,50). link(50,72). link(72,50). link(50,92). link(92,50). link(50,95). link(95,50). link(50,108). link(108,50). link(50,109). link(109,50). link(50,113). link(113,50). link(50,117). link(117,50). link(50,119). link(119,50). link(50,123). link(123,50). link(51,56). link(56,51). link(51,101). link(101,51). link(51,105). link(105,51). link(51,106). link(106,51). link(51,115). link(115,51). link(51,116). link(116,51). link(51,118). link(118,51). link(52,63). link(63,52). link(52,91). link(91,52). link(52,103). link(103,52). link(52,108). link(108,52). link(52,111). link(111,52). link(52,112). link(112,52). link(53,70). link(70,53). link(53,80). link(80,53). link(53,98). link(98,53). link(53,118). link(118,53). link(53,120). link(120,53). link(54,88). link(88,54). link(54,92). link(92,54). link(54,104). link(104,54). link(54,114). link(114,54). link(54,115). link(115,54). link(55,75). link(75,55). link(55,82). link(82,55). link(55,96). link(96,55). link(55,99). link(99,55). link(55,103). link(103,55). link(55,115). link(115,55). link(55,125). link(125,55). link(56,59). link(59,56). link(56,64). link(64,56). link(56,66). link(66,56). link(56,75). link(75,56). link(56,76). link(76,56). link(56,77). link(77,56). link(56,104). link(104,56). link(56,105). link(105,56). link(56,106). link(106,56). link(56,109). link(109,56). link(56,112). link(112,56). link(56,119). link(119,56). link(57,63). link(63,57). link(57,65). link(65,57). link(57,66). link(66,57). link(57,75). link(75,57). link(57,80). link(80,57). link(57,87). link(87,57). link(57,89). link(89,57). link(57,95). link(95,57). link(57,100). link(100,57). link(58,76). link(76,58). link(58,77). link(77,58). link(58,79). link(79,58). link(58,81). link(81,58). link(58,91). link(91,58). link(58,94). link(94,58). link(58,97). link(97,58). link(58,108). link(108,58). link(58,113). link(113,58). link(59,70). link(70,59). link(59,74). link(74,59). link(59,95). link(95,59). link(59,113). link(113,59). link(59,124). link(124,59). link(60,64). link(64,60). link(60,96). link(96,60). link(60,98). link(98,60). link(60,115). link(115,60). link(60,124). link(124,60). link(61,63). link(63,61). link(61,71). link(71,61). link(61,92). link(92,61). link(61,94). link(94,61). link(61,100). link(100,61). link(61,108). link(108,61). link(61,115). link(115,61). link(61,124). link(124,61). link(62,68). link(68,62). link(62,69). link(69,62). link(62,93). link(93,62). link(62,94). link(94,62). link(62,105). link(105,62). link(62,110). link(110,62). link(62,112). link(112,62). link(62,120). link(120,62). link(62,124). link(124,62). link(62,125). link(125,62). link(63,65). link(65,63). link(63,68). link(68,63). link(63,73). link(73,63). link(63,86). link(86,63). link(63,89). link(89,63). link(63,90). link(90,63). link(63,96). link(96,63). link(63,105). link(105,63). link(63,106). link(106,63). link(63,112). link(112,63). link(64,68). link(68,64). link(64,72). link(72,64). link(64,77). link(77,64). link(64,85). link(85,64). link(64,95). link(95,64). link(64,110). link(110,64). link(64,113). link(113,64). link(64,115). link(115,64). link(64,117). link(117,64). link(65,78). link(78,65). link(65,97). link(97,65). link(65,102). link(102,65). link(66,68). link(68,66). link(66,70). link(70,66). link(66,71). link(71,66). link(66,76). link(76,66). link(66,82). link(82,66). link(66,88). link(88,66). link(66,91). link(91,66). link(66,122). link(122,66). link(67,68). link(68,67). link(67,69). link(69,67). link(67,91). link(91,67). link(67,125). link(125,67). link(68,71). link(71,68). link(68,83). link(83,68). link(68,102). link(102,68). link(68,104). link(104,68). link(69,74). link(74,69). link(69,118). link(118,69). link(70,81). link(81,70). link(70,82). link(82,70). link(70,83). link(83,70). link(70,96). link(96,70). link(70,119). link(119,70). link(71,95). link(95,71). link(71,101). link(101,71). link(71,109). link(109,71). link(71,110). link(110,71). link(72,76). link(76,72). link(72,81). link(81,72). link(72,82). link(82,72). link(72,84). link(84,72). link(72,111). link(111,72). link(72,117). link(117,72). link(73,92). link(92,73). link(73,112). link(112,73). link(74,92). link(92,74). link(74,97). link(97,74). link(74,121). link(121,74). link(74,123). link(123,74). link(75,78). link(78,75). link(75,79). link(79,75). link(75,86). link(86,75). link(75,103). link(103,75). link(75,104). link(104,75). link(75,107). link(107,75). link(75,110). link(110,75). link(75,120). link(120,75). link(76,80). link(80,76). link(76,93). link(93,76). link(76,102). link(102,76). link(76,103). link(103,76). link(76,109). link(109,76). link(77,78). link(78,77). link(77,85). link(85,77). link(77,88). link(88,77). link(77,106). link(106,77). link(77,107). link(107,77). link(77,116). link(116,77). link(77,120). link(120,77). link(78,81). link(81,78). link(78,101). link(101,78). link(78,107). link(107,78). link(79,88). link(88,79). link(79,99). link(99,79). link(79,119). link(119,79). link(80,88). link(88,80). link(80,93). link(93,80). link(80,103). link(103,80). link(80,113). link(113,80). link(80,124). link(124,80). link(81,83). link(83,81). link(81,92). link(92,81). link(81,101). link(101,81). link(81,104). link(104,81). link(81,114). link(114,81). link(82,97). link(97,82). link(82,103). link(103,82). link(82,120). link(120,82). link(83,96). link(96,83). link(83,112). link(112,83). link(83,121). link(121,83). link(84,108). link(108,84). link(84,112). link(112,84). link(85,95). link(95,85). link(85,109). link(109,85). link(85,114). link(114,85). link(85,117). link(117,85). link(85,118). link(118,85). link(85,121). link(121,85). link(86,91). link(91,86). link(86,106). link(106,86). link(87,118). link(118,87). link(88,90). link(90,88). link(88,92). link(92,88). link(88,96). link(96,88). link(88,101). link(101,88). link(88,103). link(103,88). link(88,105). link(105,88). link(88,118). link(118,88). link(88,122). link(122,88). link(89,97). link(97,89). link(89,98). link(98,89). link(89,99). link(99,89). link(89,108). link(108,89). link(90,96). link(96,90). link(90,98). link(98,90). link(90,110). link(110,90). link(90,125). link(125,90). link(91,95). link(95,91). link(91,105). link(105,91). link(91,109). link(109,91). link(91,116). link(116,91). link(91,124). link(124,91). link(92,93). link(93,92). link(92,98). link(98,92). link(92,101). link(101,92). link(92,102). link(102,92). link(92,107). link(107,92). link(92,123). link(123,92). link(93,102). link(102,93). link(93,115). link(115,93). link(93,117). link(117,93). link(93,118). link(118,93). link(94,95). link(95,94). link(94,114). link(114,94). link(94,121). link(121,94). link(95,102). link(102,95). link(95,115). link(115,95). link(95,117). link(117,95). link(96,97). link(97,96). link(96,101). link(101,96). link(96,112). link(112,96). link(96,115). link(115,96). link(97,98). link(98,97). link(97,100). link(100,97). link(97,102). link(102,97). link(97,123). link(123,97). link(98,110). link(110,98). link(99,101). link(101,99). link(99,113). link(113,99). link(99,119). link(119,99). link(100,112). link(112,100). link(100,125). link(125,100). link(101,102). link(102,101). link(101,123). link(123,101). link(101,124). link(124,101). link(102,104). link(104,102). link(102,107). link(107,102). link(102,114). link(114,102). link(102,122). link(122,102). link(102,123). link(123,102). link(103,109). link(109,103). link(103,112). link(112,103). link(103,125). link(125,103). link(104,118). link(118,104). link(104,121). link(121,104). link(105,109). link(109,105). link(105,116). link(116,105). link(105,123). link(123,105). link(106,107). link(107,106). link(106,116). link(116,106). link(107,108). link(108,107). link(107,120). link(120,107). link(109,112). link(112,109). link(109,114). link(114,109). link(109,123). link(123,109). link(110,111). link(111,110). link(110,113). link(113,110). link(110,121). link(121,110). link(111,115). link(115,111). link(111,117). link(117,111). link(111,124). link(124,111). link(112,117). link(117,112). link(113,116). link(116,113). link(114,124). link(124,114). link(115,117). link(117,115). link(115,118). link(118,115). link(115,120). link(120,115). link(115,122). link(122,115). link(115,125). link(125,115). link(117,122). link(122,117). link(118,124). link(124,118). link(119,123). link(123,119). link(120,122). link(122,120). link(121,125). link(125,121). link(122,125). link(125,122). colour(red0). colour(green0). colour(blue0). colour(yellow0). colour(cyan0).