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]    General Game Playing (982)      Potsdam (54)
Description	benchmarks from Potsdam Not verified that all encoding are correct. if there are any problems please contact me () Problem with Gringo >3.0 #HIDE -> #hide #SHOW -> #show
Encodings 1 - 20 of 54	8puzzle.gdlclingo.pl    aipsrovers01.gdlclingo.pl    asteroids.gdlclingo.pl    asteroidsparallel.gdlclingo.pl    asteroidsserial.gdlclingo.pl    blocks.gdlclingo.pl    blocksworldparallel.gdlclingo.pl    blocksworldserial.gdlclingo.pl    brain_teaser_extended.gdlclingo.pl    buttons.gdlclingo.pl    chinesecheckers1.gdlclingo.pl    circlesolitaire.gdlclingo.pl    coins.gdlclingo.pl    duplicatestatelarge.gdlclingo.pl    duplicatestatemedium.gdlclingo.pl    duplicatestatesmall.gdlclingo.pl    firefighter.gdlclingo.pl    god.gdlclingo.pl    hanoi.gdlclingo.pl    hanoi7.gdlclingo.pl   un-/mark all