# Instance sudoku378.lp

Name sudoku378.lp [Root]    Grids (772)    Su-Doku (18) Martin Gebser 2009-03-30 13:03 2008-11-29 00:09 su-doku-clean.lp % Derived from a file called sudoku378.lp % From http://www.probp.com/bench.tar.gz as suggested by nzhou@acm.org % From the original... % File : sudoku378.pl % Author : N.-F. ZHOU and K. Akama % Date : 1996 % Purpose: solve a Japanese arithmetic puzzle with 378 variables. % problem produced by T. Unemi %%#const sub=5. size(5). %% Position gives a two dimensional index for each square 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). %% Each square may take a range of values value(1).value(2).value(3).value(4).value(5).value(6).value(7).value(8).value(9).value(10). value(11).value(12).value(13).value(14).value(15).value(16).value(17).value(18).value(19).value(20). value(21).value(22).value(23).value(24).value(25). state(21,2,5). state(22,2,21). state(23,2,22). state(24,2,4). state(25,2,6). state(16,3,19). state(17,3,17). state(18,3,8). state(19,3,25). state(20,3,10). state(21,3,24). state(22,3,14). state(23,3,1). state(24,3,13). state(25,3,20). state(11,4,5). state(12,4,6). state(13,4,22). state(14,4,21). state(15,4,4). state(16,4,18). state(17,4,11). state(18,4,3). state(19,4,7). state(20,4,2). state(6,5,6). state(7,5,5). state(8,5,21). state(9,5,4). state(10,5,22). state(11,5,3). state(12,5,18). state(13,5,7). state(14,5,11). state(15,5,2). state(16,5,9). state(17,5,15). state(18,5,16). state(19,5,23). state(20,5,12). state(5,6,13). state(25,6,25). state(5,7,10). state(10,7,13). state(21,7,9). state(22,7,16). state(24,7,15). state(5,8,12). state(10,8,10). state(15,8,14). state(16,8,22). state(17,8,5). state(18,8,6). state(20,8,21). state(21,8,18). state(22,8,3). state(25,8,7). state(5,9,4). state(10,9,2). state(11,9,9). state(12,9,23). state(14,9,16). state(16,9,25). state(17,9,8). state(18,9,19). state(20,9,17). state(23,9,13). state(24,9,14). state(5,10,2). state(6,10,23). state(7,10,9). state(8,10,16). state(9,10,15). state(11,10,19). state(12,10,25). state(14,10,8). state(15,10,17). state(16,10,1). state(17,10,24). state(18,10,20). state(19,10,13). state(20,10,14). state(23,10,4). state(24,10,21). state(4,11,12). state(5,11,15). state(9,11,8). state(10,11,17). state(14,11,20). state(15,11,24). state(20,11,5). state(24,11,3). state(25,11,2). state(4,12,2). state(5,12,11). state(10,12,15). state(15,12,8). state(20,12,24). state(21,12,22). state(4,13,13). state(5,13,14). state(10,13,21). state(11,13,7). state(16,13,12). state(17,13,9). state(18,13,23). state(22,13,19). state(23,13,17). state(25,13,10). state(4,14,10). state(5,14,17). state(9,14,24). state(10,14,14). state(14,14,6). state(17,14,18). state(18,14,7). state(24,14,16). state(25,14,12). state(4,15,4). state(5,15,21). state(7,15,7). state(8,15,18). state(11,15,23). state(12,15,12). state(16,15,10). state(17,15,19). state(18,15,25). state(19,15,17). state(20,15,8). state(22,15,20). state(23,15,14). state(3,16,9). state(4,16,15). state(5,16,16). state(8,16,25). state(9,16,19). state(13,16,24). state(14,16,1). state(15,16,20). state(18,16,4). state(25,16,11). state(3,17,19). state(4,17,17). state(5,17,8). state(8,17,1). state(9,17,20). state(14,17,22). state(15,17,6). state(19,17,3). state(20,17,18). state(25,17,15). state(3,18,20). state(4,18,14). state(5,18,24). state(9,18,6). state(10,18,5). state(14,18,7). state(15,18,18). state(18,18,12). state(19,18,16). state(21,18,10). state(23,18,8). state(25,18,17). state(3,19,6). state(4,19,21). state(5,19,5). state(8,19,7). state(9,19,18). state(10,19,3). state(11,19,12). state(14,19,23). state(15,19,9). state(16,19,17). state(17,19,25). state(18,19,10). state(21,19,13). state(23,19,24). state(3,20,18). state(4,20,11). state(5,20,3). state(7,20,12). state(10,20,16). state(11,20,10). state(12,20,17). state(16,20,14). state(17,20,1). state(18,20,13). state(21,20,4). state(22,20,22). state(23,20,5). state(2,21,11). state(3,21,7). state(8,21,12). state(9,21,23). state(13,21,19). state(14,21,10). state(18,21,14). state(20,21,1). state(25,21,5). state(2,22,21). state(3,22,22). state(7,22,11). state(8,22,2). state(9,22,7). state(12,22,16). state(14,22,12). state(25,22,24). state(2,23,14). state(3,23,1). state(8,23,4). state(9,23,22). state(13,23,18). state(14,23,2). state(15,23,7). state(16,23,16). state(19,23,9). state(21,23,17). state(24,23,25). state(25,23,8). state(2,24,17). state(3,24,25). state(7,24,14). state(8,24,13). state(10,24,20). state(11,24,21). state(12,24,5). state(16,24,3). state(17,24,2). state(19,24,18). state(21,24,15). state(23,24,9). state(24,24,23). state(2,25,15). state(3,25,23). state(6,25,8). state(8,25,10). state(9,25,25). state(10,25,19). state(12,25,24). state(13,25,20). state(14,25,13). state(17,25,4). state(18,25,21). state(19,25,6). state(22,25,2). state(24,25,7). state(25,25,3).