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 hashiwokakero-size25-puzzle1

Name	hashiwokakero-size25-puzzle1
Classes	[Root]    Unclassified (3031)    Hashiwokakero (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). xpos(2). ypos(2). xpos(3). ypos(3). xpos(4). ypos(4). xpos(5). ypos(5). xpos(6). ypos(6). xpos(7). ypos(7). xpos(8). ypos(8). xpos(9). ypos(9). xpos(10). ypos(10). xpos(11). ypos(11). xpos(12). ypos(12). xpos(13). ypos(13). xpos(14). ypos(14). xpos(15). ypos(15). xpos(16). ypos(16). xpos(17). ypos(17). xpos(18). ypos(18). xpos(19). ypos(19). xpos(20). ypos(20). xpos(21). ypos(21). xpos(22). ypos(22). xpos(23). ypos(23). xpos(24). ypos(24). xpos(25). ypos(25). status(14,2,1). status(21,17,1). status(25,16,1). status(24,8,1). status(8,8,1). status(1,6,1). status(4,24,1). status(20,1,1). status(9,2,1). status(24,22,1). status(15,10,1). status(16,5,1). status(4,5,1). status(24,3,1). status(5,10,1). status(23,11,1). status(4,14,1). status(23,9,1). status(7,17,1). status(12,16,1). status(4,6,1). status(21,21,1). status(5,25,1). status(4,24,1). status(12,3,1). status(1,1,1). status(22,5,1). status(17,2,1). status(11,9,1). status(8,20,1). status(1,23,1). status(3,19,1). status(9,24,1). status(20,3,1). status(9,14,1). status(7,15,1). status(16,12,1). status(14,3,1). status(19,13,1). status(17,21,1). status(5,21,1). status(24,24,1). status(14,8,1). status(3,3,1). status(15,11,1). status(5,18,1). status(21,9,1). status(15,22,1). status(12,16,1). status(17,7,1). status(17,12,1). status(15,11,1). status(7,24,1). status(22,1,1). status(14,15,1). status(20,20,1). status(16,15,1). status(22,5,1). status(6,16,1). status(3,8,1). status(20,24,1). status(8,13,1). status(19,19,1). status(13,16,1). status(9,4,1). status(15,24,1). status(14,15,1). status(21,11,1). status(25,17,1). status(19,19,1). status(19,13,1). status(7,21,1). status(4,15,1). status(25,2,1). status(21,10,1). status(7,25,1). status(13,14,1). status(7,9,1). status(6,8,1). status(21,1,1). status(18,20,1). status(13,1,1). status(21,5,1). status(23,5,1). status(15,25,1). status(11,7,1). status(6,19,1). status(15,1,1). status(10,7,1). status(21,3,1). status(1,20,1). status(19,7,1). status(7,3,1). status(9,25,1). status(12,15,1). status(1,25,1). status(14,6,1). status(16,20,1). status(1,4,1). status(19,25,1). status(13,25,1). status(1,18,1). status(15,24,1). status(9,8,1). status(7,19,1). status(5,20,1). status(10,9,1). status(8,24,1). status(8,25,1). status(13,18,1). status(22,6,1). status(24,6,1). status(9,21,1). status(21,5,1). status(8,11,1). status(9,16,1). status(10,25,1). status(16,8,1). status(16,15,1). status(20,3,1). status(24,24,1). status(1,23,1). status(22,6,1). status(16,2,1). status(17,9,1). status(12,18,1). status(2,3,1). status(25,18,1). status(22,9,1). status(18,4,1). status(7,2,1). status(2,3,1). maxsize(25).