Instance gryzzles.14.lp

Name	gryzzles.14.lp
Classes	[Root] Unclassified (3031) HamiltonianPath (58)
Submitter	Martin Gebser
Author	n/a
Description
Created	2009-03-09 20:33
Modified	2009-03-09 20:33
Languages	Facts
Language Features
Compatible Encodings	dlv encoding nlp encoding hampath_decision.gringo
Output Predicates	edge/2 start/1 vtx/1
Tags:	ASP Contest 09 (Martin Gebser)
Attributes
Content	edge(x10y1,x10y2). edge(x10y1,x11y1). edge(x10y10,x10y9). edge(x10y10,x9y10). edge(x10y2,x10y1). edge(x10y2,x11y2). edge(x10y2,x9y2). edge(x10y4,x10y5). edge(x10y4,x11y4). edge(x10y4,x9y4). edge(x10y5,x10y4). edge(x10y5,x11y5). edge(x10y5,x9y5). edge(x10y7,x10y8). edge(x10y7,x11y7). edge(x10y7,x9y7). edge(x10y8,x10y7). edge(x10y8,x10y9). edge(x10y8,x11y8). edge(x10y8,x9y8). edge(x10y9,x10y10). edge(x10y9,x10y8). edge(x10y9,x11y9). edge(x11y1,x10y1). edge(x11y1,x11y2). edge(x11y1,x12y1). edge(x11y2,x10y2). edge(x11y2,x11y1). edge(x11y2,x11y3). edge(x11y2,x12y2). edge(x11y3,x11y2). edge(x11y3,x11y4). edge(x11y3,x12y3). edge(x11y4,x10y4). edge(x11y4,x11y3). edge(x11y4,x11y5). edge(x11y5,x10y5). edge(x11y5,x11y4). edge(x11y5,x11y6). edge(x11y6,x11y5). edge(x11y6,x11y7). edge(x11y6,x12y6). edge(x11y7,x10y7). edge(x11y7,x11y6). edge(x11y7,x11y8). edge(x11y7,x12y7). edge(x11y8,x10y8). edge(x11y8,x11y7). edge(x11y8,x11y9). edge(x11y8,x12y8). edge(x11y9,x10y9). edge(x11y9,x11y8). edge(x11y9,x12y9). edge(x12y1,x11y1). edge(x12y1,x12y2). edge(x12y1,x13y1). edge(x12y2,x11y2). edge(x12y2,x12y1). edge(x12y2,x12y3). edge(x12y2,x13y2). edge(x12y3,x11y3). edge(x12y3,x12y2). edge(x12y3,x13y3). edge(x12y6,x11y6). edge(x12y6,x12y7). edge(x12y6,x13y6). edge(x12y7,x11y7). edge(x12y7,x12y6). edge(x12y7,x12y8). edge(x12y8,x11y8). edge(x12y8,x12y7). edge(x12y8,x12y9). edge(x12y8,x13y8). edge(x12y9,x11y9). edge(x12y9,x12y8). edge(x12y9,x13y9). edge(x13y1,x12y1). edge(x13y1,x13y2). edge(x13y10,x13y9). edge(x13y10,x14y10). edge(x13y2,x12y2). edge(x13y2,x13y1). edge(x13y2,x13y3). edge(x13y2,x14y2). edge(x13y3,x12y3). edge(x13y3,x13y2). edge(x13y3,x13y4). edge(x13y4,x13y3). edge(x13y4,x13y5). edge(x13y4,x14y4). edge(x13y5,x13y4). edge(x13y5,x13y6). edge(x13y5,x14y5). edge(x13y6,x12y6). edge(x13y6,x13y5). edge(x13y6,x14y6). edge(x13y8,x12y8). edge(x13y8,x13y9). edge(x13y8,x14y8). edge(x13y9,x12y9). edge(x13y9,x13y10). edge(x13y9,x13y8). edge(x13y9,x14y9). edge(x14y10,x13y10). edge(x14y10,x14y9). edge(x14y2,x13y2). edge(x14y2,x15y2). edge(x14y4,x13y4). edge(x14y4,x14y5). edge(x14y4,x15y4). edge(x14y5,x13y5). edge(x14y5,x14y4). edge(x14y5,x14y6). edge(x14y5,x15y5). edge(x14y6,x13y6). edge(x14y6,x14y5). edge(x14y6,x14y7). edge(x14y6,x15y6). edge(x14y7,x14y6). edge(x14y7,x14y8). edge(x14y7,x15y7). edge(x14y8,x13y8). edge(x14y8,x14y7). edge(x14y8,x14y9). edge(x14y8,x15y8). edge(x14y9,x13y9). edge(x14y9,x14y10). edge(x14y9,x14y8). edge(x14y9,x15y9). edge(x15y2,x14y2). edge(x15y2,x15y3). edge(x15y3,x15y2). edge(x15y3,x15y4). edge(x15y3,x16y3). edge(x15y4,x14y4). edge(x15y4,x15y3). edge(x15y4,x15y5). edge(x15y4,x16y4). edge(x15y5,x14y5). edge(x15y5,x15y4). edge(x15y5,x15y6). edge(x15y6,x14y6). edge(x15y6,x15y5). edge(x15y6,x15y7). edge(x15y7,x14y7). edge(x15y7,x15y6). edge(x15y7,x15y8). edge(x15y7,x16y7). edge(x15y8,x14y8). edge(x15y8,x15y7). edge(x15y8,x15y9). edge(x15y8,x16y8). edge(x15y9,x14y9). edge(x15y9,x15y8). edge(x16y3,x15y3). edge(x16y3,x16y4). edge(x16y4,x15y4). edge(x16y4,x16y3). edge(x16y7,x15y7). edge(x16y7,x16y8). edge(x16y8,x15y8). edge(x16y8,x16y7). edge(x1y2,x1y3). edge(x1y2,x2y2). edge(x1y3,x1y2). edge(x1y3,x2y3). edge(x1y8,x1y9). edge(x1y8,x2y8). edge(x1y9,x1y8). edge(x1y9,x2y9). edge(x2y1,x2y2). edge(x2y1,x3y1). edge(x2y10,x2y9). edge(x2y10,x3y10). edge(x2y2,x1y2). edge(x2y2,x2y1). edge(x2y2,x2y3). edge(x2y2,x3y2). edge(x2y3,x1y3). edge(x2y3,x2y2). edge(x2y3,x2y4). edge(x2y3,x3y3). edge(x2y4,x2y3). edge(x2y4,x3y4). edge(x2y7,x2y8). edge(x2y7,x3y7). edge(x2y8,x1y8). edge(x2y8,x2y7). edge(x2y8,x2y9). edge(x2y8,x3y8). edge(x2y9,x1y9). edge(x2y9,x2y10). edge(x2y9,x2y8). edge(x2y9,x3y9). edge(x3y1,x2y1). edge(x3y1,x3y2). edge(x3y1,x4y1). edge(x3y10,x2y10). edge(x3y10,x3y9). edge(x3y2,x2y2). edge(x3y2,x3y1). edge(x3y2,x3y3). edge(x3y2,x4y2). edge(x3y3,x2y3). edge(x3y3,x3y2). edge(x3y3,x3y4). edge(x3y3,x4y3). edge(x3y4,x2y4). edge(x3y4,x3y3). edge(x3y4,x3y5). edge(x3y4,x4y4). edge(x3y5,x3y4). edge(x3y5,x3y6). edge(x3y5,x4y5). edge(x3y6,x3y5). edge(x3y6,x3y7). edge(x3y6,x4y6). edge(x3y7,x2y7). edge(x3y7,x3y6). edge(x3y7,x3y8). edge(x3y7,x4y7). edge(x3y8,x2y8). edge(x3y8,x3y7). edge(x3y8,x3y9). edge(x3y8,x4y8). edge(x3y9,x2y9). edge(x3y9,x3y10). edge(x3y9,x3y8). edge(x3y9,x4y9). edge(x4y1,x3y1). edge(x4y1,x4y2). edge(x4y1,x5y1). edge(x4y2,x3y2). edge(x4y2,x4y1). edge(x4y2,x4y3). edge(x4y2,x5y2). edge(x4y3,x3y3). edge(x4y3,x4y2). edge(x4y3,x4y4). edge(x4y4,x3y4). edge(x4y4,x4y3). edge(x4y4,x4y5). edge(x4y4,x5y4). edge(x4y5,x3y5). edge(x4y5,x4y4). edge(x4y5,x4y6). edge(x4y5,x5y5). edge(x4y6,x3y6). edge(x4y6,x4y5). edge(x4y6,x4y7). edge(x4y6,x5y6). edge(x4y7,x3y7). edge(x4y7,x4y6). edge(x4y7,x4y8). edge(x4y7,x5y7). edge(x4y8,x3y8). edge(x4y8,x4y7). edge(x4y8,x4y9). edge(x4y8,x5y8). edge(x4y9,x3y9). edge(x4y9,x4y8). edge(x4y9,x5y9). edge(x5y1,x4y1). edge(x5y1,x5y2). edge(x5y1,x6y1). edge(x5y10,x5y9). edge(x5y10,x6y10). edge(x5y2,x4y2). edge(x5y2,x5y1). edge(x5y2,x6y2). edge(x5y4,x4y4). edge(x5y4,x5y5). edge(x5y4,x6y4). edge(x5y5,x4y5). edge(x5y5,x5y4). edge(x5y5,x5y6). edge(x5y5,x6y5). edge(x5y6,x4y6). edge(x5y6,x5y5). edge(x5y6,x5y7). edge(x5y6,x6y6). edge(x5y7,x4y7). edge(x5y7,x5y6). edge(x5y7,x5y8). edge(x5y8,x4y8). edge(x5y8,x5y7). edge(x5y8,x5y9). edge(x5y8,x6y8). edge(x5y9,x4y9). edge(x5y9,x5y10). edge(x5y9,x5y8). edge(x6y1,x5y1). edge(x6y1,x6y2). edge(x6y10,x5y10). edge(x6y10,x7y10). edge(x6y2,x5y2). edge(x6y2,x6y1). edge(x6y2,x6y3). edge(x6y2,x7y2). edge(x6y3,x6y2). edge(x6y3,x6y4). edge(x6y3,x7y3). edge(x6y4,x5y4). edge(x6y4,x6y3). edge(x6y4,x6y5). edge(x6y5,x5y5). edge(x6y5,x6y4). edge(x6y5,x6y6). edge(x6y5,x7y5). edge(x6y6,x5y6). edge(x6y6,x6y5). edge(x6y6,x7y6). edge(x6y8,x5y8). edge(x6y8,x7y8). edge(x7y10,x6y10). edge(x7y10,x7y9). edge(x7y10,x8y10). edge(x7y2,x6y2). edge(x7y2,x7y3). edge(x7y3,x6y3). edge(x7y3,x7y2). edge(x7y3,x8y3). edge(x7y5,x6y5). edge(x7y5,x7y6). edge(x7y6,x6y6). edge(x7y6,x7y5). edge(x7y6,x7y7). edge(x7y6,x8y6). edge(x7y7,x7y6). edge(x7y7,x7y8). edge(x7y7,x8y7). edge(x7y8,x6y8). edge(x7y8,x7y7). edge(x7y8,x7y9). edge(x7y8,x8y8). edge(x7y9,x7y10). edge(x7y9,x7y8). edge(x7y9,x8y9). edge(x8y10,x7y10). edge(x8y10,x8y9). edge(x8y10,x9y10). edge(x8y3,x7y3). edge(x8y3,x8y4). edge(x8y3,x9y3). edge(x8y4,x8y3). edge(x8y4,x9y4). edge(x8y6,x7y6). edge(x8y6,x8y7). edge(x8y6,x9y6). edge(x8y7,x7y7). edge(x8y7,x8y6). edge(x8y7,x8y8). edge(x8y7,x9y7). edge(x8y8,x7y8). edge(x8y8,x8y7). edge(x8y8,x8y9). edge(x8y8,x9y8). edge(x8y9,x7y9). edge(x8y9,x8y10). edge(x8y9,x8y8). edge(x9y10,x10y10). edge(x9y10,x8y10). edge(x9y2,x10y2). edge(x9y2,x9y3). edge(x9y3,x8y3). edge(x9y3,x9y2). edge(x9y3,x9y4). edge(x9y4,x10y4). edge(x9y4,x8y4). edge(x9y4,x9y3). edge(x9y4,x9y5). edge(x9y5,x10y5). edge(x9y5,x9y4). edge(x9y5,x9y6). edge(x9y6,x8y6). edge(x9y6,x9y5). edge(x9y6,x9y7). edge(x9y7,x10y7). edge(x9y7,x8y7). edge(x9y7,x9y6). edge(x9y7,x9y8). edge(x9y8,x10y8). edge(x9y8,x8y8). edge(x9y8,x9y7). start(x5y2). vtx(x10y1). vtx(x10y10). vtx(x10y2). vtx(x10y4). vtx(x10y5). vtx(x10y7). vtx(x10y8). vtx(x10y9). vtx(x11y1). vtx(x11y2). vtx(x11y3). vtx(x11y4). vtx(x11y5). vtx(x11y6). vtx(x11y7). vtx(x11y8). vtx(x11y9). vtx(x12y1). vtx(x12y2). vtx(x12y3). vtx(x12y6). vtx(x12y7). vtx(x12y8). vtx(x12y9). vtx(x13y1). vtx(x13y10). vtx(x13y2). vtx(x13y3). vtx(x13y4). vtx(x13y5). vtx(x13y6). vtx(x13y8). vtx(x13y9). vtx(x14y10). vtx(x14y2). vtx(x14y4). vtx(x14y5). vtx(x14y6). vtx(x14y7). vtx(x14y8). vtx(x14y9). vtx(x15y2). vtx(x15y3). vtx(x15y4). vtx(x15y5). vtx(x15y6). vtx(x15y7). vtx(x15y8). vtx(x15y9). vtx(x16y3). vtx(x16y4). vtx(x16y7). vtx(x16y8). vtx(x1y2). vtx(x1y3). vtx(x1y8). vtx(x1y9). vtx(x2y1). vtx(x2y10). vtx(x2y2). vtx(x2y3). vtx(x2y4). vtx(x2y7). vtx(x2y8). vtx(x2y9). vtx(x3y1). vtx(x3y10). vtx(x3y2). vtx(x3y3). vtx(x3y4). vtx(x3y5). vtx(x3y6). vtx(x3y7). vtx(x3y8). vtx(x3y9). vtx(x4y1). vtx(x4y2). vtx(x4y3). vtx(x4y4). vtx(x4y5). vtx(x4y6). vtx(x4y7). vtx(x4y8). vtx(x4y9). vtx(x5y1). vtx(x5y10). vtx(x5y2). vtx(x5y4). vtx(x5y5). vtx(x5y6). vtx(x5y7). vtx(x5y8). vtx(x5y9). vtx(x6y1). vtx(x6y10). vtx(x6y2). vtx(x6y3). vtx(x6y4). vtx(x6y5). vtx(x6y6). vtx(x6y8). vtx(x7y10). vtx(x7y2). vtx(x7y3). vtx(x7y5). vtx(x7y6). vtx(x7y7). vtx(x7y8). vtx(x7y9). vtx(x8y10). vtx(x8y3). vtx(x8y4). vtx(x8y6). vtx(x8y7). vtx(x8y8). vtx(x8y9). vtx(x9y10). vtx(x9y2). vtx(x9y3). vtx(x9y4). vtx(x9y5). vtx(x9y6). vtx(x9y7). vtx(x9y8).

Actions

Navigation

Instance gryzzles.14.lp