Please wait ...
Benchmark(s) have been added to cart.
Tag has been added.
Login
Links
FAQs
Contact
Actions
channelRoute.in9
Add to Cart
Navigation
Instance
Show Instances
Problem
Show Problems
Show Tags
Search
Cart
Instance channelRoute.in9
Name
channelRoute.in9
Classes
[Root]
Unclassified (3031)
Channel Routing
(11)
Submitter
Martin Gebser
Author
Neng-Fa Zhou
Description
Created
Modified
Languages
Facts
Language Features
Compatible Encodings
channel-routing_decision.gringo
Output Predicates
connect/3
layers/1
tracks/1
Tags:
ASP Contest 09 (Martin Gebser)
Attributes
Content
layers(4). tracks(5). connect(1,top,5). connect(1,top,28). connect(2,top,39). connect(2,top,67). connect(3,top,74). connect(3,top,117). connect(4,bot,145). connect(4,top,151). connect(5,top,161). connect(5,top,163). connect(6,bot,62). connect(6,top,77). connect(7,top,78). connect(7,top,82). connect(8,bot,90). connect(8,top,110). connect(8,bot,118). connect(8,top,123). connect(9,top,139). connect(9,top,141). connect(9,top,144). connect(9,bot,151). connect(9,top,174). connect(10,top,106). connect(10,top,130). connect(10,top,132). connect(10,bot,161). connect(10,top,168). connect(11,top,70). connect(11,top,98). connect(11,top,100). connect(12,top,109). connect(12,top,131). connect(12,top,135). connect(12,bot,141). connect(12,top,153). connect(12,top,155). connect(12,top,171). connect(13,top,24). connect(13,bot,37). connect(13,top,53). connect(13,bot,55). connect(13,top,60). connect(13,top,92). connect(13,bot,110). connect(14,bot,117). connect(14,top,166). connect(15,top,12). connect(15,top,19). connect(16,top,22). connect(16,bot,39). connect(16,top,51). connect(16,top,58). connect(16,top,94). connect(16,bot,97). connect(16,bot,106). connect(16,bot,108). connect(16,bot,135). connect(16,bot,144). connect(16,bot,155). connect(16,bot,166). connect(17,top,6). connect(17,top,13). connect(17,bot,22). connect(17,top,30). connect(17,top,34). connect(17,top,36). connect(17,top,40). connect(18,bot,78). connect(18,top,147). connect(18,top,149). connect(19,top,159). connect(19,bot,165). connect(20,top,0). connect(20,top,21). connect(20,bot,40). connect(20,top,48). connect(20,top,50). connect(20,top,57). connect(20,top,95). connect(21,bot,98). connect(21,top,119). connect(22,top,120). connect(22,top,154). connect(22,top,156). connect(23,top,2). connect(23,bot,13). connect(24,top,20). connect(24,bot,57). connect(24,top,68). connect(24,top,76). connect(24,top,111). connect(24,bot,119). connect(24,top,122). connect(25,top,128). connect(25,bot,149). connect(25,bot,160). connect(25,top,167). connect(26,bot,2). connect(26,bot,5). connect(26,top,11). connect(26,top,14). connect(26,top,46). connect(26,top,49). connect(27,top,66). connect(27,bot,70). connect(28,bot,95). connect(28,top,105). connect(28,bot,113). connect(28,top,124). connect(28,bot,128). connect(29,top,138). connect(29,top,140). connect(30,top,7). connect(30,bot,14). connect(31,bot,7). connect(31,bot,11). connect(31,top,15). connect(31,top,16). connect(31,bot,19). connect(32,top,23). connect(32,bot,24). connect(33,bot,66). connect(33,bot,68). connect(33,top,83). connect(33,bot,92). connect(33,top,99). connect(33,top,101). connect(33,bot,102). connect(34,top,3). connect(34,bot,16). connect(34,bot,21). connect(34,bot,32). connect(34,bot,58). connect(34,top,69). connect(34,top,75). connect(34,bot,77). connect(34,top,112). connect(34,bot,120). connect(34,top,121). connect(35,bot,124). connect(35,top,129). connect(36,top,134). connect(36,bot,140). connect(36,bot,150). connect(36,top,162). connect(36,top,164). connect(36,top,173). connect(37,top,73). connect(37,bot,75). connect(38,top,87). connect(38,bot,94). connect(38,bot,101). connect(38,top,114). connect(38,top,116). connect(39,top,136). connect(39,bot,154). connect(40,top,44). connect(40,bot,60). connect(40,top,65). connect(40,bot,73). connect(40,top,79). connect(40,top,104). connect(40,bot,112). connect(40,top,125). connect(40,bot,129). connect(41,bot,79). connect(41,top,93). connect(42,bot,114). connect(42,top,133). connect(43,bot,134). connect(43,top,158). connect(44,bot,65). connect(44,bot,74). connect(45,top,84). connect(45,top,86). connect(45,bot,93). connect(45,top,146). connect(45,top,148). connect(46,top,25). connect(46,bot,36). connect(46,top,54). connect(46,top,61). connect(46,top,91). connect(46,bot,99). connect(46,bot,104). connect(46,bot,133). connect(46,bot,142). connect(46,bot,146). connect(46,bot,153). connect(46,bot,164). connect(47,top,52). connect(47,bot,54). connect(48,top,1). connect(48,bot,50). connect(48,bot,52). connect(49,bot,1). connect(49,top,8). connect(49,top,29). connect(49,top,41). connect(49,bot,44). connect(49,bot,46). connect(49,top,63). connect(50,top,33). connect(50,top,35). connect(51,top,38). connect(51,top,45). connect(51,bot,61). connect(51,top,71). connect(51,bot,86). connect(52,top,127). connect(52,top,143). connect(52,bot,159). connect(53,top,10). connect(53,top,27). connect(53,bot,29). connect(53,top,43). connect(54,top,47). connect(54,bot,67). connect(54,bot,71). connect(54,top,81). connect(54,bot,82). connect(54,bot,84). connect(54,top,89). connect(54,bot,91). connect(55,bot,127). connect(55,top,172). connect(56,bot,6). connect(56,bot,10). connect(56,top,18). connect(57,top,31). connect(57,bot,38). connect(58,bot,41). connect(58,top,59). connect(59,bot,63). connect(59,bot,69). connect(59,top,72). connect(59,bot,87). connect(60,top,88). connect(60,bot,89). connect(61,top,96). connect(61,bot,105). connect(62,top,4). connect(62,bot,15). connect(62,bot,20). connect(62,bot,31). connect(62,bot,59). connect(62,top,64). connect(62,bot,72). connect(62,top,80). connect(62,top,103). connect(62,bot,111). connect(62,top,126). connect(62,bot,130). connect(63,bot,138). connect(63,bot,168). connect(63,top,170). connect(64,bot,4). connect(64,top,9). connect(64,top,42). connect(64,bot,49). connect(64,bot,51). connect(64,top,56). connect(65,bot,64). connect(65,top,85). connect(65,bot,88). connect(66,bot,158). connect(66,top,169). connect(67,bot,3). connect(67,bot,9). connect(67,bot,12). connect(67,top,17). connect(68,bot,23). connect(68,bot,43). connect(68,bot,45). connect(69,bot,56). connect(69,bot,81). connect(69,bot,83). connect(70,bot,96). connect(70,bot,107). connect(70,bot,109). connect(70,bot,136). connect(70,bot,143). connect(70,bot,156). connect(70,bot,167). connect(71,bot,8). connect(71,bot,17). connect(72,bot,18). connect(72,bot,26). connect(72,bot,28).
