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 Class Unclassified

Class Tree	[Root]    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    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    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)
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.
Submitter	Martin Gebser
Compatible Encodings
Output Predicates
Instances 0