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_150_1200_1154711577_1

Name	rand_150_1200_1154711577_1
Classes	[Root]    Unclassified (3031)    HamiltonianCycle (30)
Submitter	Martin Gebser
Author
Description	100 vertices, 1200 edges
Created	2009-03-30 13:03
Modified	2008-11-29 00:07
Languages
Language Features
Compatible Encodings
Output Predicates
Tags:
Attributes
Content	bound(150). 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). vtx(51). vtx(52). vtx(53). vtx(54). vtx(55). vtx(56). vtx(57). vtx(58). vtx(59). vtx(60). vtx(61). vtx(62). vtx(63). vtx(64). vtx(65). vtx(66). vtx(67). vtx(68). vtx(69). vtx(70). vtx(71). vtx(72). vtx(73). vtx(74). vtx(75). vtx(76). vtx(77). vtx(78). vtx(79). vtx(80). vtx(81). vtx(82). vtx(83). vtx(84). vtx(85). vtx(86). vtx(87). vtx(88). vtx(89). vtx(90). vtx(91). vtx(92). vtx(93). vtx(94). vtx(95). vtx(96). vtx(97). vtx(98). vtx(99). vtx(100). vtx(101). vtx(102). vtx(103). vtx(104). vtx(105). vtx(106). vtx(107). vtx(108). vtx(109). vtx(110). vtx(111). vtx(112). vtx(113). vtx(114). vtx(115). vtx(116). vtx(117). vtx(118). vtx(119). vtx(120). vtx(121). vtx(122). vtx(123). vtx(124). vtx(125). vtx(126). vtx(127). vtx(128). vtx(129). vtx(130). vtx(131). vtx(132). vtx(133). vtx(134). vtx(135). vtx(136). vtx(137). vtx(138). vtx(139). vtx(140). vtx(141). vtx(142). vtx(143). vtx(144). vtx(145). vtx(146). vtx(147). vtx(148). vtx(149). vtx(150). edge(97,108). edge(141,96). edge(55,16). edge(142,119). edge(8,18). edge(47,109). edge(84,142). edge(13,1). edge(145,64). edge(50,80). edge(116,129). edge(72,50). edge(31,117). edge(121,51). edge(110,118). edge(140,56). edge(75,130). edge(2,129). edge(146,144). edge(98,3). edge(11,145). edge(111,95). edge(136,124). edge(95,131). edge(37,145). edge(60,2). edge(124,132). edge(51,5). edge(98,22). edge(55,57). edge(139,44). edge(113,64). edge(24,115). edge(42,19). edge(108,140). edge(21,119). edge(134,131). edge(64,119). edge(105,9). edge(99,141). edge(3,9). edge(143,126). edge(141,44). edge(130,88). edge(65,35). edge(144,54). edge(78,107). edge(117,101). edge(71,9). edge(120,29). edge(148,140). edge(148,131). edge(121,62). edge(100,75). edge(70,48). edge(66,72). edge(57,58). edge(48,47). edge(101,28). edge(135,16). edge(62,129). edge(69,139). edge(85,36). edge(90,6). edge(44,59). edge(34,42). edge(49,32). edge(22,20). edge(93,121). edge(95,12). edge(19,10). edge(84,76). edge(68,131). edge(123,18). edge(8,107). edge(34,70). edge(86,102). edge(59,21). edge(138,149). edge(26,32). edge(58,60). edge(73,106). edge(91,94). edge(126,34). edge(65,70). edge(46,84). edge(80,129). edge(10,147). edge(110,132). edge(15,118). edge(89,48). edge(37,25). edge(150,96). edge(45,137). edge(94,70). edge(18,1). edge(129,90). edge(107,70). edge(34,82). edge(104,99). edge(1,149). edge(33,81). edge(128,42). edge(77,87). edge(24,91). edge(55,113). edge(139,91). edge(137,138). edge(37,31). edge(125,130). edge(100,143). edge(130,79). edge(83,86). edge(149,116). edge(18,102). edge(65,18). edge(101,98). edge(99,78). edge(140,25). edge(15,13). edge(116,69). edge(126,104). edge(10,112). edge(92,46). edge(143,66). edge(25,93). edge(58,5). edge(22,140). edge(90,20). edge(106,108). edge(122,21). edge(125,73). edge(119,73). edge(150,108). edge(98,15). edge(120,63). edge(83,96). edge(17,92). edge(58,109). edge(138,50). edge(24,13). edge(142,82). edge(17,13). edge(72,107). edge(33,28). edge(64,5). edge(49,39). edge(77,17). edge(112,77). edge(124,59). edge(122,23). edge(40,139). edge(115,97). edge(97,103). edge(146,121). edge(115,138). edge(53,131). edge(1,124). edge(87,33). edge(2,1). edge(38,51). edge(39,114). edge(67,150). edge(40,41). edge(59,130). edge(135,30). edge(3,24). edge(19,117). edge(120,115). edge(69,115). edge(85,33). edge(103,137). edge(14,103). edge(111,101). edge(135,113). edge(101,22). edge(13,139). edge(136,80). edge(139,25). edge(120,47). edge(5,104). edge(77,7). edge(128,95). edge(124,97). edge(59,42). edge(62,144). edge(75,14). edge(130,89). edge(116,91). edge(39,101). edge(53,139). edge(123,65). edge(128,108). edge(144,116). edge(133,114). edge(13,137). edge(67,89). edge(143,44). edge(33,117). edge(141,92). edge(8,52). edge(85,83). edge(65,21). edge(30,5). edge(60,131). edge(57,49). edge(103,122). edge(26,60). edge(115,142). edge(43,78). edge(4,29). edge(145,92). edge(22,39). edge(124,138). edge(29,65). edge(146,80). edge(150,79). edge(100,25). edge(68,9). edge(5,125). edge(57,107). edge(17,60). edge(74,59). edge(138,77). edge(88,133). edge(18,109). edge(21,142). edge(97,50). edge(57,92). edge(130,56). edge(20,124). edge(120,148). edge(37,128). edge(3,11). edge(35,109). edge(106,117). edge(126,16). edge(40,34). edge(4,117). edge(122,136). edge(134,80). edge(6,126). edge(27,55). edge(33,119). edge(34,89). edge(138,8). edge(58,107). edge(5,95). edge(85,7). edge(106,119). edge(116,61). edge(85,92). edge(77,125). edge(125,80). edge(91,97). edge(65,75). edge(27,70). edge(51,53). edge(125,83). edge(21,9). edge(16,79). edge(116,20). edge(23,50). edge(27,128). edge(19,143). edge(39,104). edge(84,115). edge(78,59). edge(45,18). edge(5,109). edge(93,31). edge(29,143). edge(84,4). edge(75,104). edge(12,96). edge(113,27). edge(25,78). edge(47,128). edge(74,25). edge(146,66). edge(64,99). edge(150,29). edge(27,58). edge(73,45). edge(63,32). edge(137,94). edge(61,129). edge(27,64). edge(54,131). edge(75,150). edge(93,101). edge(24,21). edge(148,70). edge(148,71). edge(95,144). edge(137,8). edge(93,136). edge(36,119). edge(44,109). edge(13,107). edge(140,150). edge(50,129). edge(77,113). edge(32,57). edge(38,31). edge(150,139). edge(54,20). edge(17,57). edge(68,11). edge(43,76). edge(103,28). edge(112,71). edge(72,70). edge(84,28). edge(59,84). edge(77,109). edge(62,3). edge(72,94). edge(60,109). edge(97,28). edge(78,83). edge(1,95). edge(105,32). edge(145,57). edge(59,106). edge(128,131). edge(25,62). edge(8,84). edge(145,85). edge(42,57). edge(87,113). edge(150,147). edge(72,123). edge(55,19). edge(150,133). edge(101,1). edge(77,90). edge(70,31). edge(121,64). edge(88,30). edge(19,66). edge(10,43). edge(127,18). edge(127,122). edge(28,39). edge(131,27). edge(35,53). edge(150,90). edge(71,150). edge(72,22). edge(150,149). edge(111,70). edge(30,82). edge(133,117). edge(111,2). edge(33,121). edge(44,9). edge(138,21). edge(38,8). edge(127,19). edge(34,12). edge(71,33). edge(101,141). edge(32,23). edge(12,32). edge(21,123). edge(101,50). edge(54,84). edge(17,14). edge(85,50). edge(134,129). edge(58,122). edge(149,38). edge(60,37). edge(45,36). edge(55,78). edge(47,126). edge(111,148). edge(117,142). edge(20,128). edge(24,40). edge(101,124). edge(90,4). edge(18,142). edge(6,2). edge(120,64). edge(123,118). edge(101,33). edge(4,145). edge(68,58). edge(73,115). edge(34,33). edge(112,150). edge(25,132). edge(128,49). edge(21,78). edge(22,111). edge(82,79). edge(68,100). edge(70,74). edge(101,40). edge(137,74). edge(7,87). edge(106,10). edge(82,24). edge(68,5). edge(139,101). edge(38,100). edge(100,63). edge(82,77). edge(111,102). edge(5,133). edge(63,86). edge(62,130). edge(36,131). edge(53,136). edge(21,40). edge(60,27). edge(127,16). edge(36,58). edge(63,27). edge(54,100). edge(127,4). edge(13,58). edge(80,123). edge(10,85). edge(105,73). edge(21,16). edge(53,56). edge(147,106). edge(42,17). edge(145,101). edge(43,121). edge(116,79). edge(29,5). edge(32,91). edge(31,86). edge(41,8). edge(89,53). edge(66,18). edge(26,75). edge(103,130). edge(147,123). edge(146,50). edge(28,143). edge(5,69). edge(9,149). edge(19,52). edge(120,135). edge(139,12). edge(89,20). edge(97,130). edge(28,35). edge(33,93). edge(53,58). edge(18,5). edge(38,15). edge(128,33). edge(25,68). edge(73,34). edge(67,92). edge(86,36). edge(76,66). edge(33,65). edge(77,122). edge(85,24). edge(101,112). edge(59,134). edge(55,112). edge(41,72). edge(117,78). edge(87,94). edge(111,150). edge(98,136). edge(67,21). edge(19,133). edge(112,105). edge(19,38). edge(20,51). edge(23,38). edge(121,124). edge(107,54). edge(140,147). edge(126,107). edge(75,62). edge(50,36). edge(62,147). edge(21,128). edge(18,40). edge(111,129). edge(144,129). edge(30,119). edge(110,52). edge(6,80). edge(25,5). edge(109,132). edge(59,98). edge(128,35). edge(54,53). edge(96,104). edge(88,7). edge(101,108). edge(135,118). edge(148,96). edge(97,142). edge(75,113). edge(5,105). edge(82,114). edge(43,31). edge(93,1). edge(99,140). edge(35,3). edge(42,131). edge(107,130). edge(138,57). edge(88,123). edge(68,120). edge(76,143). edge(82,80). edge(97,14). edge(43,103). edge(101,86). edge(134,43). edge(87,146). edge(44,36). edge(136,79). edge(60,145). edge(7,47). edge(51,94). edge(20,74). edge(28,88). edge(43,104). edge(33,26). edge(138,76). edge(129,89). edge(12,112). edge(132,98). edge(107,25). edge(133,93). edge(103,22). edge(120,13). edge(59,66). edge(69,79). edge(140,97). edge(16,33). edge(50,95). edge(7,82). edge(121,145). edge(8,99). edge(84,19). edge(61,65). edge(116,17). edge(89,99). edge(110,42). edge(120,79). edge(54,136). edge(54,113). edge(51,123). edge(70,57). edge(1,79). edge(70,7). edge(77,130). edge(72,43). edge(142,106). edge(52,112). edge(34,106). edge(97,88). edge(69,148). edge(61,110). edge(38,130). edge(16,110). edge(99,17). edge(39,150). edge(138,112). edge(119,134). edge(36,40). edge(50,18). edge(138,102). edge(129,22). edge(58,75). edge(110,126). edge(72,20). edge(86,110). edge(150,101). edge(69,99). edge(117,107). edge(98,104). edge(11,37). edge(139,46). edge(77,15). edge(78,127). edge(32,66). edge(79,10). edge(88,136). edge(85,47). edge(112,7). edge(67,47). edge(116,66). edge(147,34). edge(15,114). edge(140,112). edge(95,105). edge(124,22). edge(120,52). edge(118,77). edge(11,55). edge(62,96). edge(101,23). edge(102,17). edge(70,68). edge(83,67). edge(102,97). edge(30,91). edge(149,26). edge(26,94). edge(131,149). edge(116,100). edge(51,114). edge(101,18). edge(40,112). edge(72,102). edge(57,22). edge(125,9). edge(39,44). edge(76,121). edge(111,27). edge(68,141). edge(118,127). edge(88,117). edge(2,113). edge(61,132). edge(112,26). edge(82,12). edge(139,33). edge(29,144). edge(100,131). edge(50,122). edge(106,58). edge(10,150). edge(110,10). edge(49,100). edge(128,25). edge(37,94). edge(27,150). edge(5,9). edge(111,30). edge(91,123). edge(19,123). edge(1,48). edge(116,101). edge(28,16). edge(72,134). edge(73,82). edge(133,57). edge(62,92). edge(67,110). edge(42,44). edge(135,79). edge(138,12). edge(78,143). edge(20,39). edge(22,110). edge(11,41). edge(88,48). edge(113,116). edge(63,34). edge(99,136). edge(116,81). edge(42,27). edge(23,109). edge(137,65). edge(3,122). edge(143,140). edge(133,71). edge(132,3). edge(110,4). edge(113,121). edge(44,132). edge(132,92). edge(94,97). edge(4,128). edge(45,139). edge(93,126). edge(31,120). edge(149,139). edge(107,64). edge(141,78). edge(56,131). edge(61,127). edge(113,63). edge(86,117). edge(25,56). edge(10,69). edge(38,141). edge(11,132). edge(88,14). edge(110,133). edge(3,53). edge(108,33). edge(22,107). edge(20,13). edge(57,76). edge(143,117). edge(52,106). edge(30,138). edge(72,55). edge(44,82). edge(124,82). edge(73,134). edge(64,10). edge(148,23). edge(142,150). edge(33,97). edge(76,67). edge(132,2). edge(60,99). edge(53,15). edge(129,41). edge(84,18). edge(7,15). edge(91,141). edge(78,100). edge(138,101). edge(92,138). edge(26,42). edge(98,75). edge(48,24). edge(142,30). edge(25,51). edge(128,77). edge(66,106). edge(117,3). edge(139,51). edge(21,145). edge(66,111). edge(135,144). edge(61,123). edge(94,2). edge(110,119). edge(43,130). edge(55,139). edge(14,46). edge(18,38). edge(97,146). edge(115,12). edge(102,82). edge(15,90). edge(132,35). edge(145,69). edge(40,55). edge(41,134). edge(56,1). edge(103,99). edge(130,44). edge(33,102). edge(80,51). edge(140,26). edge(46,104). edge(38,147). edge(35,52). edge(87,17). edge(86,21). edge(64,80). edge(90,104). edge(134,130). edge(87,40). edge(131,39). edge(139,111). edge(83,77). edge(144,115). edge(29,74). edge(15,19). edge(57,7). edge(37,143). edge(13,86). edge(52,102). edge(39,35). edge(82,126). edge(75,63). edge(15,63). edge(23,97). edge(140,17). edge(61,19). edge(90,75). edge(37,38). edge(135,8). edge(23,42). edge(14,60). edge(34,36). edge(32,47). edge(122,83). edge(149,10). edge(118,81). edge(136,42). edge(143,150). edge(105,15). edge(96,95). edge(31,6). edge(113,120). edge(81,149). edge(8,66). edge(7,31). edge(108,21). edge(91,142). edge(56,122). edge(38,28). edge(55,37). edge(38,22). edge(117,23). edge(64,110). edge(22,19). edge(125,117). edge(113,6). edge(123,75). edge(126,54). edge(74,133). edge(120,80). edge(14,77). edge(100,104). edge(68,6). edge(75,106). edge(34,129). edge(142,71). edge(1,109). edge(93,64). edge(82,43). edge(82,45). edge(48,55). edge(119,23). edge(108,43). edge(5,78). edge(122,18). edge(4,72). edge(121,71). edge(78,46). edge(25,18). edge(31,25). edge(127,124). edge(89,45). edge(88,20). edge(87,20). edge(65,135). edge(74,34). edge(76,12). edge(108,48). edge(30,112). edge(119,1). edge(33,47). edge(46,59). edge(76,38). edge(95,53). edge(11,33). edge(97,99). edge(53,34). edge(118,117). edge(18,41). edge(150,25). edge(72,76). edge(36,30). edge(123,66). edge(66,24). edge(82,145). edge(32,8). edge(32,126). edge(60,43). edge(8,7). edge(142,61). edge(41,109). edge(27,59). edge(83,72). edge(102,119). edge(102,75). edge(34,93). edge(16,100). edge(116,4). edge(61,47). edge(149,92). edge(54,30). edge(68,113). edge(73,76). edge(136,10). edge(23,13). edge(68,22). edge(94,141). edge(119,45). edge(65,2). edge(137,81). edge(101,102). edge(85,12). edge(148,83). edge(104,52). edge(112,21). edge(15,35). edge(96,134). edge(98,82). edge(144,120). edge(94,61). edge(142,132). edge(61,85). edge(123,29). edge(129,37). edge(31,116). edge(118,132). edge(67,52). edge(144,65). edge(134,97). edge(116,96). edge(117,130). edge(130,63). edge(114,77). edge(144,107). edge(47,88). edge(17,38). edge(70,78). edge(122,42). edge(107,101). edge(79,138). edge(66,46). edge(119,132). edge(98,112). edge(46,82). edge(59,12). edge(27,26). edge(141,7). edge(89,105). edge(84,82). edge(61,130). edge(20,78). edge(17,89). edge(5,139). edge(131,112). edge(89,59). edge(99,4). edge(105,67). edge(136,52). edge(29,31). edge(113,33). edge(16,51). edge(137,100). edge(133,48). edge(79,2). edge(125,96). edge(91,130). edge(84,71). edge(91,22). edge(129,39). edge(26,84). edge(106,11). edge(136,135). edge(42,118). edge(72,84). edge(117,144). edge(85,104). edge(93,68). edge(1,22). edge(69,126). edge(117,10). edge(105,51). edge(80,45). edge(73,59). edge(84,98). edge(142,39). edge(108,127). edge(24,150). edge(95,83). edge(72,129). edge(49,66). edge(64,2). edge(8,131). edge(2,30). edge(50,127). edge(147,60). edge(82,47). edge(139,127). edge(119,47). edge(60,67). edge(38,99). edge(24,15). edge(122,24). edge(109,67). edge(106,31). edge(46,4). edge(96,110). edge(91,7). edge(133,141). edge(50,65). edge(26,38). edge(41,144). edge(85,100). edge(49,85). edge(137,21). edge(108,96). edge(87,63). edge(126,133). edge(66,71). edge(92,71). edge(25,32). edge(78,8). edge(23,61). edge(136,72). edge(125,12). edge(110,15). edge(6,44). edge(115,66). edge(16,14). edge(150,3). edge(34,107). edge(98,120). edge(19,73). edge(103,85). edge(144,44). edge(6,18). edge(76,83). edge(25,98). edge(143,11). edge(20,117). edge(132,27). edge(22,97). edge(92,38). edge(110,92). edge(40,144). edge(48,137). edge(113,67). edge(1,53). edge(109,6). edge(70,35). edge(88,95). edge(133,81). edge(105,2). edge(48,127). edge(130,29). edge(4,2). edge(126,95). edge(39,86). edge(37,78). edge(79,84). edge(65,42). edge(150,124). edge(107,1). edge(26,66). edge(6,96). edge(100,94). edge(40,83). edge(24,144). edge(121,63). edge(100,124). edge(69,103). edge(11,105). edge(31,89). edge(38,95). edge(131,38). edge(68,87). edge(38,94). edge(2,44). edge(39,102). edge(137,78). edge(34,11). edge(72,118). edge(81,42). edge(30,15). edge(83,47). edge(116,38). edge(77,55). edge(75,22). edge(35,113). edge(90,121). edge(1,33). edge(123,44). edge(71,75). edge(30,149). edge(70,76). edge(121,112). edge(106,1). edge(106,60). edge(96,71). edge(125,22). edge(45,9). edge(134,16). edge(103,27). edge(87,28). edge(57,85). edge(5,61). edge(68,117). edge(16,69). edge(93,66). edge(24,2). edge(11,95). edge(98,34). edge(70,120). edge(78,79). edge(103,61). edge(59,87). edge(77,11). edge(114,14). edge(38,21). edge(99,24). edge(118,103). edge(84,36). edge(70,100). edge(104,12). edge(15,128). edge(13,26). edge(72,111). edge(59,141). edge(80,137). edge(69,33). edge(48,128). edge(119,124). edge(138,83). edge(137,26). edge(103,86). edge(49,70). edge(38,133). edge(105,107). edge(83,58). edge(119,97). edge(123,107). edge(18,17). edge(55,65). edge(106,25). edge(7,58). edge(110,56). edge(128,148). edge(38,82). edge(105,120). edge(140,74). edge(67,25). edge(55,39). edge(132,147). edge(70,79). edge(19,87). edge(95,73). edge(1,88). edge(97,39). edge(69,52). edge(63,76). edge(110,23). edge(131,87). edge(21,19). edge(19,125). edge(139,8). edge(33,103). edge(94,14). edge(99,13). edge(93,118). edge(100,37). edge(40,100). edge(125,137). edge(38,52). edge(120,147). edge(74,100). edge(83,94). edge(119,101). edge(69,107). edge(109,117). edge(12,141). edge(69,105). edge(118,97). edge(135,67). edge(134,25). edge(17,109). edge(11,5). edge(3,49). edge(57,122). edge(45,130). edge(72,128). edge(74,40). edge(147,37). edge(109,8). edge(28,113). edge(33,45). edge(81,129). edge(30,148). edge(15,71). edge(65,20). edge(73,113). edge(76,44). edge(7,55). edge(115,135). edge(129,5). edge(1,99). edge(80,9). edge(126,108). edge(121,8). edge(3,51). edge(137,32). edge(21,150). edge(82,93). edge(113,7). edge(137,120). edge(62,102). edge(104,40). edge(107,16). edge(11,107). edge(114,91). edge(115,90). edge(48,86). edge(98,50). edge(137,85). edge(82,35).