SanchoGGP / ggp-base

The General Game Playing Base Package
8 stars 4 forks source link

Failing to solve many base puzzles #260

Open arr28 opened 9 years ago

arr28 commented 9 years ago

Some of these could be down to GDL problems, but I'm pretty sure that we used to be able to solve base.firefighter which now seems to hang us.

Game Notes
asteroidsParallel
blocksWorldParallel Fixed under #262.
blocksWorldSerial Fixed under #262.
brain_teaser_extended
factoringGeorgeForman
factoringImpossibleTurtleBrain
factoringMediumTurtleBrain
factoringMutuallyAssuredDestruction
firefighter Fixed
knightsmove 8x8 tour which isn't reliably solvable. Oddly the 9x9 KnightsTourLarge works fine.
god Hang in propnet construction. Looks like recursive rules. (Poisoned to prevent us hanging.)
incredible Fixed under #262.
lightsOut
mummymaze1p
pancakes6
pancakes88
pearls
peg Don't reliably score 100 on snap-ci. Tests will accept 90.
queens Place 10 queens on a 10x10 board with no threats. Not fast enough to solve and no special tricks available. With 60s/60s we can score 90. I believe a score of 100 is possible. Why can we complete max_knights in a few ms, yet can't solve this?
ruleDepthExponential
slidingpieces Illegal GDL (comments in the middle of rules).
stateSpaceLarge
sudoku
tpeg Don't reliably score 100 overnight. Tests will accept 90.
twisty-passages Fixed under #262.
wargame01
wargame02
wargame03
SteveDraper commented 9 years ago

Firefighter is breaking because it apparently has a winning move (extinguish) for which the prop is NULL (i.e. - it's a noop!). Investigating further...

SteveDraper commented 9 years ago

Fixed firefighter at least.

SteveDraper commented 9 years ago

slidingpieces has 'broken' (or at least dubious) GDL. The parser cannot handle comments in the middle of rules it seems, and the GDL for this game exhibits this, with the result that the propnet factory (the basic first stage, not optimized at all) contains only the 0 goal.