| Summary: | Solver wrongly reports "not winnable" on spider | ||
|---|---|---|---|
| Product: | [Applications] kpat | Reporter: | Heinrich Seebauer <hsx253tmp758> |
| Component: | solver | Assignee: | Stephan Kulow <coolo> |
| Status: | RESOLVED WORKSFORME | ||
| Severity: | normal | CC: | hsx253tmp758, kde-games-bugs-null, petzke |
| Priority: | NOR | ||
| Version First Reported In: | 3.6 | ||
| Target Milestone: | --- | ||
| Platform: | openSUSE | ||
| OS: | Linux | ||
| Latest Commit: | Version Fixed/Implemented In: | ||
| Sentry Crash Report: | |||
| Attachments: |
Game described as unwinnable.
added another one, just to support analysis |
||
Togehter with a playability upgrade for spider (see Bug report 248859) I also submitted a rewrite of large portions of the spider specific part of the solver, that - according to my tests - fixes this issue. After loading the savegame contained in this issue, the patched kpat reports that games correctly as "solvable". Created attachment 91676 [details]
Game described as unwinnable.
Here is another game marked as unwinabble. Moving the 3♡ to the 4♧ marks the game as unwinnable. I have not tested this with the patched version.
Created attachment 94650 [details]
added another one, just to support analysis
load kngw_1.kpat => "game is winnable" ("Spiel kann (noch) gewonnen werden", in german)
move king of spades to empty slot => "cannot win the game" ("Spiel kann nicht mehr gewonnen werden")
[this is kngw_2.kpat content]
played some moves, resulting in kngw_3.kpat, game still "unwinnable"
move 5 of clubs [3] to 6 of diamonds [1], and the game is "winnable" (see kngw_4.kpat)
Thank you for reporting this bug in KDE software. As it has been a while since this issue was reported, can we please ask you to see if you can reproduce the issue with a recent software version? If you can reproduce the issue, please change the status to "CONFIRMED" when replying. Thank you! Dear Bug Submitter, This bug has been in NEEDSINFO status with no change for at least 15 days. Please provide the requested information as soon as possible and set the bug status as REPORTED. Due to regular bug tracker maintenance, if the bug is still in NEEDSINFO status with no change in 30 days the bug will be closed as RESOLVED > WORKSFORME due to lack of needed information. For more information about our bug triaging procedures please read the wiki located here: https://community.kde.org/Guidelines_and_HOWTOs/Bug_triaging If you have already provided the requested information, please mark the bug as REPORTED so that the KDE team knows that the bug is ready to be confirmed. Thank you for helping us make KDE software even better for everyone! This bug has been in NEEDSINFO status with no change for at least 30 days. The bug is now closed as RESOLVED > WORKSFORME due to lack of needed information. For more information about our bug triaging procedures please read the wiki located here: https://community.kde.org/Guidelines_and_HOWTOs/Bug_triaging Thank you for helping us make KDE software even better for everyone! |
Playing a game of spider. In some situation the solver reports "game not winnable" ("spiel kann nicht gewonnen werden" - in german), but afte the next move, the solver reports "game winnable" ("spiel kann (noch) gewonnen werden"). Reproducible: Didn't try Steps to Reproduce: 1. load attached saved game 2. move six of hearts (stack 6) to stack 9 3. win the game Actual Results: the solver shows "game winnable" Expected Results: the message before the move should be "game is winnable" <!DOCTYPE kpat> <dealer options="4" started="1" number="285687106" moves="208" id="17" data="25"> <pile z="60" index="1"/> <pile z="48" index="2"/> <pile z="36" index="3"/> <pile z="24" index="4"/> <pile z="12" index="5"/> <pile z="20" index="6"> <card faceup="1" value="1" suit="0"/> </pile> <pile z="20" index="7"> <card faceup="0" value="2" suit="1"/> <card faceup="0" value="5" suit="1"/> <card faceup="1" value="13" suit="3"/> <card faceup="1" value="12" suit="2"/> <card faceup="1" value="11" suit="3"/> <card faceup="1" value="10" suit="1"/> <card faceup="1" value="9" suit="1"/> <card faceup="1" value="8" suit="1"/> <card faceup="1" value="7" suit="1"/> <card faceup="1" value="6" suit="1"/> <card faceup="1" value="5" suit="1"/> <card faceup="1" value="4" suit="1"/> <card faceup="1" value="3" suit="1"/> <card faceup="1" value="2" suit="1"/> <card faceup="1" value="1" suit="1"/> <card faceup="1" value="10" suit="3"/> <card faceup="1" value="6" suit="1"/> <card faceup="1" value="13" suit="2"/> <card faceup="1" value="12" suit="3"/> <card faceup="1" value="11" suit="3"/> <card faceup="1" value="10" suit="3"/> <card faceup="1" value="9" suit="0"/> <card faceup="1" value="8" suit="3"/> <card faceup="1" value="7" suit="3"/> <card faceup="1" value="6" suit="3"/> <card faceup="1" value="5" suit="3"/> <card faceup="1" value="4" suit="3"/> <card faceup="1" value="3" suit="3"/> <card faceup="1" value="2" suit="3"/> <card faceup="1" value="1" suit="3"/> </pile> <pile z="20" index="8"> <card faceup="0" value="8" suit="0"/> <card faceup="1" value="3" suit="2"/> <card faceup="1" value="2" suit="2"/> <card faceup="1" value="1" suit="2"/> <card faceup="1" value="11" suit="0"/> <card faceup="1" value="4" suit="2"/> <card faceup="1" value="3" suit="3"/> <card faceup="1" value="2" suit="3"/> <card faceup="1" value="1" suit="1"/> <card faceup="1" value="4" suit="1"/> <card faceup="1" value="3" suit="1"/> </pile> <pile z="20" index="9"> <card faceup="0" value="10" suit="0"/> <card faceup="0" value="13" suit="3"/> <card faceup="1" value="5" suit="0"/> <card faceup="1" value="11" suit="1"/> <card faceup="1" value="7" suit="3"/> <card faceup="1" value="6" suit="3"/> <card faceup="1" value="5" suit="3"/> <card faceup="1" value="4" suit="0"/> <card faceup="1" value="3" suit="0"/> <card faceup="1" value="2" suit="0"/> <card faceup="1" value="1" suit="3"/> </pile> <pile z="20" index="10"> <card faceup="1" value="4" suit="3"/> </pile> <pile z="20" index="11"> <card faceup="1" value="9" suit="3"/> <card faceup="1" value="8" suit="1"/> <card faceup="1" value="7" suit="2"/> <card faceup="1" value="6" suit="2"/> </pile> <pile z="20" index="12"> <card faceup="1" value="13" suit="1"/> <card faceup="1" value="12" suit="1"/> <card faceup="1" value="11" suit="1"/> <card faceup="1" value="10" suit="1"/> </pile> <pile z="20" index="13"> <card faceup="1" value="13" suit="1"/> <card faceup="1" value="12" suit="1"/> </pile> <pile z="20" index="14"> <card faceup="1" value="13" suit="0"/> <card faceup="1" value="12" suit="0"/> <card faceup="1" value="11" suit="2"/> <card faceup="1" value="10" suit="2"/> <card faceup="1" value="9" suit="2"/> <card faceup="1" value="8" suit="3"/> <card faceup="1" value="7" suit="1"/> </pile> <pile z="20" index="15"> <card faceup="0" value="12" suit="3"/> <card faceup="0" value="9" suit="1"/> <card faceup="1" value="9" suit="3"/> <card faceup="1" value="8" suit="2"/> <card faceup="1" value="7" suit="0"/> <card faceup="1" value="6" suit="0"/> <card faceup="1" value="5" suit="2"/> </pile> <pile z="0" index="16"> <card faceup="1" value="13" suit="2"/> <card faceup="1" value="12" suit="2"/> <card faceup="1" value="11" suit="2"/> <card faceup="1" value="10" suit="2"/> <card faceup="1" value="9" suit="2"/> <card faceup="1" value="8" suit="2"/> <card faceup="1" value="7" suit="2"/> <card faceup="1" value="6" suit="2"/> <card faceup="1" value="5" suit="2"/> <card faceup="1" value="4" suit="2"/> <card faceup="1" value="3" suit="2"/> <card faceup="1" value="2" suit="2"/> <card faceup="1" value="1" suit="2"/> </pile> <pile z="14" index="17"> <card faceup="1" value="13" suit="0"/> <card faceup="1" value="12" suit="0"/> <card faceup="1" value="11" suit="0"/> <card faceup="1" value="10" suit="0"/> <card faceup="1" value="9" suit="0"/> <card faceup="1" value="8" suit="0"/> <card faceup="1" value="7" suit="0"/> <card faceup="1" value="6" suit="0"/> <card faceup="1" value="5" suit="0"/> <card faceup="1" value="4" suit="0"/> <card faceup="1" value="3" suit="0"/> <card faceup="1" value="2" suit="0"/> <card faceup="1" value="1" suit="0"/> </pile> <pile z="28" index="18"/> <pile z="42" index="19"/> <pile z="56" index="20"/> <pile z="70" index="21"/> <pile z="84" index="22"/> <pile z="98" index="23"/> </dealer>