Search Criteria:

Searching Type*	Instances Encodings	Required.
Only Compatible
Name
Uploader Deselect All
Author
Tag
Created	after // before //
Modified	after // before //
Language Deselect All
Language Feature Deselect All
Instance Class Deselect All
Standalone	Yes No Never mind!
Encoding Class Deselect All

Actions

Navigation

Search Criteria:

Graphs (3030)
Airport Pickup (21)
Model and Solve Track 3D ASP Competition (15)
Training Instances 3D ASP Competition (6)
Clumpy Graphs (187)
Hierarchic Representation (187)
Colored (79)
Color Group 1 (60)
Model and Solve Track 3D ASP Competition (14)
Training Instances 3D ASP Competition (5)
Connected Dominating Set (5)
CrossingMinimization (20)
Model and Solve Track 3D ASP Competition (15)
Training Instances 3D ASP Competition (5)
Generic (90)
ASP Contest 09 (Maximal Clique) (61)
Model and Solve Track 3D ASP Competition (14)
Training Instances 3D ASP Competition (5)
ASP Contest 09 (Reachability) (29)
Model and Solve Track 3D ASP Competition (15)
Training Instances 3D ASP Competition (5)
Hierarchical Clustering (5)
Influence Graphs (2553)
Escherichia coli (2003)
Exponential-Stationary Growth Shift (1001)
12 Percent (200)
15 Percent (200)
3 Percent (200)
6 Percent (200)
9 Percent (200)
Heatshock (1001)
12 Percent (200)
15 Percent (200)
3 Percent (200)
6 Percent (200)
9 Percent (200)
Random (small) (550)
Partitioning (5)
Slitherlink (25)
Model and Solve Track 3D ASP Competition (15)
Training Instances 3D ASP Competition (5)
Stable Marriage (20)
Model and Solve Track 3D ASP Competition (15)
Training Instances 3D ASP Competition (5)
Tomography (20)
Model and Solve Track 3D ASP Competition (15)
Training Instances 3D ASP Competition (5)
Grids (772)
Edge Matching (44)
Labyrinths (400)
Model and Solve Track 3D ASP Competition (15)
Random Group M1 (120)
Random Group M2 (260)
Training Instances 3D ASP Competition (5)
Magic Square Sets (20)
Model and Solve Track 3D ASP Competition (15)
Training Instances 3D ASP Competition (5)
Maze Generation (70)
Model and Solve Track 3D ASP Competition (15)
Training Instances 3D ASP Competition (5)
Numberlink (20)
Model and Solve Track 3D ASP Competition (15)
Training Instances 3D ASP Competition (5)
Reverse Folding (20)
Model and Solve Track 3D ASP Competition (15)
Training Instances 3D ASP Competition (5)
Sokoban (175)
Model and Solve Track 3D ASP Competition (Decision Problem) (15)
Model and Solve Track 3D ASP Competition (Optimization Problem) (15)
Training Instances 3D ASP Competition (Decision Problem) (5)
Training Instances 3D ASP Competition (Optimization Problem) (5)
Su-Doku (18)
ASP Contest 09 (Sudoku) (10)
Wire Routing (5)
Planning (2188)
BlocksWorld (0)
Hydraulic System (2188)
Hydraulic Leaking (26)
Model and Solve Track 3D ASP Competition (15)
Training Instances 3D ASP Competition (5)
Hydraulic Planning (33)
Model and Solve Track 3D ASP Competition (13)
Training Instances 3D ASP Competition (5)
Hydraulic Timed Planning (2129)
instances-auto (520)
ins (105)
ins-3-2 (73)
ins-4 (94)
ins-8 (86)
ins-ckt (94)
ins-ckt-4 (67)
instances-manual (7)
instances-monica (1601)
ins-10-0 (200)
ins-10-3 (200)
ins-10-5 (200)
ins-10-7 (200)
ins-3-0 (0)
ins-3-0 (200)
ins-3-2 (0)
ins-5-0 (0)
ins-5-3 (200)
ins-8-0 (200)
ins-8-5 (200)
Puzzles (806)
15-Puzzle (11)
DiamondPuzzle (9)
LatinSquares (200)
NormalLatinSquares (100)
WeightedLatinSquares (100)
MinimumPostageStampProblem (6)
MirrorPuzzle (18)
n-Queens (400)
BlockedN-Queens (400)
StandardN-Queens (0)
NumberSquares (22)
FindingNumbers (12)
PuttingNumbers (10)
OpenDoors (31)
StrategicCompanies (60)
ASP Contest 09 (Strategic Companies) (5)
Model and Solve Track 3D ASP Competition (15)
Training Instances 3D ASP Competition (5)
Tangram (15)
Model and Solve Track 3D ASP Competition (13)
Training Instances 3D ASP Competition (2)
TowersOfHanoi (34)
Model and Solve Track 3D ASP Competition (15)
Training Instances 3D ASP Competition (5)
Unclassified (3031)
15-PuzzleCompetition (15)
BlockedN-QueensCompetition (37)
BoundedSpanningTree (30)
CarSequencing (54)
Channel Routing (11)
Coloring (5)
Company Controls (50)
Decision Version of Company Controls (5)
Model and Solve Track 3D ASP Competition (Decision Problem) (15)
Model and Solve Track 3D ASP Competition (Optimization Problem) (15)
Optimization Version of Company Controls (5)
Training Instances 3D ASP Competition (Decision Problem) (5)
Training Instances 3D ASP Competition (Optimization Problem) (5)
Disj3SAT (0)
Disjunctive Scheduling (30)
Model and Solve Track 3D ASP Competition (15)
Training Instances 3D ASP Competition (5)
disjunctiveLoops (9)
EqTest (10)
Factoring (10)
Fastfood (266)
Decision Version of Fastfood (241)
Model and Solve Track 3D ASP Competition (15)
Training Instances 3D ASP Competition (5)
Optimization Version of Fastfood (25)
Model and Solve Track 3D ASP Competition (15)
Training Instances 3D ASP Competition (5)
GebserSuite (202)
Body (101)
Head (101)
Golomb Ruler (24)
GrammarBasedInformationExtraction (127)
ASP Contest 09 (Grammar-Based Information Extraction) (5)
Model and Solve Track 3D ASP Competition (15)
Training Instances 3D ASP Competition (5)
HamiltonianCycle (30)
HamiltonianPath (58)
Hashiwokakero (211)
Hitori (211)
Incremental Scheduling (20)
Model and Solve Track 3D ASP Competition (15)
Training Instances 3D ASP Competition (5)
KnightsTour (190)
ASP Contest 09 (Knight's Tour) (10)
Model and Solve Track 3D ASP Competition (10)
Training Instances 3D ASP Competition (5)
MinimalDiagnosis (20)
Model and Solve Track 3D ASP Competition (15)
Training Instances 3D ASP Competition (5)
Multi Context System Querying (19)
Model and Solve Track 3D ASP Competition (14)
Training Instances 3D ASP Competition (5)
Mutex (7)
PackingProblem (20)
Model and Solve Track 3D ASP Competition (15)
Training Instances 3D ASP Competition (5)
Partner Units (20)
Model and Solve Track 3D ASP Competition (15)
Training Instances 3D ASP Competition (5)
Partner Units - Polynomial (21)
Model and Solve Track 3D ASP Competition (15)
Training Instances 3D ASP Competition (6)
Ramsey (4)
RandomNonTight (120)
RandomQuantifiedBooleanFormulas (40)
Reachability (0)
RLP-150 (291)
RLP-200 (282)
SameGeneration (8)
SchurCompetition (33)
SchurNumbers (5)
SocialGolfer (175)
Solitaire (15)
Model and Solve Track 3D ASP Competition (10)
Training Instances 3D ASP Competition (5)
SolitaireBackward (36)
SolitaireBackward2 (10)
SolitaireForward (68)
Instance Group 1 (27)
TOAST (54)
searchTest-plain (10)
searchTest-verbose (10)
verifyTest-variableSearchSpace (17)
verifyTest-variableWordLength (17)
TowersOfHanoiCompetition (33)
TravelingSalespersonSuite (30)
Weight-Assignment Tree (20)
Model and Solve Track 3D ASP Competition (15)
Training Instances 3D ASP Competition (5)
WeightBoundedDominatingSetSuite (30)
WeightedLatinSquareCompetition (35)
WeightedSpanningTree (30)
WordDesignDNA (5)

General Game Playing (982)
Dresden (927)
8puzzle (1)
8puzzle_sym (1)
8puzzle_with_functions (1)
ad_game_2x2 (2)
amazons (14)
battle (73)
blobwars (8)
blockerparallel (4)
blockerserial (2)
brawl (45)
breakthrough (1)
breakthroughsuicide (1)
capture_the_king (20)
checkers (8)
checkers-cylinder-mustjump (47)
checkers-cylinder-mustjump_sym (47)
checkers-mustjump (2)
checkers-mustjump-torus (37)
checkers-newgoals (2)
checkers-suicide-cylinder-mustjump (47)
checkers_variant (2)
checkers_with_safe_greater (2)
chinesecheckers2 (1)
chinesecheckers2_sym (1)
chinesecheckers3 (1)
chinesecheckers4 (44)
chinesecheckers6 (2)
chinesecheckers6-simultaneous (1)
connect5 (1)
crisscross (35)
crissrace (53)
cubicup (1)
cylinder-checkers (47)
doublecrisscross (1)
doublecrisscross2 (1)
endgame (1)
endgame_sym (1)
endgame_variant (1)
four_way_battle (1)
gameofsquares (3)
god (1)
hallway (15)
knightazons (1)
knightfight (1)
knightstour (0)
knightthrough (1)
knightthrough_sym (1)
merrills (13)
nim1 (1)
nim2 (1)
nim3 (1)
nim4 (1)
nothello (14)
othello (13)
othello-comp2007 (14)
othello-comp2007b (14)
othello-comp2007_sym (14)
othello-cornercontrol (14)
othello-fourway (14)
othello-fourway-teamswitch (13)
othello-fourway-teamswitchA (14)
othello-fourway-teamswitchB (14)
othello-new (14)
othello-new-horse (14)
othello2 (14)
othellosuicide (14)
othello_variant (14)
pacman3p (1)
pancakes (1)
pancakes6 (1)
pancakes88 (1)
pawntoqueen (2)
pentago_2008 (1)
quad (1)
quarto (3)
quartosuicide (3)
quarto_sym (2)
racer (12)
racer4 (11)
sheep_and_wolf (1)
skirmish (2)
skirmish2 (2)
skirmish3 (2)
skirmishfinal (29)
smallest (34)
smallest_4player (1)
snake_2009_big (1)
sudoku_simple (2)
tictactoex9 (1)
tttcc4 (2)
tttcc4_variant (1)
wargame01 (2)
Potsdam (54)
Graph Problems (32)
Clique (1)
Maximal Clique (1)
Coloring (3)
3D ASP Competition (1)
Coloring (1)
Connected Dominating Set (1)
Hamilton (17)
HamiltonianCycle (6)
HamiltonianPath (5)
HierarchicCycle (1)
TravelingSalespersonSuite (5)
Hierarchical Clustering (1)
Partitioning (1)
Sign Consistency (5)
Repair and Prediction (5)
Slitherlink (1)
Stable Marriage (1)
Miscellaneous (45)
ASP Contest 09 (45)
Input/Output Formatting Tools (3)
Special-Purpose Encodings and Tools (4)
Verification and Evaluation Encodings and Tools (38)
Resources (0)
Planning (0)
BlocksWorld (0)
Planning (0)
Puzzles (51)
15-Puzzle (7)
DiamondPuzzle (1)
Grid (17)
Edge Matching (1)
Labyrinth (4)
3D ASP Competition (1)
Path Move (2)
Single Cell Move (1)
Magic Square Sets (1)
Maze Generation (2)
3D ASP Competition (1)
Numberlink (1)
Sokoban (4)
3D ASP Competition (1)
Su-Doku (3)
Wire Routing (1)
LatinSquares (4)
NormalLatinSquares (2)
WeightedLatinSquares (1)
MinimumPostageStampProblem (1)
MirrorPuzzle (1)
n-Queens (7)
BlockedN-Queens (4)
StandardN-Queens (2)
NumberSquares (4)
FindingNumbers (2)
PuttingNumbers (2)
OpenDoors (3)
StrategicCompanies (4)
3D ASP Competition (1)
TowersOfHanoi (2)
3D ASP Competition (1)
Unclassified (114)
15-PuzzleCompetition (5)
3D ASP Competition (0)
BlockedN-QueensCompetition (4)
BoundedSpanningTree (7)
CarSequencing (3)
Channel Routing (1)
Company Controls (3)
Decision Version of Company Controls (2)
Optimization Version of Company Controls (1)
Disj3SAT (0)
Disjunctive Scheduling (3)
3D ASP Competition (1)
disjunctiveLoops (1)
EqTest (1)
Factoring (1)
Fastfood (5)
Decision Version of Fastfood (3)
Optimization Version of Fastfood (2)
3D ASP Competition (1)
Golomb Ruler (1)
GrammarBasedInformationExtraction (3)
3D ASP Competition (1)
Hashiwokakero (1)
Hitori (2)
Hydraulic System (8)
Hydraulic Leaking (3)
3D ASP Competition (1)
Hydraulic Planning (3)
3D ASP Competition (1)
Hydraulic Timed Planning (2)
High Level (1)
Low Level (1)
KnightsTour (3)
3D ASP Competition (1)
Minimal Diagnosis (1)
Multi Context System Querying (1)
Mutex (1)
PackingProblem (1)
Ramsey (3)
RandomNonTight (1)
RandomQuantifiedBooleanFormulas (1)
Reachability (5)
3D ASP Competition (1)
RLP-150 (1)
RLP-200 (1)
SameGeneration (2)
SchurCompetition (4)
SchurNumbers (5)
SocialGolfer (5)
Solitaire (1)
SolitaireBackward (1)
SolitaireBackward2 (1)
SolitaireForward (2)
TOAST (4)
searchTest-plain (1)
searchTest-verbose (1)
verifyTest-variableSearchSpace (1)
verifyTest-variableWordLength (1)
TowersOfHanoiCompetition (5)
Weight-Assignment Tree (1)
WeightBoundedDominatingSetSuite (4)
WeightedLatinSquareCompetition (5)
WeightedSpanningTree (3)
WordDesignDNA (3)