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 hitori-size25-puzzle7

Name	hitori-size25-puzzle7
Classes	[Root]    Unclassified (3031)    Hitori (211)
Submitter	Martin Gebser
Author
Description
Created	2009-03-30 13:03
Modified	2008-11-29 00:09
Languages
Language Features
Compatible Encodings
Output Predicates
Tags:
Attributes
Content	xpos(1). ypos(1). number(1). xpos(2). ypos(2). number(2). xpos(3). ypos(3). number(3). xpos(4). ypos(4). number(4). xpos(5). ypos(5). number(5). xpos(6). ypos(6). number(6). xpos(7). ypos(7). number(7). xpos(8). ypos(8). number(8). xpos(9). ypos(9). number(9). xpos(10). ypos(10). number(10). xpos(11). ypos(11). number(11). xpos(12). ypos(12). number(12). xpos(13). ypos(13). number(13). xpos(14). ypos(14). number(14). xpos(15). ypos(15). number(15). xpos(16). ypos(16). number(16). xpos(17). ypos(17). number(17). xpos(18). ypos(18). number(18). xpos(19). ypos(19). number(19). xpos(20). ypos(20). number(20). xpos(21). ypos(21). number(21). xpos(22). ypos(22). number(22). xpos(23). ypos(23). number(23). xpos(24). ypos(24). number(24). xpos(25). ypos(25). number(25). state(1,1,16). state(1,2,2). state(1,3,12). state(1,4,4). state(1,5,2). state(1,6,19). state(1,7,16). state(1,8,25). state(1,9,19). state(1,10,19). state(1,11,5). state(1,12,1). state(1,13,13). state(1,14,9). state(1,15,11). state(1,16,3). state(1,17,24). state(1,18,14). state(1,19,6). state(1,20,5). state(1,21,4). state(1,22,20). state(1,23,2). state(1,24,12). state(1,25,10). state(2,1,23). state(2,2,19). state(2,3,5). state(2,4,1). state(2,5,8). state(2,6,10). state(2,7,17). state(2,8,10). state(2,9,22). state(2,10,20). state(2,11,11). state(2,12,16). state(2,13,11). state(2,14,10). state(2,15,9). state(2,16,4). state(2,17,15). state(2,18,9). state(2,19,16). state(2,20,23). state(2,21,20). state(2,22,19). state(2,23,21). state(2,24,9). state(2,25,25). state(3,1,1). state(3,2,12). state(3,3,19). state(3,4,2). state(3,5,24). state(3,6,3). state(3,7,25). state(3,8,17). state(3,9,7). state(3,10,25). state(3,11,25). state(3,12,17). state(3,13,16). state(3,14,9). state(3,15,13). state(3,16,11). state(3,17,19). state(3,18,3). state(3,19,21). state(3,20,4). state(3,21,12). state(3,22,25). state(3,23,19). state(3,24,21). state(3,25,16). state(4,1,16). state(4,2,15). state(4,3,10). state(4,4,12). state(4,5,23). state(4,6,9). state(4,7,12). state(4,8,10). state(4,9,2). state(4,10,14). state(4,11,9). state(4,12,5). state(4,13,13). state(4,14,25). state(4,15,12). state(4,16,13). state(4,17,25). state(4,18,3). state(4,19,3). state(4,20,8). state(4,21,16). state(4,22,13). state(4,23,2). state(4,24,19). state(4,25,9). state(5,1,6). state(5,2,5). state(5,3,8). state(5,4,24). state(5,5,1). state(5,6,24). state(5,7,15). state(5,8,16). state(5,9,8). state(5,10,2). state(5,11,13). state(5,12,17). state(5,13,13). state(5,14,23). state(5,15,18). state(5,16,2). state(5,17,6). state(5,18,23). state(5,19,14). state(5,20,6). state(5,21,9). state(5,22,1). state(5,23,5). state(5,24,11). state(5,25,4). state(6,1,13). state(6,2,2). state(6,3,17). state(6,4,15). state(6,5,21). state(6,6,25). state(6,7,20). state(6,8,1). state(6,9,8). state(6,10,19). state(6,11,1). state(6,12,7). state(6,13,9). state(6,14,16). state(6,15,14). state(6,16,10). state(6,17,4). state(6,18,5). state(6,19,23). state(6,20,1). state(6,21,23). state(6,22,24). state(6,23,7). state(6,24,20). state(6,25,12). state(7,1,13). state(7,2,3). state(7,3,13). state(7,4,18). state(7,5,14). state(7,6,16). state(7,7,6). state(7,8,16). state(7,9,8). state(7,10,20). state(7,11,11). state(7,12,8). state(7,13,15). state(7,14,11). state(7,15,15). state(7,16,8). state(7,17,12). state(7,18,22). state(7,19,17). state(7,20,2). state(7,21,10). state(7,22,1). state(7,23,5). state(7,24,15). state(7,25,23). state(8,1,6). state(8,2,13). state(8,3,22). state(8,4,13). state(8,5,7). state(8,6,8). state(8,7,25). state(8,8,10). state(8,9,21). state(8,10,18). state(8,11,24). state(8,12,11). state(8,13,23). state(8,14,15). state(8,15,19). state(8,16,17). state(8,17,25). state(8,18,1). state(8,19,6). state(8,20,11). state(8,21,15). state(8,22,14). state(8,23,22). state(8,24,11). state(8,25,5). state(9,1,24). state(9,2,21). state(9,3,6). state(9,4,3). state(9,5,11). state(9,6,4). state(9,7,9). state(9,8,23). state(9,9,25). state(9,10,21). state(9,11,5). state(9,12,8). state(9,13,21). state(9,14,15). state(9,15,3). state(9,16,13). state(9,17,14). state(9,18,14). state(9,19,10). state(9,20,3). state(9,21,7). state(9,22,2). state(9,23,3). state(9,24,7). state(9,25,7). state(10,1,13). state(10,2,22). state(10,3,21). state(10,4,10). state(10,5,8). state(10,6,1). state(10,7,8). state(10,8,4). state(10,9,6). state(10,10,11). state(10,11,14). state(10,12,10). state(10,13,20). state(10,14,12). state(10,15,10). state(10,16,15). state(10,17,16). state(10,18,17). state(10,19,11). state(10,20,5). state(10,21,20). state(10,22,23). state(10,23,18). state(10,24,9). state(10,25,8). state(11,1,21). state(11,2,16). state(11,3,9). state(11,4,23). state(11,5,23). state(11,6,16). state(11,7,11). state(11,8,20). state(11,9,11). state(11,10,21). state(11,11,3). state(11,12,11). state(11,13,4). state(11,14,6). state(11,15,17). state(11,16,14). state(11,17,20). state(11,18,1). state(11,19,9). state(11,20,6). state(11,21,11). state(11,22,24). state(11,23,21). state(11,24,2). state(11,25,9). state(12,1,1). state(12,2,22). state(12,3,7). state(12,4,19). state(12,5,6). state(12,6,14). state(12,7,14). state(12,8,21). state(12,9,23). state(12,10,12). state(12,11,19). state(12,12,13). state(12,13,22). state(12,14,13). state(12,15,24). state(12,16,17). state(12,17,15). state(12,18,9). state(12,19,20). state(12,20,20). state(12,21,1). state(12,22,9). state(12,23,15). state(12,24,2). state(12,25,17). state(13,1,20). state(13,2,12). state(13,3,15). state(13,4,16). state(13,5,13). state(13,6,24). state(13,7,16). state(13,8,10). state(13,9,5). state(13,10,9). state(13,11,15). state(13,12,19). state(13,13,23). state(13,14,11). state(13,15,16). state(13,16,9). state(13,17,4). state(13,18,4). state(13,19,6). state(13,20,16). state(13,21,2). state(13,22,22). state(13,23,6). state(13,24,11). state(13,25,17). state(14,1,25). state(14,2,11). state(14,3,1). state(14,4,15). state(14,5,12). state(14,6,18). state(14,7,9). state(14,8,23). state(14,9,7). state(14,10,24). state(14,11,11). state(14,12,6). state(14,13,15). state(14,14,21). state(14,15,10). state(14,16,23). state(14,17,10). state(14,18,4). state(14,19,21). state(14,20,20). state(14,21,19). state(14,22,4). state(14,23,24). state(14,24,23). state(14,25,10). state(15,1,14). state(15,2,24). state(15,3,7). state(15,4,19). state(15,5,10). state(15,6,23). state(15,7,19). state(15,8,20). state(15,9,24). state(15,10,8). state(15,11,7). state(15,12,16). state(15,13,17). state(15,14,4). state(15,15,23). state(15,16,16). state(15,17,15). state(15,18,3). state(15,19,5). state(15,20,10). state(15,21,13). state(15,22,3). state(15,23,19). state(15,24,16). state(15,25,23). state(16,1,14). state(16,2,10). state(16,3,2). state(16,4,13). state(16,5,7). state(16,6,11). state(16,7,1). state(16,8,6). state(16,9,17). state(16,10,20). state(16,11,15). state(16,12,15). state(16,13,14). state(16,14,9). state(16,15,13). state(16,16,22). state(16,17,15). state(16,18,4). state(16,19,14). state(16,20,19). state(16,21,1). state(16,22,4). state(16,23,8). state(16,24,3). state(16,25,8). state(17,1,18). state(17,2,15). state(17,3,10). state(17,4,12). state(17,5,6). state(17,6,8). state(17,7,1). state(17,8,15). state(17,9,9). state(17,10,13). state(17,11,21). state(17,12,20). state(17,13,14). state(17,14,1). state(17,15,12). state(17,16,8). state(17,17,15). state(17,18,1). state(17,19,22). state(17,20,24). state(17,21,14). state(17,22,19). state(17,23,14). state(17,24,17). state(17,25,7). state(18,1,7). state(18,2,17). state(18,3,11). state(18,4,15). state(18,5,20). state(18,6,18). state(18,7,8). state(18,8,10). state(18,9,3). state(18,10,19). state(18,11,15). state(18,12,10). state(18,13,19). state(18,14,4). state(18,15,19). state(18,16,6). state(18,17,25). state(18,18,14). state(18,19,19). state(18,20,25). state(18,21,25). state(18,22,2). state(18,23,15). state(18,24,1). state(18,25,24). state(19,1,14). state(19,2,15). state(19,3,17). state(19,4,2). state(19,5,6). state(19,6,24). state(19,7,9). state(19,8,23). state(19,9,9). state(19,10,23). state(19,11,18). state(19,12,2). state(19,13,6). state(19,14,2). state(19,15,4). state(19,16,24). state(19,17,17). state(19,18,14). state(19,19,17). state(19,20,20). state(19,21,7). state(19,22,22). state(19,23,20). state(19,24,20). state(19,25,16). state(20,1,19). state(20,2,19). state(20,3,17). state(20,4,9). state(20,5,20). state(20,6,16). state(20,7,22). state(20,8,9). state(20,9,7). state(20,10,23). state(20,11,15). state(20,12,6). state(20,13,6). state(20,14,12). state(20,15,15). state(20,16,4). state(20,17,4). state(20,18,16). state(20,19,9). state(20,20,6). state(20,21,19). state(20,22,8). state(20,23,22). state(20,24,7). state(20,25,24). state(21,1,17). state(21,2,14). state(21,3,21). state(21,4,11). state(21,5,8). state(21,6,11). state(21,7,5). state(21,8,2). state(21,9,3). state(21,10,14). state(21,11,22). state(21,12,18). state(21,13,11). state(21,14,5). state(21,15,25). state(21,16,8). state(21,17,19). state(21,18,6). state(21,19,14). state(21,20,6). state(21,21,20). state(21,22,18). state(21,23,10). state(21,24,10). state(21,25,2). state(22,1,15). state(22,2,4). state(22,3,10). state(22,4,12). state(22,5,11). state(22,6,8). state(22,7,4). state(22,8,25). state(22,9,4). state(22,10,15). state(22,11,7). state(22,12,15). state(22,13,20). state(22,14,9). state(22,15,17). state(22,16,8). state(22,17,5). state(22,18,10). state(22,19,18). state(22,20,9). state(22,21,10). state(22,22,1). state(22,23,3). state(22,24,15). state(22,25,15). state(23,1,8). state(23,2,9). state(23,3,8). state(23,4,17). state(23,5,19). state(23,6,10). state(23,7,7). state(23,8,23). state(23,9,19). state(23,10,19). state(23,11,8). state(23,12,2). state(23,13,22). state(23,14,7). state(23,15,5). state(23,16,11). state(23,17,14). state(23,18,19). state(23,19,6). state(23,20,23). state(23,21,11). state(23,22,14). state(23,23,3). state(23,24,20). state(23,25,7). state(24,1,12). state(24,2,5). state(24,3,8). state(24,4,14). state(24,5,19). state(24,6,22). state(24,7,22). state(24,8,3). state(24,9,5). state(24,10,13). state(24,11,22). state(24,12,14). state(24,13,19). state(24,14,19). state(24,15,8). state(24,16,12). state(24,17,2). state(24,18,9). state(24,19,9). state(24,20,9). state(24,21,13). state(24,22,20). state(24,23,23). state(24,24,7). state(24,25,25). state(25,1,21). state(25,2,17). state(25,3,14). state(25,4,23). state(25,5,12). state(25,6,20). state(25,7,9). state(25,8,16). state(25,9,2). state(25,10,22). state(25,11,10). state(25,12,24). state(25,13,19). state(25,14,13). state(25,15,3). state(25,16,6). state(25,17,9). state(25,18,17). state(25,19,25). state(25,20,3). state(25,21,25). state(25,22,12). state(25,23,5). state(25,24,8). state(25,25,20).