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 golomb-ruler-marks=14-positions=200-needed=56

Name	golomb-ruler-marks=14-positions=200-needed=56
Classes	[Root]    Unclassified (3031)    Golomb Ruler (24)
Submitter	Martin Gebser
Author	Martin Brain
Description
Created	2009-04-01 18:33
Modified	2009-04-01 18:33
Languages	Facts
Language Features
Compatible Encodings	golomb-ruler_optimization.gringo
Output Predicates	lengthNeeded/1 mark/1 position/1
Tags:	ASP Contest 09 (Martin Gebser)
Attributes
Content	mark(1). mark(2). mark(3). mark(4). mark(5). mark(6). mark(7). mark(8). mark(9). mark(10). mark(11). mark(12). mark(13). mark(14). position(0). position(1). position(2). position(3). position(4). position(5). position(6). position(7). position(8). position(9). position(10). position(11). position(12). position(13). position(14). position(15). position(16). position(17). position(18). position(19). position(20). position(21). position(22). position(23). position(24). position(25). position(26). position(27). position(28). position(29). position(30). position(31). position(32). position(33). position(34). position(35). position(36). position(37). position(38). position(39). position(40). position(41). position(42). position(43). position(44). position(45). position(46). position(47). position(48). position(49). position(50). position(51). position(52). position(53). position(54). position(55). position(56). position(57). position(58). position(59). position(60). position(61). position(62). position(63). position(64). position(65). position(66). position(67). position(68). position(69). position(70). position(71). position(72). position(73). position(74). position(75). position(76). position(77). position(78). position(79). position(80). position(81). position(82). position(83). position(84). position(85). position(86). position(87). position(88). position(89). position(90). position(91). position(92). position(93). position(94). position(95). position(96). position(97). position(98). position(99). position(100). position(101). position(102). position(103). position(104). position(105). position(106). position(107). position(108). position(109). position(110). position(111). position(112). position(113). position(114). position(115). position(116). position(117). position(118). position(119). position(120). position(121). position(122). position(123). position(124). position(125). position(126). position(127). position(128). position(129). position(130). position(131). position(132). position(133). position(134). position(135). position(136). position(137). position(138). position(139). position(140). position(141). position(142). position(143). position(144). position(145). position(146). position(147). position(148). position(149). position(150). position(151). position(152). position(153). position(154). position(155). position(156). position(157). position(158). position(159). position(160). position(161). position(162). position(163). position(164). position(165). position(166). position(167). position(168). position(169). position(170). position(171). position(172). position(173). position(174). position(175). position(176). position(177). position(178). position(179). position(180). position(181). position(182). position(183). position(184). position(185). position(186). position(187). position(188). position(189). position(190). position(191). position(192). position(193). position(194). position(195). position(196). position(197). position(198). position(199). position(200). lengthNeeded(56).