Bug 281244 - Solver reports a winnable game as not winnable
Summary: Solver reports a winnable game as not winnable
Status: RESOLVED WORKSFORME
Alias: None
Product: kpat
Classification: Applications
Component: solver (show other bugs)
Version: 3.5.1
Platform: Fedora RPMs Linux
: NOR normal
Target Milestone: ---
Assignee: Stephan Kulow
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2011-09-03 02:45 UTC by Peter Adderley
Modified: 2011-11-06 00:03 UTC (History)
1 user (show)

See Also:
Latest Commit:
Version Fixed In:


Attachments
kpat spider screen-shot-01 of game error (643.08 KB, image/png)
2011-09-03 02:53 UTC, Peter Adderley
Details
kpat spider screen-shot-02 of game error (648.32 KB, image/png)
2011-09-03 02:54 UTC, Peter Adderley
Details
kpat spider screen-shot-03 of game error (635.58 KB, image/png)
2011-09-03 02:55 UTC, Peter Adderley
Details
kpat spider screen-shot-04 of game error (563.84 KB, image/png)
2011-09-03 02:56 UTC, Peter Adderley
Details
kpat spider screen-shot-05 of game error (574.97 KB, image/png)
2011-09-03 02:56 UTC, Peter Adderley
Details
kpat spider screen-shot-06 of game error (585.85 KB, image/png)
2011-09-03 02:57 UTC, Peter Adderley
Details
kpat spider screen-shot-07 of game error (569.62 KB, image/png)
2011-09-03 02:58 UTC, Peter Adderley
Details
kpat spider screen-shot-08 of game error (573.50 KB, image/png)
2011-09-03 02:59 UTC, Peter Adderley
Details
kpat spider screen-shot-09 of game error (583.76 KB, image/png)
2011-09-03 03:01 UTC, Peter Adderley
Details
kpat spider screen-shot-10 of game error (567.10 KB, image/png)
2011-09-03 03:02 UTC, Peter Adderley
Details
kpat spider screen-shot-11 of game error (83.62 KB, image/png)
2011-09-03 03:04 UTC, Peter Adderley
Details
kpat spider screen-shot-12 of game error (111.17 KB, image/png)
2011-09-03 03:05 UTC, Peter Adderley
Details
kpat spider screen-shot-13 of game error (109.52 KB, image/png)
2011-09-03 03:06 UTC, Peter Adderley
Details
kpat spider screen-shot-14 of game error (159.61 KB, image/png)
2011-09-03 03:07 UTC, Peter Adderley
Details
Saved kpat spider game with possible solver error (4.86 KB, application/octet-stream)
2011-09-14 23:01 UTC, Peter Adderley
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Peter Adderley 2011-09-03 02:45:24 UTC
Version:           3.5.1 (using KDE 4.6.5) 
OS:                Linux

Please see kpat spider game error screen-shots for details.

Reproducible: Didn't try

Steps to Reproduce:
I'm not sure if it can be easily reproduce -- but certainly not impossible. See attached screenshots.

Actual Results:  
At an earlier point in the game the kpat solver reported that the game was: winnable --> then no longer winnable --> then unable to determine if the game was winnable --> then winnable once again. An off course I won the game. Please see the screenshots for details.

Expected Results:  
At the very least the kpat solver should have been able to report earlier in the game: "unable to determine if this game is winnable" instead of reporting: "this game is no longer winnable".

OS: Linux (x86_64) release 2.6.40.3-0.fc15.x86_64
Compiler: gcc
Comment 1 Peter Adderley 2011-09-03 02:53:43 UTC
Created attachment 63324 [details]
kpat spider screen-shot-01 of game error
Comment 2 Peter Adderley 2011-09-03 02:54:32 UTC
Created attachment 63325 [details]
kpat spider screen-shot-02 of game error
Comment 3 Peter Adderley 2011-09-03 02:55:12 UTC
Created attachment 63326 [details]
kpat spider screen-shot-03 of game error
Comment 4 Peter Adderley 2011-09-03 02:56:03 UTC
Created attachment 63327 [details]
kpat spider screen-shot-04 of game error
Comment 5 Peter Adderley 2011-09-03 02:56:50 UTC
Created attachment 63328 [details]
kpat spider screen-shot-05 of game error
Comment 6 Peter Adderley 2011-09-03 02:57:39 UTC
Created attachment 63329 [details]
kpat spider screen-shot-06 of game error
Comment 7 Peter Adderley 2011-09-03 02:58:32 UTC
Created attachment 63330 [details]
kpat spider screen-shot-07 of game error
Comment 8 Peter Adderley 2011-09-03 02:59:52 UTC
Created attachment 63331 [details]
kpat spider screen-shot-08 of game error
Comment 9 Peter Adderley 2011-09-03 03:01:30 UTC
Created attachment 63332 [details]
kpat spider screen-shot-09 of game error
Comment 10 Peter Adderley 2011-09-03 03:02:56 UTC
Created attachment 63333 [details]
kpat spider screen-shot-10 of game error
Comment 11 Peter Adderley 2011-09-03 03:04:41 UTC
Created attachment 63334 [details]
kpat spider screen-shot-11 of game error
Comment 12 Peter Adderley 2011-09-03 03:05:34 UTC
Created attachment 63335 [details]
kpat spider screen-shot-12 of game error
Comment 13 Peter Adderley 2011-09-03 03:06:35 UTC
Created attachment 63336 [details]
kpat spider screen-shot-13 of game error
Comment 14 Peter Adderley 2011-09-03 03:07:09 UTC
Created attachment 63337 [details]
kpat spider screen-shot-14 of game error
Comment 15 Stephan Kulow 2011-09-05 08:01:02 UTC
I don't need any kind of screenshot, but a save game
Comment 16 Peter Adderley 2011-09-14 23:01:29 UTC
Created attachment 63652 [details]
Saved kpat spider game with possible solver error

Here is a saved kpat spider game (everything same as before) except this is a different kpat spider game (game # 55382139). Again the kpat spider solver reports the game as winnable but any move (or two maximum) result in the game not winnable.

Sorry I was unable so far to reproduce this situation in kpat spider (game # 91996232) as earlier posted.
Comment 17 Peter Adderley 2011-09-15 03:43:09 UTC
Here is a saved KPatience Spider game with possible solver error.

Attached is a saved KPatience Spider game (all other information same
as before) except this is a different KPatience Spider game (game #
55382139). Again the kpat spider solver reports the game as winnable
but any move (or two maximum) result in the game not winnable.

Sorry about the delay - I was unable so far to reproduce this
situation in kpat spider (game # 91996232) as earlier posted.

Please let me know if you need me to provide any more information.

P.E.A.
Comment 18 Peter Adderley 2011-09-16 20:40:02 UTC
I'm changing the status of this bug report to unconfirmed.
Comment 19 Parker Coates 2011-11-06 00:03:14 UTC
Thanks for the saved game, but newer versions of KPat seem to correctly identify the saved game you attached as unwinnable, so I'm going to close this bug as WORKSFORME. There is a known issue with the Spider solver incorrectly labelling states a unwinnable. See bug 281383.