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 41 - 54 of 54	ruledepthlinear.gdlclingo.pl    ruledepthquadratic.gdlclingo.pl    slidingpieces.gdlclingo.pl    snake_2008.gdlclingo.pl    snake_2009_big.gdlclingo.pl    statespacelarge.gdlclingo.pl    statespacemedium.gdlclingo.pl    statespacesmall.gdlclingo.pl    sudoku_simple.gdlclingo.pl    tpeg.gdlclingo.pl    troublemaker01.gdlclingo.pl    troublemaker02.gdlclingo.pl    twisty-passages.gdlclingo.pl    wargame01.gdlclingo.pl   un-/mark all