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

Class Tree	[Root]    Unclassified (114)    15-PuzzleCompetition (5)      3D ASP Competition    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    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)
Description	This is a container class for benchmarks from a previous version of this platform that have not yet been classified into categories by contents.
Encodings 0