# Instance sudoku.in8

Name sudoku.in8 [Root]    Grids (772)    Su-Doku (18) Martin Gebser Neng-Fa Zhou 2009-04-09 20:47 2009-04-09 20:47 sudoku_decision.gringo size/1square/3 ASP Contest 09 (Martin Gebser) size(25). square(22,2,21). square(23,2,22). square(24,2,4). square(25,2,6). square(16,3,19). square(17,3,17). square(18,3,8). square(19,3,25). square(20,3,10). square(21,3,24). square(22,3,14). square(23,3,1). square(24,3,13). square(25,3,20). square(11,4,5). square(12,4,6). square(13,4,22). square(14,4,21). square(15,4,4). square(16,4,18). square(17,4,11). square(18,4,3). square(19,4,7). square(20,4,2). square(6,5,6). square(7,5,5). square(8,5,21). square(9,5,4). square(10,5,22). square(11,5,3). square(12,5,18). square(13,5,7). square(14,5,11). square(15,5,2). square(16,5,9). square(17,5,15). square(18,5,16). square(19,5,23). square(20,5,12). square(5,6,13). square(25,6,25). square(5,7,10). square(10,7,13). square(21,7,9). square(22,7,16). square(24,7,15). square(5,8,12). square(10,8,10). square(15,8,14). square(16,8,22). square(17,8,5). square(18,8,6). square(20,8,21). square(21,8,18). square(22,8,3). square(25,8,7). square(5,9,4). square(10,9,2). square(11,9,9). square(12,9,23). square(14,9,16). square(16,9,25). square(17,9,8). square(18,9,19). square(20,9,17). square(23,9,13). square(24,9,14). square(5,10,2). square(6,10,23). square(7,10,9). square(8,10,16). square(9,10,15). square(11,10,19). square(12,10,25). square(14,10,8). square(15,10,17). square(16,10,1). square(17,10,24). square(18,10,20). square(19,10,13). square(20,10,14). square(23,10,4). square(24,10,21). square(4,11,12). square(5,11,15). square(9,11,8). square(10,11,17). square(14,11,20). square(15,11,24). square(20,11,5). square(24,11,3). square(25,11,2). square(4,12,2). square(5,12,11). square(10,12,15). square(15,12,8). square(20,12,24). square(21,12,22). square(4,13,13). square(5,13,14). square(10,13,21). square(11,13,7). square(16,13,12). square(17,13,9). square(18,13,23). square(22,13,19). square(23,13,17). square(25,13,10). square(4,14,10). square(5,14,17). square(9,14,24). square(10,14,14). square(14,14,6). square(17,14,18). square(18,14,7). square(24,14,16). square(25,14,12). square(4,15,4). square(5,15,21). square(7,15,7). square(8,15,18). square(11,15,23). square(12,15,12). square(16,15,10). square(17,15,19). square(18,15,25). square(19,15,17). square(20,15,8). square(22,15,20). square(23,15,14). square(3,16,9). square(4,16,15). square(5,16,16). square(8,16,25). square(9,16,19). square(13,16,24). square(14,16,1). square(15,16,20). square(18,16,4). square(25,16,11). square(3,17,19). square(4,17,17). square(5,17,8). square(8,17,1). square(9,17,20). square(14,17,22). square(15,17,6). square(19,17,3). square(20,17,18). square(25,17,15). square(3,18,20). square(4,18,14). square(5,18,24). square(9,18,6). square(10,18,5). square(14,18,7). square(15,18,18). square(18,18,12). square(19,18,16). square(21,18,10). square(23,18,8). square(25,18,17). square(3,19,6). square(4,19,21). square(5,19,5). square(8,19,7). square(9,19,18). square(10,19,3). square(11,19,12). square(14,19,23). square(15,19,9). square(16,19,17). square(17,19,25). square(18,19,10). square(21,19,13). square(23,19,24). square(3,20,18). square(4,20,11). square(5,20,3). square(7,20,12). square(10,20,16). square(11,20,10). square(12,20,17). square(16,20,14). square(17,20,1). square(18,20,13). square(21,20,4). square(22,20,22). square(23,20,5). square(2,21,11). square(3,21,7). square(8,21,12). square(9,21,23). square(13,21,19). square(14,21,10). square(18,21,14). square(20,21,1). square(25,21,5). square(2,22,21). square(3,22,22). square(7,22,11). square(8,22,2). square(9,22,7). square(12,22,16). square(14,22,12). square(25,22,24). square(2,23,14). square(3,23,1). square(8,23,4). square(9,23,22). square(13,23,18). square(14,23,2). square(15,23,7). square(16,23,16). square(19,23,9). square(21,23,17). square(24,23,25). square(25,23,8). square(2,24,17). square(3,24,25). square(7,24,14). square(8,24,13). square(10,24,20). square(11,24,21). square(12,24,5). square(16,24,3). square(17,24,2). square(19,24,18). square(21,24,15). square(23,24,9). square(24,24,23). square(2,25,15). square(3,25,23). square(6,25,8). square(8,25,10). square(9,25,25). square(10,25,19). square(12,25,24). square(13,25,20). square(14,25,13). square(17,25,4). square(18,25,21). square(19,25,6). square(22,25,2). square(24,25,7).