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 edge-matching-width=9-height=9-colours=13.lp

Name	edge-matching-width=9-height=9-colours=13.lp
Classes	[Root]    Grids (772)    Edge Matching (44)
Submitter	Martin Gebser
Author	Martin Brain
Description
Created	2009-03-27 12:58
Modified	2009-03-27 12:58
Languages	Facts
Language Features
Compatible Encodings	edge-matching_decision.gringo
Output Predicates	col/1 colour/1 rotation/1 row/1 side/1 tile/1 tileSide/3
Tags:	ASP Contest 09 (Martin Gebser)
Attributes
Content	tile(1). tile(2). tile(3). tile(4). tile(5). tile(6). tile(7). tile(8). tile(9). tile(66). tile(10). tile(11). tile(12). tile(13). tile(14). tile(15). tile(16). tile(17). tile(34). tile(18). tile(19). tile(20). tile(21). tile(22). tile(23). tile(24). tile(25). tile(26). tile(27). tile(28). tile(29). tile(30). tile(31). tile(32). tile(33). tile(67). tile(68). tile(69). tile(35). tile(36). tile(37). tile(38). tile(39). tile(40). tile(41). tile(42). tile(43). tile(44). tile(45). tile(46). tile(47). tile(48). tile(49). tile(50). tile(51). tile(52). tile(53). tile(54). tile(55). tile(56). tile(57). tile(58). tile(59). tile(60). tile(61). tile(62). tile(63). tile(64). tile(65). tileSide(20,left,red0). tileSide(51,right,red0). tileSide(41,left,green1). tileSide(37,top,green1). tileSide(41,bottom,magenta0). tile(70). tile(71). tile(72). tile(73). tile(74). tile(75). tile(76). tile(77). tile(78). tile(79). tile(80). tile(81). colour(red0). colour(green0). colour(blue0). colour(yellow0). colour(cyan0). colour(magenta0). colour(azure0). colour(violet0). colour(rose0). colour(orange0). colour(chartreuse0). colour(red1). colour(green1). row(1). row(2). row(3). row(4). row(5). row(6). row(7). row(8). row(9). col(1). col(2). col(3). col(4). col(5). col(6). col(7). col(8). col(9). rotation(0). rotation(90). rotation(180). rotation(270). side(top). side(right). side(bottom). side(left). tileSide(22,right,yellow0). tileSide(22,left,violet0). tileSide(20,top,violet0). tileSide(22,bottom,rose0). tileSide(22,top,orange0). tileSide(14,right,orange0). tileSide(20,bottom,red1). tileSide(41,right,red1). tileSide(20,right,green0). tileSide(30,bottom,blue0). tileSide(18,left,blue0). tileSide(55,top,blue0). tileSide(18,top,green1). tileSide(46,bottom,green1). tileSide(55,bottom,green0). tileSide(36,top,green0). tileSide(55,left,magenta0). tileSide(45,right,magenta0). tileSide(36,bottom,green0). tileSide(26,left,green0). tileSide(41,top,green1). tileSide(3,bottom,green1). tileSide(37,bottom,red0). tileSide(79,right,red0). tileSide(37,right,green0). tileSide(37,left,blue0). tileSide(42,right,blue0). tileSide(79,left,red1). tileSide(48,right,red1). tileSide(79,bottom,red1). tileSide(79,top,chartreuse0). tileSide(19,top,chartreuse0). tileSide(48,left,orange0). tileSide(5,left,orange0). tileSide(48,bottom,chartreuse0). tileSide(48,top,red0). tileSide(34,right,red0). tileSide(5,right,blue0). tileSide(27,right,blue0). tileSide(5,top,azure0). tileSide(5,bottom,yellow0). tileSide(11,right,yellow0). tileSide(27,left,red0). tileSide(65,right,red0). tileSide(27,bottom,violet0). tileSide(27,top,red1). tileSide(62,right,red1). tileSide(65,left,green0). tileSide(65,bottom,green1). tileSide(65,top,yellow0). tileSide(33,top,yellow0). tileSide(14,top,azure0). tileSide(14,bottom,azure0). tileSide(51,top,azure0). tileSide(14,left,rose0). tileSide(15,bottom,rose0). tileSide(51,bottom,blue0). tileSide(3,right,blue0). tileSide(51,left,azure0). tileSide(44,top,azure0). tileSide(3,left,green0). tileSide(42,top,green0). tileSide(3,top,rose0). tileSide(2,top,rose0). tileSide(42,bottom,yellow0). tileSide(19,left,yellow0). tileSide(42,left,blue0). tileSide(59,top,blue0). tileSide(19,right,red0). tileSide(34,top,red0). tileSide(19,bottom,green0). tileSide(54,bottom,green0). tileSide(34,bottom,azure0). tileSide(11,top,azure0). tileSide(34,left,cyan0). tileSide(77,top,cyan0). tileSide(11,bottom,violet0). tileSide(62,top,violet0). tileSide(11,left,orange0). tileSide(10,bottom,orange0). tileSide(62,bottom,red0). tileSide(33,left,red0). tileSide(62,left,red1). tileSide(74,right,red1). tileSide(33,right,chartreuse0). tileSide(33,bottom,green1). tileSide(53,right,green1). tileSide(15,right,rose0). tileSide(15,left,yellow0). tileSide(44,left,yellow0). tileSide(15,top,green0). tileSide(66,top,green0). tileSide(44,right,green0). tileSide(2,left,green0). tileSide(44,bottom,green1). tileSide(47,right,green1). tileSide(2,right,chartreuse0). tileSide(59,left,chartreuse0). tileSide(2,bottom,magenta0). tileSide(49,bottom,magenta0). tileSide(59,right,rose0). tileSide(54,right,rose0). tileSide(59,bottom,azure0). tileSide(40,right,azure0). tileSide(54,left,azure0). tileSide(77,left,azure0). tileSide(54,top,chartreuse0). tileSide(7,bottom,chartreuse0). tileSide(77,right,blue0). tileSide(10,right,blue0). tileSide(77,bottom,yellow0). tileSide(18,bottom,yellow0). tileSide(10,left,green1). tileSide(74,top,green1). tileSide(10,top,cyan0). tileSide(55,right,cyan0). tileSide(74,bottom,azure0). tileSide(53,top,azure0). tileSide(74,left,green1). tileSide(36,right,green1). tileSide(53,bottom,orange0). tileSide(53,left,rose0). tileSide(26,top,rose0). tileSide(66,left,chartreuse0). tileSide(66,right,red0). tileSide(47,top,red0). tileSide(66,bottom,red0). tileSide(78,top,red0). tileSide(47,bottom,rose0). tileSide(49,right,rose0). tileSide(47,left,azure0). tileSide(58,top,azure0). tileSide(49,left,red1). tileSide(40,top,red1). tileSide(49,top,rose0). tileSide(73,right,rose0). tileSide(40,bottom,azure0). tileSide(7,right,azure0). tileSide(40,left,rose0). tileSide(13,right,rose0). tileSide(7,left,yellow0). tileSide(18,right,yellow0). tileSide(7,top,blue0). tileSide(36,left,green1). tileSide(16,bottom,green1). tileSide(26,right,cyan0). tileSide(26,bottom,violet0). tileSide(70,right,violet0). tileSide(78,left,green1). tileSide(78,right,blue0). tileSide(58,left,blue0). tileSide(78,bottom,green1). tileSide(8,right,green1). tileSide(58,right,azure0). tileSide(73,top,azure0). tileSide(58,bottom,red1). tileSide(38,top,red1). tileSide(73,bottom,red1). tileSide(13,top,red1). tileSide(73,left,green1). tileSide(12,right,green1). tileSide(13,bottom,rose0). tileSide(30,right,rose0). tileSide(13,left,rose0). tileSide(4,top,rose0). tileSide(30,left,red1). tileSide(46,right,red1). tileSide(30,top,magenta0). tileSide(23,bottom,magenta0). tileSide(46,left,green1). tileSide(45,top,green1). tileSide(46,top,rose0). tileSide(67,right,rose0). tileSide(45,bottom,rose0). tileSide(16,right,rose0). tileSide(45,left,orange0). tileSide(75,right,orange0). tileSide(16,left,azure0). tileSide(70,top,azure0). tileSide(16,top,magenta0). tileSide(57,bottom,magenta0). tileSide(70,bottom,red0). tileSide(70,left,red1). tileSide(80,right,red1). tileSide(8,top,blue0). tileSide(8,bottom,orange0). tileSide(38,left,orange0). tileSide(8,left,green0). tileSide(68,bottom,green0). tileSide(38,right,red0). tileSide(12,top,red0). tileSide(38,bottom,red0). tileSide(17,top,red0). tileSide(12,bottom,green1). tileSide(4,left,green1). tileSide(12,left,violet0). tileSide(81,right,violet0). tileSide(4,right,chartreuse0). tileSide(23,right,chartreuse0). tileSide(4,bottom,green0). tileSide(50,bottom,green0). tileSide(23,left,azure0). tileSide(67,top,azure0). tileSide(23,top,yellow0). tileSide(6,bottom,yellow0). tileSide(67,bottom,red1). tileSide(75,top,red1). tileSide(67,left,violet0). tileSide(63,right,violet0). tileSide(75,bottom,cyan0). tileSide(57,right,cyan0). tileSide(75,left,azure0). tileSide(43,top,azure0). tileSide(57,left,azure0). tileSide(80,top,azure0). tileSide(57,top,red0). tileSide(24,bottom,red0). tileSide(80,bottom,red1). tileSide(80,left,green1). tileSide(25,top,green1). tileSide(68,right,yellow0). tileSide(68,left,magenta0). tileSide(17,left,magenta0). tileSide(68,top,red1). tileSide(76,top,red1). tileSide(17,right,red0). tileSide(81,top,red0). tileSide(17,bottom,red0). tileSide(60,bottom,red0). tileSide(81,bottom,azure0). tileSide(50,right,azure0). tileSide(81,left,blue0). tileSide(72,bottom,blue0). tileSide(50,left,magenta0). tileSide(6,right,magenta0). tileSide(50,top,blue0). tileSide(64,bottom,blue0). tileSide(6,left,green1). tileSide(63,top,green1). tileSide(6,top,green0). tileSide(32,bottom,green0). tileSide(63,bottom,violet0). tileSide(43,left,violet0). tileSide(63,left,cyan0). tileSide(35,right,cyan0). tileSide(43,right,magenta0). tileSide(24,right,magenta0). tileSide(43,bottom,rose0). tileSide(71,bottom,rose0). tileSide(24,left,orange0). tileSide(25,left,orange0). tileSide(24,top,rose0). tileSide(69,right,rose0). tileSide(25,right,chartreuse0). tileSide(25,bottom,yellow0). tileSide(21,top,yellow0). tileSide(76,left,blue0). tileSide(76,right,yellow0). tileSide(60,right,yellow0). tileSide(76,bottom,violet0). tileSide(1,top,violet0). tileSide(60,left,red0). tileSide(72,right,red0). tileSide(60,top,green0). tileSide(28,bottom,green0). tileSide(72,left,orange0). tileSide(64,right,orange0). tileSide(72,top,orange0). tileSide(61,right,orange0). tileSide(64,left,orange0). tileSide(32,right,orange0). tileSide(64,top,red1). tileSide(31,bottom,red1). tileSide(32,left,red0). tileSide(35,top,red0). tileSide(32,top,cyan0). tileSide(56,top,cyan0). tileSide(35,bottom,violet0). tileSide(71,right,violet0). tileSide(35,left,red1). tileSide(9,bottom,red1). tileSide(71,left,green1). tileSide(69,top,green1). tileSide(71,top,yellow0). tileSide(52,top,yellow0). tileSide(69,bottom,cyan0). tileSide(21,left,cyan0). tileSide(69,left,chartreuse0). tileSide(29,right,chartreuse0). tileSide(21,right,violet0). tileSide(21,bottom,magenta0). tileSide(39,top,magenta0). tileSide(1,left,blue0). tileSide(1,right,green0). tileSide(28,right,green0). tileSide(1,bottom,azure0). tileSide(28,left,chartreuse0). tileSide(61,top,chartreuse0). tileSide(28,top,yellow0). tileSide(61,bottom,blue0). tileSide(31,right,blue0). tileSide(61,left,magenta0). tileSide(31,left,red0). tileSide(56,left,red0). tileSide(31,top,red1). tileSide(56,right,magenta0). tileSide(9,right,magenta0). tileSide(56,bottom,chartreuse0). tileSide(9,left,cyan0). tileSide(52,left,cyan0). tileSide(9,top,cyan0). tileSide(52,right,green1). tileSide(29,top,green1). tileSide(52,bottom,cyan0). tileSide(29,bottom,green0). tileSide(39,left,green0). tileSide(29,left,green1). tileSide(39,right,violet0). tileSide(39,bottom,orange0).