Instance tsp_rand_70_300_1155482584_11.lp

Name	tsp_rand_70_300_1155482584_11.lp
Classes	[Root] Unclassified (3031) TravelingSalespersonSuite (30)
Submitter	Martin Gebser
Author	Lengning Liu and Miroslaw Truszczynski
Description
Created	2009-03-10 12:43
Modified	2009-03-10 12:43
Languages	Facts
Language Features
Compatible Encodings	tight-tsp.lparse nontight-tsp.lparse tsp.dlv tsp_decision.gringo tsp_optimization.gringo
Output Predicates	bound/1 edge/2 edgewt/3 maxweight/1 vtx/1
Tags:	ASP Contest 09 (Martin Gebser)
Attributes
Content	bound(70). edge(1,15). edge(1,30). edge(1,50). edge(10,21). edge(10,28). edge(10,4). edge(10,49). edge(10,58). edge(10,8). edge(11,3). edge(11,47). edge(11,50). edge(11,54). edge(12,2). edge(12,35). edge(12,37). edge(12,4). edge(12,52). edge(12,56). edge(12,69). edge(13,44). edge(13,8). edge(14,22). edge(14,27). edge(14,42). edge(14,48). edge(14,50). edge(14,67). edge(14,8). edge(15,3). edge(15,30). edge(15,41). edge(15,51). edge(15,58). edge(16,14). edge(16,22). edge(17,1). edge(17,13). edge(17,2). edge(17,20). edge(17,36). edge(18,14). edge(18,20). edge(18,48). edge(19,14). edge(19,57). edge(19,62). edge(19,8). edge(2,40). edge(2,49). edge(20,15). edge(20,60). edge(20,65). edge(20,68). edge(21,2). edge(21,35). edge(21,51). edge(22,30). edge(22,5). edge(22,65). edge(23,17). edge(23,2). edge(23,41). edge(23,63). edge(23,64). edge(23,69). edge(24,1). edge(24,17). edge(24,37). edge(24,59). edge(24,70). edge(26,27). edge(26,46). edge(26,6). edge(26,7). edge(27,12). edge(27,29). edge(27,62). edge(28,11). edge(28,20). edge(28,34). edge(28,4). edge(28,48). edge(29,19). edge(29,35). edge(29,39). edge(29,47). edge(29,62). edge(29,70). edge(3,27). edge(3,29). edge(3,35). edge(3,41). edge(3,5). edge(3,52). edge(30,34). edge(30,64). edge(31,12). edge(31,16). edge(31,32). edge(32,37). edge(32,7). edge(33,13). edge(33,25). edge(33,47). edge(33,55). edge(34,15). edge(34,17). edge(34,22). edge(34,27). edge(34,37). edge(34,42). edge(34,48). edge(35,20). edge(35,36). edge(35,5). edge(35,50). edge(35,65). edge(35,70). edge(35,9). edge(36,19). edge(36,54). edge(36,69). edge(36,70). edge(36,9). edge(37,48). edge(37,60). edge(38,68). edge(38,70). edge(39,1). edge(39,12). edge(39,45). edge(39,62). edge(4,24). edge(4,41). edge(4,61). edge(4,70). edge(4,9). edge(40,13). edge(40,16). edge(40,18). edge(40,28). edge(40,49). edge(40,54). edge(40,56). edge(40,65). edge(41,35). edge(41,37). edge(41,43). edge(42,4). edge(43,20). edge(43,52). edge(43,65). edge(44,11). edge(44,43). edge(45,11). edge(45,21). edge(45,22). edge(45,26). edge(45,29). edge(45,30). edge(45,31). edge(45,46). edge(45,48). edge(45,6). edge(46,3). edge(46,31). edge(46,42). edge(46,8). edge(47,27). edge(47,46). edge(48,42). edge(48,46). edge(48,53). edge(48,56). edge(49,58). edge(5,29). edge(50,17). edge(50,3). edge(50,41). edge(50,51). edge(50,52). edge(50,55). edge(51,2). edge(51,26). edge(51,41). edge(51,45). edge(51,58). edge(51,70). edge(52,20). edge(52,23). edge(52,55). edge(52,67). edge(52,70). edge(53,13). edge(53,21). edge(53,27). edge(53,70). edge(54,63). edge(55,28). edge(55,30). edge(55,31). edge(55,57). edge(55,6). edge(55,9). edge(56,10). edge(56,29). edge(56,32). edge(56,57). edge(57,3). edge(57,61). edge(57,62). edge(57,63). edge(58,31). edge(58,38). edge(58,4). edge(58,47). edge(58,63). edge(59,28). edge(59,4). edge(6,12). edge(6,18). edge(6,23). edge(6,33). edge(6,4). edge(60,12). edge(60,2). edge(60,24). edge(60,27). edge(60,62). edge(61,37). edge(61,42). edge(62,12). edge(62,14). edge(62,15). edge(62,3). edge(62,54). edge(63,29). edge(63,32). edge(63,33). edge(63,35). edge(63,8). edge(64,27). edge(64,9). edge(65,12). edge(65,19). edge(65,24). edge(65,47). edge(65,48). edge(65,59). edge(66,17). edge(66,20). edge(66,29). edge(66,3). edge(66,4). edge(66,43). edge(66,46). edge(66,47). edge(66,53). edge(66,69). edge(67,29). edge(67,41). edge(67,68). edge(68,13). edge(68,15). edge(68,18). edge(68,3). edge(68,33). edge(68,36). edge(68,55). edge(68,57). edge(68,70). edge(69,1). edge(69,42). edge(69,56). edge(69,67). edge(7,14). edge(7,16). edge(7,30). edge(7,47). edge(7,52). edge(7,62). edge(7,70). edge(7,9). edge(70,30). edge(70,32). edge(70,58). edge(70,9). edge(8,16). edge(8,25). edge(8,31). edge(8,36). edge(8,39). edge(8,43). edge(8,45). edge(8,50). edge(9,12). edge(9,19). edge(9,53). edge(9,59). edgewt(1,15,5). edgewt(1,17,18). edgewt(1,24,8). edgewt(1,30,20). edgewt(1,39,4). edgewt(1,50,2). edgewt(1,69,12). edgewt(10,21,9). edgewt(10,28,8). edgewt(10,4,12). edgewt(10,49,6). edgewt(10,56,3). edgewt(10,58,8). edgewt(10,8,20). edgewt(11,28,16). edgewt(11,3,16). edgewt(11,44,18). edgewt(11,45,13). edgewt(11,47,11). edgewt(11,50,17). edgewt(11,54,3). edgewt(12,2,17). edgewt(12,27,4). edgewt(12,31,20). edgewt(12,35,14). edgewt(12,37,7). edgewt(12,39,4). edgewt(12,4,2). edgewt(12,52,6). edgewt(12,56,9). edgewt(12,6,13). edgewt(12,60,13). edgewt(12,62,3). edgewt(12,65,18). edgewt(12,69,20). edgewt(12,9,18). edgewt(13,17,5). edgewt(13,33,11). edgewt(13,40,6). edgewt(13,44,17). edgewt(13,53,15). edgewt(13,68,13). edgewt(13,8,19). edgewt(14,16,20). edgewt(14,18,16). edgewt(14,19,9). edgewt(14,22,19). edgewt(14,27,8). edgewt(14,42,7). edgewt(14,48,7). edgewt(14,50,7). edgewt(14,62,4). edgewt(14,67,20). edgewt(14,7,17). edgewt(14,8,18). edgewt(15,1,5). edgewt(15,20,11). edgewt(15,3,14). edgewt(15,30,3). edgewt(15,34,19). edgewt(15,41,13). edgewt(15,51,9). edgewt(15,58,11). edgewt(15,62,18). edgewt(15,68,1). edgewt(16,14,20). edgewt(16,22,5). edgewt(16,31,13). edgewt(16,40,14). edgewt(16,7,10). edgewt(16,8,14). edgewt(17,1,18). edgewt(17,13,5). edgewt(17,2,12). edgewt(17,20,3). edgewt(17,23,13). edgewt(17,24,20). edgewt(17,34,6). edgewt(17,36,7). edgewt(17,50,19). edgewt(17,66,2). edgewt(18,14,16). edgewt(18,20,14). edgewt(18,40,9). edgewt(18,48,17). edgewt(18,6,20). edgewt(18,68,14). edgewt(19,14,9). edgewt(19,29,16). edgewt(19,36,10). edgewt(19,57,18). edgewt(19,62,18). edgewt(19,65,7). edgewt(19,8,10). edgewt(19,9,14). edgewt(2,12,17). edgewt(2,17,12). edgewt(2,21,12). edgewt(2,23,4). edgewt(2,40,9). edgewt(2,49,4). edgewt(2,51,8). edgewt(2,60,4). edgewt(20,15,11). edgewt(20,17,3). edgewt(20,18,14). edgewt(20,28,20). edgewt(20,35,17). edgewt(20,43,14). edgewt(20,52,1). edgewt(20,60,6). edgewt(20,65,11). edgewt(20,66,2). edgewt(20,68,19). edgewt(21,10,9). edgewt(21,2,12). edgewt(21,35,10). edgewt(21,45,12). edgewt(21,51,10). edgewt(21,53,1). edgewt(22,14,19). edgewt(22,16,5). edgewt(22,30,15). edgewt(22,34,16). edgewt(22,45,8). edgewt(22,5,8). edgewt(22,65,10). edgewt(23,17,13). edgewt(23,2,4). edgewt(23,41,13). edgewt(23,52,16). edgewt(23,6,14). edgewt(23,63,8). edgewt(23,64,10). edgewt(23,69,4). edgewt(24,1,8). edgewt(24,17,20). edgewt(24,37,7). edgewt(24,4,6). edgewt(24,59,7). edgewt(24,60,8). edgewt(24,65,14). edgewt(24,70,7). edgewt(25,33,6). edgewt(25,8,9). edgewt(26,27,12). edgewt(26,45,18). edgewt(26,46,2). edgewt(26,51,16). edgewt(26,6,10). edgewt(26,7,20). edgewt(27,12,4). edgewt(27,14,8). edgewt(27,26,12). edgewt(27,29,17). edgewt(27,3,3). edgewt(27,34,1). edgewt(27,47,5). edgewt(27,53,15). edgewt(27,60,5). edgewt(27,62,16). edgewt(27,64,1). edgewt(28,10,8). edgewt(28,11,16). edgewt(28,20,20). edgewt(28,34,7). edgewt(28,4,8). edgewt(28,40,12). edgewt(28,48,16). edgewt(28,55,11). edgewt(28,59,16). edgewt(29,19,16). edgewt(29,27,17). edgewt(29,3,5). edgewt(29,35,8). edgewt(29,39,1). edgewt(29,45,11). edgewt(29,47,15). edgewt(29,5,19). edgewt(29,56,7). edgewt(29,62,15). edgewt(29,63,7). edgewt(29,66,19). edgewt(29,67,12). edgewt(29,70,2). edgewt(3,11,16). edgewt(3,15,14). edgewt(3,27,3). edgewt(3,29,5). edgewt(3,35,10). edgewt(3,41,19). edgewt(3,46,4). edgewt(3,5,9). edgewt(3,50,13). edgewt(3,52,18). edgewt(3,57,1). edgewt(3,62,10). edgewt(3,66,8). edgewt(3,68,5). edgewt(30,1,20). edgewt(30,15,3). edgewt(30,22,15). edgewt(30,34,7). edgewt(30,45,2). edgewt(30,55,4). edgewt(30,64,17). edgewt(30,7,3). edgewt(30,70,11). edgewt(31,12,20). edgewt(31,16,13). edgewt(31,32,4). edgewt(31,45,12). edgewt(31,46,2). edgewt(31,55,1). edgewt(31,58,6). edgewt(31,8,1). edgewt(32,31,4). edgewt(32,37,9). edgewt(32,56,19). edgewt(32,63,6). edgewt(32,7,17). edgewt(32,70,19). edgewt(33,13,11). edgewt(33,25,6). edgewt(33,47,13). edgewt(33,55,20). edgewt(33,6,19). edgewt(33,63,15). edgewt(33,68,17). edgewt(34,15,19). edgewt(34,17,6). edgewt(34,22,16). edgewt(34,27,1). edgewt(34,28,7). edgewt(34,30,7). edgewt(34,37,3). edgewt(34,42,13). edgewt(34,48,7). edgewt(35,12,14). edgewt(35,20,17). edgewt(35,21,10). edgewt(35,29,8). edgewt(35,3,10). edgewt(35,36,1). edgewt(35,41,8). edgewt(35,5,8). edgewt(35,50,9). edgewt(35,63,18). edgewt(35,65,9). edgewt(35,70,14). edgewt(35,9,2). edgewt(36,17,7). edgewt(36,19,10). edgewt(36,35,1). edgewt(36,54,15). edgewt(36,68,12). edgewt(36,69,2). edgewt(36,70,9). edgewt(36,8,4). edgewt(36,9,4). edgewt(37,12,7). edgewt(37,24,7). edgewt(37,32,9). edgewt(37,34,3). edgewt(37,41,8). edgewt(37,48,3). edgewt(37,60,17). edgewt(37,61,12). edgewt(38,58,11). edgewt(38,68,19). edgewt(38,70,12). edgewt(39,1,4). edgewt(39,12,4). edgewt(39,29,1). edgewt(39,45,19). edgewt(39,62,19). edgewt(39,8,4). edgewt(4,10,12). edgewt(4,12,2). edgewt(4,24,6). edgewt(4,28,8). edgewt(4,41,7). edgewt(4,42,10). edgewt(4,58,19). edgewt(4,59,15). edgewt(4,6,4). edgewt(4,61,18). edgewt(4,66,3). edgewt(4,70,11). edgewt(4,9,4). edgewt(40,13,6). edgewt(40,16,14). edgewt(40,18,9). edgewt(40,2,9). edgewt(40,28,12). edgewt(40,49,4). edgewt(40,54,18). edgewt(40,56,12). edgewt(40,65,20). edgewt(41,15,13). edgewt(41,23,13). edgewt(41,3,19). edgewt(41,35,8). edgewt(41,37,8). edgewt(41,4,7). edgewt(41,43,10). edgewt(41,50,10). edgewt(41,51,11). edgewt(41,67,9). edgewt(42,14,7). edgewt(42,34,13). edgewt(42,4,10). edgewt(42,46,15). edgewt(42,48,13). edgewt(42,61,6). edgewt(42,69,6). edgewt(43,20,14). edgewt(43,41,10). edgewt(43,44,17). edgewt(43,52,6). edgewt(43,65,16). edgewt(43,66,14). edgewt(43,8,16). edgewt(44,11,18). edgewt(44,13,17). edgewt(44,43,17). edgewt(45,11,13). edgewt(45,21,12). edgewt(45,22,8). edgewt(45,26,18). edgewt(45,29,11). edgewt(45,30,2). edgewt(45,31,12). edgewt(45,39,19). edgewt(45,46,12). edgewt(45,48,7). edgewt(45,51,14). edgewt(45,6,4). edgewt(45,8,16). edgewt(46,26,2). edgewt(46,3,4). edgewt(46,31,2). edgewt(46,42,15). edgewt(46,45,12). edgewt(46,47,13). edgewt(46,48,6). edgewt(46,66,14). edgewt(46,8,19). edgewt(47,11,11). edgewt(47,27,5). edgewt(47,29,15). edgewt(47,33,13). edgewt(47,46,13). edgewt(47,58,6). edgewt(47,65,19). edgewt(47,66,9). edgewt(47,7,2). edgewt(48,14,7). edgewt(48,18,17). edgewt(48,28,16). edgewt(48,34,7). edgewt(48,37,3). edgewt(48,42,13). edgewt(48,45,7). edgewt(48,46,6). edgewt(48,53,3). edgewt(48,56,14). edgewt(48,65,10). edgewt(49,10,6). edgewt(49,2,4). edgewt(49,40,4). edgewt(49,58,13). edgewt(5,22,8). edgewt(5,29,19). edgewt(5,3,9). edgewt(5,35,8). edgewt(50,1,2). edgewt(50,11,17). edgewt(50,14,7). edgewt(50,17,19). edgewt(50,3,13). edgewt(50,35,9). edgewt(50,41,10). edgewt(50,51,3). edgewt(50,52,19). edgewt(50,55,10). edgewt(50,8,5). edgewt(51,15,9). edgewt(51,2,8). edgewt(51,21,10). edgewt(51,26,16). edgewt(51,41,11). edgewt(51,45,14). edgewt(51,50,3). edgewt(51,58,20). edgewt(51,70,12). edgewt(52,12,6). edgewt(52,20,1). edgewt(52,23,16). edgewt(52,3,18). edgewt(52,43,6). edgewt(52,50,19). edgewt(52,55,3). edgewt(52,67,19). edgewt(52,7,14). edgewt(52,70,19). edgewt(53,13,15). edgewt(53,21,1). edgewt(53,27,15). edgewt(53,48,3). edgewt(53,66,18). edgewt(53,70,18). edgewt(53,9,17). edgewt(54,11,3). edgewt(54,36,15). edgewt(54,40,18). edgewt(54,62,5). edgewt(54,63,18). edgewt(55,28,11). edgewt(55,30,4). edgewt(55,31,1). edgewt(55,33,20). edgewt(55,50,10). edgewt(55,52,3). edgewt(55,57,7). edgewt(55,6,3). edgewt(55,68,6). edgewt(55,9,11). edgewt(56,10,3). edgewt(56,12,9). edgewt(56,29,7). edgewt(56,32,19). edgewt(56,40,12). edgewt(56,48,14). edgewt(56,57,17). edgewt(56,69,15). edgewt(57,19,18). edgewt(57,3,1). edgewt(57,55,7). edgewt(57,56,17). edgewt(57,61,4). edgewt(57,62,9). edgewt(57,63,2). edgewt(57,68,6). edgewt(58,10,8). edgewt(58,15,11). edgewt(58,31,6). edgewt(58,38,11). edgewt(58,4,19). edgewt(58,47,6). edgewt(58,49,13). edgewt(58,51,20). edgewt(58,63,15). edgewt(58,70,14). edgewt(59,24,7). edgewt(59,28,16). edgewt(59,4,15). edgewt(59,65,16). edgewt(59,9,19). edgewt(6,12,13). edgewt(6,18,20). edgewt(6,23,14). edgewt(6,26,10). edgewt(6,33,19). edgewt(6,4,4). edgewt(6,45,4). edgewt(6,55,3). edgewt(60,12,13). edgewt(60,2,4). edgewt(60,20,6). edgewt(60,24,8). edgewt(60,27,5). edgewt(60,37,17). edgewt(60,62,7). edgewt(61,37,12). edgewt(61,4,18). edgewt(61,42,6). edgewt(61,57,4). edgewt(62,12,3). edgewt(62,14,4). edgewt(62,15,18). edgewt(62,19,18). edgewt(62,27,16). edgewt(62,29,15). edgewt(62,3,10). edgewt(62,39,19). edgewt(62,54,5). edgewt(62,57,9). edgewt(62,60,7). edgewt(62,7,15). edgewt(63,23,8). edgewt(63,29,7). edgewt(63,32,6). edgewt(63,33,15). edgewt(63,35,18). edgewt(63,54,18). edgewt(63,57,2). edgewt(63,58,15). edgewt(63,8,7). edgewt(64,23,10). edgewt(64,27,1). edgewt(64,30,17). edgewt(64,9,18). edgewt(65,12,18). edgewt(65,19,7). edgewt(65,20,11). edgewt(65,22,10). edgewt(65,24,14). edgewt(65,35,9). edgewt(65,40,20). edgewt(65,43,16). edgewt(65,47,19). edgewt(65,48,10). edgewt(65,59,16). edgewt(66,17,2). edgewt(66,20,2). edgewt(66,29,19). edgewt(66,3,8). edgewt(66,4,3). edgewt(66,43,14). edgewt(66,46,14). edgewt(66,47,9). edgewt(66,53,18). edgewt(66,69,12). edgewt(67,14,20). edgewt(67,29,12). edgewt(67,41,9). edgewt(67,52,19). edgewt(67,68,13). edgewt(67,69,12). edgewt(68,13,13). edgewt(68,15,1). edgewt(68,18,14). edgewt(68,20,19). edgewt(68,3,5). edgewt(68,33,17). edgewt(68,36,12). edgewt(68,38,19). edgewt(68,55,6). edgewt(68,57,6). edgewt(68,67,13). edgewt(68,70,9). edgewt(69,1,12). edgewt(69,12,20). edgewt(69,23,4). edgewt(69,36,2). edgewt(69,42,6). edgewt(69,56,15). edgewt(69,66,12). edgewt(69,67,12). edgewt(7,14,17). edgewt(7,16,10). edgewt(7,26,20). edgewt(7,30,3). edgewt(7,32,17). edgewt(7,47,2). edgewt(7,52,14). edgewt(7,62,15). edgewt(7,70,14). edgewt(7,9,5). edgewt(70,24,7). edgewt(70,29,2). edgewt(70,30,11). edgewt(70,32,19). edgewt(70,35,14). edgewt(70,36,9). edgewt(70,38,12). edgewt(70,4,11). edgewt(70,51,12). edgewt(70,52,19). edgewt(70,53,18). edgewt(70,58,14). edgewt(70,68,9). edgewt(70,7,14). edgewt(70,9,12). edgewt(8,10,20). edgewt(8,13,19). edgewt(8,14,18). edgewt(8,16,14). edgewt(8,19,10). edgewt(8,25,9). edgewt(8,31,1). edgewt(8,36,4). edgewt(8,39,4). edgewt(8,43,16). edgewt(8,45,16). edgewt(8,46,19). edgewt(8,50,5). edgewt(8,63,7). edgewt(9,12,18). edgewt(9,19,14). edgewt(9,35,2). edgewt(9,36,4). edgewt(9,4,4). edgewt(9,53,17). edgewt(9,55,11). edgewt(9,59,19). edgewt(9,64,18). edgewt(9,7,5). edgewt(9,70,12). maxweight(700). vtx(1). vtx(10). vtx(11). vtx(12). vtx(13). vtx(14). vtx(15). vtx(16). vtx(17). vtx(18). vtx(19). vtx(2). vtx(20). vtx(21). vtx(22). vtx(23). vtx(24). vtx(25). vtx(26). vtx(27). vtx(28). vtx(29). vtx(3). vtx(30). vtx(31). vtx(32). vtx(33). vtx(34). vtx(35). vtx(36). vtx(37). vtx(38). vtx(39). vtx(4). vtx(40). vtx(41). vtx(42). vtx(43). vtx(44). vtx(45). vtx(46). vtx(47). vtx(48). vtx(49). vtx(5). vtx(50). vtx(51). vtx(52). vtx(53). vtx(54). vtx(55). vtx(56). vtx(57). vtx(58). vtx(59). vtx(6). vtx(60). vtx(61). vtx(62). vtx(63). vtx(64). vtx(65). vtx(66). vtx(67). vtx(68). vtx(69). vtx(7). vtx(70). vtx(8). vtx(9).

Actions

Navigation

Instance tsp_rand_70_300_1155482584_11.lp