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-size18-puzzle8

Name	hitori-size18-puzzle8
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). state(1,1,13). state(1,2,12). state(1,3,16). state(1,4,3). state(1,5,9). state(1,6,9). state(1,7,13). state(1,8,13). state(1,9,4). state(1,10,13). state(1,11,17). state(1,12,7). state(1,13,9). state(1,14,7). state(1,15,4). state(1,16,8). state(1,17,8). state(1,18,5). state(2,1,1). state(2,2,10). state(2,3,4). state(2,4,12). state(2,5,4). state(2,6,17). state(2,7,4). state(2,8,9). state(2,9,6). state(2,10,12). state(2,11,18). state(2,12,8). state(2,13,5). state(2,14,13). state(2,15,2). state(2,16,3). state(2,17,15). state(2,18,11). state(3,1,12). state(3,2,9). state(3,3,6). state(3,4,16). state(3,5,4). state(3,6,4). state(3,7,4). state(3,8,13). state(3,9,10). state(3,10,8). state(3,11,2). state(3,12,18). state(3,13,12). state(3,14,3). state(3,15,10). state(3,16,16). state(3,17,14). state(3,18,13). state(4,1,14). state(4,2,18). state(4,3,4). state(4,4,2). state(4,5,11). state(4,6,4). state(4,7,10). state(4,8,16). state(4,9,16). state(4,10,12). state(4,11,1). state(4,12,13). state(4,13,4). state(4,14,12). state(4,15,4). state(4,16,10). state(4,17,9). state(4,18,8). state(5,1,14). state(5,2,13). state(5,3,2). state(5,4,6). state(5,5,2). state(5,6,4). state(5,7,5). state(5,8,14). state(5,9,6). state(5,10,14). state(5,11,11). state(5,12,2). state(5,13,9). state(5,14,7). state(5,15,1). state(5,16,13). state(5,17,8). state(5,18,12). state(6,1,16). state(6,2,18). state(6,3,10). state(6,4,14). state(6,5,11). state(6,6,10). state(6,7,9). state(6,8,15). state(6,9,4). state(6,10,12). state(6,11,6). state(6,12,13). state(6,13,1). state(6,14,2). state(6,15,7). state(6,16,3). state(6,17,7). state(6,18,9). state(7,1,6). state(7,2,11). state(7,3,4). state(7,4,12). state(7,5,6). state(7,6,14). state(7,7,14). state(7,8,15). state(7,9,3). state(7,10,14). state(7,11,9). state(7,12,11). state(7,13,8). state(7,14,7). state(7,15,10). state(7,16,18). state(7,17,3). state(7,18,3). state(8,1,9). state(8,2,11). state(8,3,18). state(8,4,13). state(8,5,4). state(8,6,6). state(8,7,7). state(8,8,5). state(8,9,7). state(8,10,14). state(8,11,7). state(8,12,13). state(8,13,4). state(8,14,12). state(8,15,5). state(8,16,8). state(8,17,6). state(8,18,11). state(9,1,4). state(9,2,1). state(9,3,7). state(9,4,6). state(9,5,15). state(9,6,16). state(9,7,16). state(9,8,4). state(9,9,5). state(9,10,8). state(9,11,3). state(9,12,7). state(9,13,10). state(9,14,12). state(9,15,17). state(9,16,9). state(9,17,6). state(9,18,3). state(10,1,14). state(10,2,13). state(10,3,7). state(10,4,2). state(10,5,8). state(10,6,14). state(10,7,15). state(10,8,12). state(10,9,7). state(10,10,1). state(10,11,1). state(10,12,13). state(10,13,12). state(10,14,4). state(10,15,13). state(10,16,1). state(10,17,10). state(10,18,9). state(11,1,16). state(11,2,7). state(11,3,13). state(11,4,3). state(11,5,15). state(11,6,16). state(11,7,9). state(11,8,6). state(11,9,9). state(11,10,8). state(11,11,15). state(11,12,15). state(11,13,11). state(11,14,11). state(11,15,10). state(11,16,18). state(11,17,13). state(11,18,18). state(12,1,13). state(12,2,9). state(12,3,11). state(12,4,2). state(12,5,10). state(12,6,12). state(12,7,14). state(12,8,3). state(12,9,16). state(12,10,8). state(12,11,3). state(12,12,7). state(12,13,17). state(12,14,1). state(12,15,14). state(12,16,11). state(12,17,3). state(12,18,10). state(13,1,8). state(13,2,12). state(13,3,16). state(13,4,17). state(13,5,2). state(13,6,13). state(13,7,14). state(13,8,12). state(13,9,6). state(13,10,5). state(13,11,11). state(13,12,18). state(13,13,4). state(13,14,5). state(13,15,9). state(13,16,15). state(13,17,6). state(13,18,18). state(14,1,8). state(14,2,2). state(14,3,2). state(14,4,5). state(14,5,9). state(14,6,5). state(14,7,12). state(14,8,7). state(14,9,5). state(14,10,8). state(14,11,18). state(14,12,7). state(14,13,17). state(14,14,7). state(14,15,1). state(14,16,15). state(14,17,6). state(14,18,2). state(15,1,9). state(15,2,1). state(15,3,14). state(15,4,14). state(15,5,6). state(15,6,6). state(15,7,14). state(15,8,9). state(15,9,11). state(15,10,4). state(15,11,6). state(15,12,17). state(15,13,4). state(15,14,13). state(15,15,18). state(15,16,5). state(15,17,18). state(15,18,9). state(16,1,9). state(16,2,12). state(16,3,16). state(16,4,13). state(16,5,1). state(16,6,15). state(16,7,2). state(16,8,17). state(16,9,4). state(16,10,3). state(16,11,14). state(16,12,9). state(16,13,4). state(16,14,5). state(16,15,10). state(16,16,18). state(16,17,1). state(16,18,15). state(17,1,6). state(17,2,14). state(17,3,6). state(17,4,16). state(17,5,18). state(17,6,11). state(17,7,15). state(17,8,3). state(17,9,6). state(17,10,15). state(17,11,8). state(17,12,5). state(17,13,5). state(17,14,16). state(17,15,16). state(17,16,2). state(17,17,11). state(17,18,16). state(18,1,16). state(18,2,13). state(18,3,15). state(18,4,1). state(18,5,15). state(18,6,10). state(18,7,10). state(18,8,1). state(18,9,14). state(18,10,1). state(18,11,18). state(18,12,14). state(18,13,16). state(18,14,6). state(18,15,10). state(18,16,3). state(18,17,4). state(18,18,9).