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

Encoding test.lp

Name	test.lp
Class Tree	[Root]    General Game Playing (982)      Dresden (927)    8puzzle (1)      8puzzle_sym (1)      8puzzle_with_functions (1)      ad_game_2x2 (2)      amazons (14)      battle (73)      blobwars (8)      blockerparallel (4)      blockerserial (2)      brawl (45)      breakthrough (1)      breakthroughsuicide (1)      capture_the_king (20)      checkers (8)      checkers-cylinder-mustjump (47)      checkers-cylinder-mustjump_sym (47)      checkers-mustjump (2)      checkers-mustjump-torus (37)      checkers-newgoals (2)      checkers-suicide-cylinder-mustjump (47)      checkers_variant (2)      checkers_with_safe_greater (2)      chinesecheckers2 (1)      chinesecheckers2_sym (1)      chinesecheckers3 (1)      chinesecheckers4 (44)      chinesecheckers6 (2)      chinesecheckers6-simultaneous (1)      connect5 (1)      crisscross (35)      crissrace (53)      cubicup (1)      cylinder-checkers (47)      doublecrisscross (1)      doublecrisscross2 (1)      endgame (1)      endgame_sym (1)      endgame_variant (1)      four_way_battle (1)      gameofsquares (3)      god (1)      hallway (15)      knightazons (1)      knightfight (1)      knightstour    knightthrough (1)      knightthrough_sym (1)      merrills (13)      nim1 (1)      nim2 (1)      nim3 (1)      nim4 (1)      nothello (14)      othello (13)      othello-comp2007 (14)      othello-comp2007b (14)      othello-comp2007_sym (14)      othello-cornercontrol (14)      othello-fourway (14)      othello-fourway-teamswitch (13)      othello-fourway-teamswitchA (14)      othello-fourway-teamswitchB (14)      othello-new (14)      othello-new-horse (14)      othello2 (14)      othellosuicide (14)      othello_variant (14)      pacman3p (1)      pancakes (1)      pancakes6 (1)      pancakes88 (1)      pawntoqueen (2)      pentago_2008 (1)      quad (1)      quarto (3)      quartosuicide (3)      quarto_sym (2)      racer (12)      racer4 (11)      sheep_and_wolf (1)      skirmish (2)      skirmish2 (2)      skirmish3 (2)      skirmishfinal (29)      smallest (34)      smallest_4player (1)      snake_2009_big (1)      sudoku_simple (2)      tictactoex9 (1)      tttcc4 (2)      tttcc4_variant (1)      wargame01 (2)      Potsdam (54)
Submitter	Roland Kaminski
Author	Martin Gebser and Roland Kaminski
Description
Created	2012-02-27 14:59
Modified	2012-02-27 14:59
Languages	lparse
Language Features
Compatible Instance Classes
Input Predicates
Output Predicates
Encoding Parameter
Standalone	No
Tags
Attributes
Content	a. b. c.