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 sudoku.in3

Name	sudoku.in3
Classes	[Root]    Grids (772)    Su-Doku (18)      ASP Contest 09 (Sudoku) (10)
Submitter	Martin Gebser
Author	Neng-Fa Zhou
Description
Created	2009-04-09 20:47
Modified	2009-04-09 20:47
Languages	Facts
Language Features
Compatible Encodings	sudoku_decision.gringo
Output Predicates	size/1 square/3
Tags:	ASP Contest 09 (Martin Gebser)
Attributes
Content	size(25). square(1,1,8). square(6,1,21). square(7,1,15). square(9,1,6). square(11,1,19). square(13,1,1). square(15,1,11). square(17,1,4). square(19,1,14). square(20,1,3). square(24,1,13). square(25,1,22). square(2,2,18). square(3,2,24). square(4,2,22). square(6,2,19). square(8,2,4). square(11,2,7). square(13,2,2). square(15,2,8). square(16,2,10). square(18,2,1). square(20,2,12). square(21,2,6). square(22,2,21). square(23,2,14). square(24,2,9). square(25,2,3). square(2,3,21). square(3,3,23). square(4,3,13). square(7,3,10). square(10,3,1). square(12,3,14). square(13,3,3). square(14,3,22). square(16,3,5). square(19,3,11). square(22,3,20). square(23,3,12). square(24,3,25). square(2,4,15). square(3,4,1). square(4,4,20). square(6,4,18). square(10,4,13). square(12,4,24). square(13,4,4). square(14,4,16). square(15,4,12). square(16,4,19). square(17,4,21). square(20,4,2). square(22,4,7). square(23,4,23). square(24,4,17). square(5,5,17). square(8,5,24). square(9,5,11). square(10,5,12). square(12,5,21). square(13,5,5). square(16,5,15). square(17,5,13). square(18,5,18). square(21,5,16). square(24,5,19). square(25,5,1). square(1,6,13). square(2,6,17). square(4,6,3). square(7,6,19). square(8,6,20). square(9,6,5). square(12,6,11). square(13,6,6). square(14,6,15). square(17,6,23). square(18,6,16). square(19,6,24). square(21,6,10). square(22,6,25). square(23,6,1). square(24,6,12). square(25,6,14). square(1,7,2). square(3,7,5). square(6,7,25). square(7,7,6). square(11,7,13). square(12,7,19). square(13,7,7). square(14,7,21). square(15,7,16). square(19,7,3). square(20,7,11). square(23,7,17). square(25,7,20). square(2,8,6). square(5,8,16). square(6,8,13). square(9,8,3). square(10,8,9). square(12,8,1). square(13,8,8). square(14,8,4). square(16,8,2). square(17,8,10). square(18,8,25). square(20,8,7). square(21,8,24). square(24,8,15). square(1,9,21). square(4,9,4). square(5,9,10). square(6,9,8). square(8,9,15). square(11,9,12). square(13,9,9). square(14,9,24). square(15,9,23). square(16,9,13). square(18,9,6). square(20,9,14). square(21,9,11). square(22,9,3). square(25,9,7). square(3,10,18). square(4,10,1). square(5,10,20). square(8,10,7). square(11,10,3). square(13,10,10). square(15,10,25). square(18,10,15). square(20,10,17). square(21,10,4). square(22,10,13). square(23,10,6). square(25,10,2). square(1,11,14). square(2,11,4). square(9,11,8). square(10,11,20). square(11,11,6). square(12,11,3). square(13,11,11). square(14,11,19). square(15,11,7). square(16,11,1). square(17,11,12). square(21,11,2). square(22,11,17). square(24,11,18). square(25,11,23). square(3,12,13). square(4,12,8). square(7,12,22). square(8,12,14). square(11,12,24). square(12,12,20). square(13,12,12). square(14,12,18). square(15,12,17). square(16,12,21). square(18,12,11). square(19,12,7). square(22,12,19). square(23,12,9). square(24,12,6). square(25,12,10). square(1,13,11). square(3,13,6). square(4,13,12). square(5,13,7). square(6,13,3). square(10,13,17). square(11,13,23). square(13,13,13). square(15,13,4). square(16,13,8). square(18,13,19). square(20,13,15). square(21,13,20). square(22,13,14). square(23,13,16). square(25,13,21). square(3,14,3). square(4,14,9). square(7,14,12). square(8,14,6). square(11,14,5). square(12,14,22). square(13,14,14). square(14,14,10). square(15,14,21). square(16,14,20). square(18,14,13). square(19,14,18). square(22,14,8). square(23,14,15). square(1,15,22). square(2,15,25). square(9,15,7). square(10,15,4). square(11,15,8). square(12,15,16). square(13,15,15). square(14,15,9). square(15,15,1). square(16,15,17). square(17,15,3). square(22,15,24). square(23,15,11). square(24,15,5). square(25,15,13). square(3,16,21). square(4,16,17). square(5,16,6). square(8,16,8). square(11,16,15). square(12,16,23). square(13,16,16). square(14,16,11). square(15,16,5). square(18,16,2). square(21,16,13). square(22,16,1). square(23,16,20). square(24,16,7). square(1,17,23). square(4,17,24). square(5,17,15). square(6,17,7). square(8,17,11). square(11,17,2). square(13,17,17). square(14,17,1). square(15,17,14). square(16,17,6). square(18,17,10). square(20,17,21). square(21,17,25). square(22,17,9). square(25,17,16). square(2,18,16). square(5,18,25). square(6,18,10). square(9,18,23). square(10,18,24). square(12,18,13). square(13,18,18). square(14,18,12). square(16,18,3). square(17,18,20). square(18,18,17). square(19,18,15). square(20,18,9). square(21,18,14). square(23,18,8). square(24,18,11). square(25,18,19). square(1,19,1). square(3,19,9). square(6,19,6). square(7,19,14). square(11,19,25). square(12,19,10). square(13,19,19). square(14,19,7). square(15,19,3). square(19,19,12). square(20,19,8). square(22,19,4). square(23,19,2). square(24,19,24). square(25,19,15). square(1,20,12). square(2,20,2). square(4,20,11). square(7,20,25). square(8,20,21). square(9,20,4). square(13,20,20). square(14,20,6). square(15,20,24). square(17,20,14). square(18,20,22). square(19,20,1). square(21,20,17). square(22,20,18). square(23,20,10). square(24,20,23). square(25,20,5). square(5,21,5). square(8,21,13). square(9,21,19). square(10,21,14). square(11,21,4). square(12,21,7). square(13,21,21). square(16,21,23). square(17,21,6). square(18,21,12). square(21,21,1). square(24,21,3). square(25,21,9). square(2,22,12). square(3,22,14). square(4,22,6). square(6,22,15). square(10,22,8). square(12,22,17). square(13,22,22). square(14,22,20). square(15,22,19). square(16,22,16). square(17,22,11). square(20,22,24). square(22,22,5). square(23,22,13). square(24,22,10). square(2,23,1). square(3,23,11). square(4,23,7). square(7,23,4). square(10,23,22). square(12,23,6). square(13,23,23). square(14,23,5). square(16,23,18). square(17,23,15). square(19,23,17). square(20,23,10). square(21,23,19). square(22,23,12). square(23,23,21). square(24,23,2). square(25,23,8). square(2,24,10). square(3,24,22). square(4,24,19). square(6,24,5). square(8,24,18). square(11,24,16). square(13,24,24). square(14,24,3). square(15,24,15). square(16,24,4). square(17,24,9). square(18,24,21). square(20,24,25). square(22,24,11). square(23,24,7). square(24,24,14). square(1,25,15). square(6,25,23). square(7,25,7). square(9,25,17). square(11,25,11). square(12,25,9). square(13,25,25). square(14,25,8). square(15,25,18). square(17,25,19). square(19,25,13). square(20,25,1). square(25,25,6).