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 Classes

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