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 sudoku368.lp

Name	sudoku368.lp
Classes	[Root]    Grids (772)    Su-Doku (18)      ASP Contest 09 (Sudoku) (10)
Submitter	Martin Gebser
Author
Description
Created	2009-03-30 13:03
Modified	2008-11-29 00:09
Languages
Language Features
Compatible Encodings	su-doku-clean.lp
Output Predicates
Tags:
Attributes
Content	% Derived from a file called sudoku368.lp % From http://www.probp.com/bench.tar.gz as suggested by nzhou@acm.org % From the original... % File : sudoku368.pl % Author : N.-F. ZHOU and K. Akama % Date : 1996 %%#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(1,1,3). state(2,1,2). state(4,1,14). state(6,1,1). state(10,1,11). state(12,1,13). state(18,1,7). state(20,1,16). state(21,1,15). state(23,1,21). state(24,1,9). state(5,2,25). state(6,2,21). state(7,2,12). state(11,2,17). state(14,2,7). state(16,2,22). state(22,2,18). state(25,2,2). state(2,3,22). state(3,3,10). state(5,3,11). state(6,3,5). state(9,3,13). state(13,3,12). state(15,3,23). state(18,3,3). state(1,4,7). state(3,4,4). state(4,4,17). state(6,4,14). state(9,4,6). state(13,4,22). state(14,4,24). state(15,4,11). state(16,4,12). state(17,4,15). state(18,4,9). state(22,4,25). state(25,4,8). state(1,5,9). state(4,5,21). state(5,5,23). state(6,5,17). state(9,5,4). state(12,5,6). state(18,5,19). state(19,5,5). state(20,5,25). state(22,5,11). state(23,5,1). state(2,6,24). state(4,6,10). state(6,6,13). state(11,6,15). state(13,6,9). state(14,6,23). state(15,6,21). state(20,6,14). state(24,6,16). state(4,7,15). state(6,7,4). state(9,7,20). state(13,7,3). state(15,7,14). state(16,7,19). state(17,7,8). state(20,7,5). state(8,8,18). state(9,8,2). state(10,8,14). state(11,8,10). state(19,8,15). state(22,8,5). state(23,8,13). state(2,9,3). state(7,9,24). state(8,9,11). state(9,9,22). state(12,9,8). state(14,9,25). state(17,9,20). state(20,9,17). state(24,9,23). state(25,9,9). state(2,10,19). state(5,10,5). state(9,10,12). state(11,10,4). state(13,10,7). state(14,10,16). state(15,10,17). state(18,10,11). state(21,10,2). state(23,10,6). state(2,11,4). state(3,11,17). state(4,11,16). state(6,11,18). state(7,11,6). state(12,11,1). state(15,11,24). state(19,11,23). state(21,11,5). state(23,11,25). state(24,11,8). state(2,12,13). state(4,12,25). state(6,12,23). state(7,12,15). state(10,12,9). state(12,12,17). state(13,12,4). state(15,12,7). state(16,12,10). state(21,12,14). state(22,12,3). state(23,12,18). state(1,13,2). state(2,13,6). state(3,13,14). state(6,13,11). state(7,13,10). state(8,13,22). state(15,13,19). state(16,13,4). state(21,13,21). state(22,13,9). state(3,14,1). state(4,14,11). state(5,14,24). state(9,14,5). state(10,14,19). state(14,14,12). state(18,14,2). state(19,14,18). state(20,14,3). state(22,14,7). state(23,14,16). state(24,14,20). state(25,14,4). state(1,15,12). state(2,15,15). state(3,15,21). state(4,15,23). state(6,15,16). state(10,15,7). state(12,15,14). state(14,15,2). state(16,15,13). state(18,15,8). state(21,15,1). state(23,15,11). state(25,15,10). state(2,16,16). state(8,16,14). state(9,16,3). state(12,16,24). state(15,16,10). state(18,16,21). state(20,16,15). state(7,17,16). state(13,17,18). state(14,17,14). state(17,17,19). state(20,17,13). state(23,17,22). state(25,17,11). state(1,18,1). state(6,18,8). state(9,18,19). state(11,18,12). state(13,18,23). state(15,18,15). state(20,18,6). state(21,18,7). state(24,18,17). state(25,18,16). state(4,19,2). state(5,19,6). state(8,19,1). state(9,19,24). state(10,19,10). state(11,19,8). state(13,19,25). state(17,19,7). state(19,19,20). state(4,20,8). state(7,20,23). state(8,20,21). state(9,20,9). state(10,20,15). state(11,20,20). state(15,20,4). state(17,20,24). state(18,20,1). state(23,20,2). state(25,20,18). state(5,21,12). state(6,21,7). state(8,21,4). state(10,21,20). state(11,21,3). state(12,21,18). state(14,21,6). state(19,21,19). state(22,21,22). state(24,21,10). state(2,22,17). state(3,22,16). state(4,22,7). state(5,22,20). state(6,22,3). state(10,22,2). state(13,22,1). state(14,22,10). state(17,22,23). state(20,22,12). state(23,22,19). state(24,22,13). state(25,22,5). state(3,23,11). state(6,23,19). state(8,23,13). state(10,23,8). state(11,23,9). state(13,23,21). state(17,23,18). state(18,23,6). state(19,23,3). state(21,23,16). state(22,23,20). state(23,23,7). state(24,23,4). state(3,24,18). state(8,24,10). state(11,24,19). state(12,24,25). state(13,24,5). state(14,24,13). state(16,24,17). state(17,24,16). state(18,24,4). state(20,24,20). state(22,24,12). state(25,24,21). state(3,25,25). state(5,25,8). state(6,25,9). state(7,25,21). state(10,25,12). state(12,25,16). state(16,25,1). state(17,25,11). state(19,25,24). state(20,25,22). state(25,25,14).