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

Problem Classes

• 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)     
    • 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)     
• 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)     
  • 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)     
  • 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)