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-size13-puzzle2

Name	hitori-size13-puzzle2
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). state(1,1,10). state(1,2,11). state(1,3,6). state(1,4,11). state(1,5,11). state(1,6,5). state(1,7,7). state(1,8,10). state(1,9,9). state(1,10,4). state(1,11,1). state(1,12,6). state(1,13,13). state(2,1,1). state(2,2,8). state(2,3,13). state(2,4,10). state(2,5,2). state(2,6,8). state(2,7,9). state(2,8,13). state(2,9,6). state(2,10,11). state(2,11,6). state(2,12,6). state(2,13,10). state(3,1,9). state(3,2,3). state(3,3,3). state(3,4,7). state(3,5,3). state(3,6,12). state(3,7,4). state(3,8,8). state(3,9,9). state(3,10,2). state(3,11,13). state(3,12,3). state(3,13,11). state(4,1,8). state(4,2,6). state(4,3,11). state(4,4,13). state(4,5,5). state(4,6,12). state(4,7,8). state(4,8,5). state(4,9,8). state(4,10,10). state(4,11,13). state(4,12,4). state(4,13,9). state(5,1,5). state(5,2,1). state(5,3,2). state(5,4,11). state(5,5,11). state(5,6,10). state(5,7,1). state(5,8,13). state(5,9,3). state(5,10,3). state(5,11,12). state(5,12,7). state(5,13,11). state(6,1,7). state(6,2,9). state(6,3,10). state(6,4,10). state(6,5,6). state(6,6,4). state(6,7,3). state(6,8,4). state(6,9,4). state(6,10,8). state(6,11,3). state(6,12,12). state(6,13,12). state(7,1,10). state(7,2,8). state(7,3,11). state(7,4,1). state(7,5,3). state(7,6,3). state(7,7,2). state(7,8,5). state(7,9,13). state(7,10,13). state(7,11,1). state(7,12,13). state(7,13,13). state(8,1,4). state(8,2,2). state(8,3,11). state(8,4,11). state(8,5,13). state(8,6,5). state(8,7,6). state(8,8,9). state(8,9,1). state(8,10,12). state(8,11,12). state(8,12,3). state(8,13,3). state(9,1,3). state(9,2,10). state(9,3,5). state(9,4,1). state(9,5,9). state(9,6,2). state(9,7,9). state(9,8,6). state(9,9,3). state(9,10,11). state(9,11,8). state(9,12,4). state(9,13,3). state(10,1,8). state(10,2,4). state(10,3,3). state(10,4,7). state(10,5,3). state(10,6,7). state(10,7,9). state(10,8,13). state(10,9,4). state(10,10,8). state(10,11,4). state(10,12,10). state(10,13,3). state(11,1,5). state(11,2,8). state(11,3,2). state(11,4,7). state(11,5,10). state(11,6,5). state(11,7,4). state(11,8,2). state(11,9,6). state(11,10,13). state(11,11,3). state(11,12,1). state(11,13,5). state(12,1,5). state(12,2,12). state(12,3,13). state(12,4,9). state(12,5,1). state(12,6,8). state(12,7,12). state(12,8,4). state(12,9,1). state(12,10,2). state(12,11,10). state(12,12,10). state(12,13,1). state(13,1,1). state(13,2,4). state(13,3,5). state(13,4,10). state(13,5,7). state(13,6,9). state(13,7,5). state(13,8,9). state(13,9,3). state(13,10,2). state(13,11,1). state(13,12,7). state(13,13,3).