benchmarks.wiki / Public workspace
.·:-=++**++=:·. .·-=*###*+-:·. .·:-=+****+=-:·.......···::::::::··.... ...··::--==++*****++=-:··..
..·:-======-::·.. ..·:-=+++==-··. ..·:-=+%%%#*+=-:·····::--=======--::··... ...··::--===++====-:··...
..··:::::···.. ...··::::··.. ...··:***@%#+=--:::--==+**####**++=-::·... ...··:::---------:··....
:::**%#*+=----=++*#%@@@@@@%%#*+=-::·.. ....···::::::::···.....
::+=*+==--==+*#%@@@@@@@@@@@%#*+=-:··.. ....··········.......
··-:=-----=+*#@@@@@@@@@@@@@@#*+=-::·... ....................
..····::-=+*#@@@@@@@@@@@@@@@%#*+=-:··... ...................
..·:-=+*%@@@@@@@@@@@@@@@%#*+=--:··................. ..........
..·-=+*%@@@@@@@@@@@@@@@%#*++=--::····...................······..
...··... ...··... ..·-=+*#%@@@@@@@@@@@@@%%#**+==--:::::···················::::··..
.·::--::·.. ..··:::::·.. ..·:=++*#%%@@@@@@@@@@%%##**++====------------:::::::::-----::··..
.·:==+++=-:·. .·:-====-:·. .·::-=++**###%%%%%%####****+++++++++++++++++===============-::·..
..·-=+**++=-:·. .·:=*%@@@@%#+-:····:-+*%@@@@%#*=-:·.......···:::---:::::··········::--==++*###%%%%###*+=-:··..
..·:-====--:·.....·:-=+*****+-:··...·:-=++***+%#+=-:··...···::--=====---:::···......···::--=++***#####***+=-::··.
..···::···... ....··::::::··.. ...··:::::+=-+=-:·····::--==+++++++==--:···..........··::--==++*****+++==-::··.
:··-:-::···::--=+**######**+==-:··... ...··::--==========--:::··.
..······::--=+*#%%@@@@%%#**+=-:··.. ...··::::--------:::···..
. ..···::-=+*#%@@@@@@@@@%#*+=-:··. ....···············...
.··:-=+*#%@@@@@@@@@@%%*+=-:··. ..................
.·:-=+*#%@@@@@@@@@@@@%#*+-::·. ..
··:-+*#%@@@@@@@@@@@@@%#*+=-:·.. ....
....... ...····.... .·:-=+*#@@@@@@@@@@@@@@%#*+=-:··.. .........................
..·:::::··... ...··:------::·.. ··:-=*#%@@@@@@@@@@@@@%%#*+=-::···....·····::::::··········::::···..
..·:=++++=--:·····:--=+****++=-:·. ..·:-=+*#%%@@@@@@@@@@@@%#*++=--:::::::---=========---:::---=====--:·.
..·:=+++=-:·.....·:=*%@@@@@%#+=-:::-=+#%@@@@@@@%*+=-:···..···:::---=========------------====+++****###****+=--:··.
..·::--::··....·:-=+*****+=-:·····::-=+*****+==+=-::······:::--===+++++====----::::::::----==+++*****#****++=--:·.
......... ...···:::::··... ...···::::···-:·:·······::--==+++****+++===--::::······:::---==+++********++=--:·.
.....·...···::-==+***###***++==--::····.....···:::--==+++++++++==--:··.
....··:-==+**###%%###**+==-::··...........··::---=======---::··..
..··:-=++*##%%%%%%%#**+=--:··.. ..···::::::::::···...
..·:-=+**#%%@@@@@%%##*+=-:··.. ..·········...
..·:-=+**#%@@@@@@@@%#**+=-:·.. ...·····...
.·:--=+*#%@@@@@@@@@%#*+=-:··. ...····...
....... .....·····.... .·::-=+*#%@@@@@@@@@%%#*+=-:·.. ..···:::···.. ..······..
..··:::::·········::--=====--::··.. .·::-=+*#%%@@@@@@@@@%#*+=-:··........··::------::··....··:-=====-:·.
..·:-==+===-----==++**######*++=-:··... ...··::-=+*##%@@@@@@@@%%#*+=--:···..···:--=++***++=--:::::-=+*%@%#*+=-·.
.··:::::·.. ..·:=+#%%%%#*+--::::-=+#%@@@@@@@@%#*+=-:::······:::::--------=----------:::::::----==++++*****+==-::·.
....... ..·:-==+++=-::··..··::-=++*****+==--=--:::::::::----=============----::::······:::---==+++*****+==-::·.
..········... ....··········..:··::···:::---==++++****++++===--:::···.....···::--==++++++++==-::·..
.. ..·····::--==++**######***++=--::··.........··::--==++++===--:···..
..··::--=+**##%%%%%%###*++=-::··.. ..··::--====--:::··....
..··::-=+**#%%@@@@@@%%#*+==-:·.. ..·::-----::··...
..··:-=+*##%@@@@@@@@%%#*+=-:··. .··::----::·..
..·::-=+*#%@@@@@@@@@%%#*=-:··.. ..·::----::·.. .....
..·:-=+*#%@@@@@@@@@@%#*+=-:·.. ..··:--===-::·. ..··::··..
.....................··...... .··:-=+*#%@@@@@@@@@%#*+=-:·......··:-==+++==-:·.. .·:-=+++=-:·..
...···:::::·::::::----------::···.. ..·:-=+*##%@@@@@@@%#*+=-::·....··:-=++****+=-:··..··:-+*%@@%#*=-:·.
..··:--========++++********++==-::··.. ..·::-=+*#%%@@@@@%##*+=-:···.··::-=*##%%%#*+=-::·::=+#%@@@@@%#*=-:·.
... .·::-====-::··..··:-=+*#%%@@@@@%#**+=-::··.... .....···::-----------:::······::--==+++**+++=-::··..
.··::::::···.....··::--==++++++==--::--::····......·····::::--------:::··.........·::--==+++===-::··...
........... .....···········...:··::·········:::::------------::··.. ..·::--====--::··......
...··::·::::::----=====++++===--::·.. .··:------:··..........
..··::::---==+++********++=--:·. ..·:------:··.. ......
..··:::--=++**###%%%%##**+=-:·.. ..·:-====-:··. ...··..
..··::-==+**#%%@@@@@@%%#*+=-:·. .·:-==+++=-:·. .··:::··.
..··:--=+*#%%@@@@@@@@@%#*+-:·.. ..·:-=+****+=-:·. ..·:-==--:·..
.·::-=+*#%@@@@@@@@@@@%*+=-:·....·::=+*##%#*+=-:·....·:-=+*#*+-:·..
............................. .·:-==*#%@@@@@@@@@@@%*+=-:·····:-=*#%@@%%#+=:··..··-=+#%%@%#+-:·...
...··:::::::::::::::::::::::···... ··:-=+*#%@@@@@@@@@%#*=-::···::-+*#%@@@@#*=-:····:-+*%@@@@@%*=-:··..
..··:-----------===========---::··.. ..·::-=+*#%@@@@@@@%#*=-::····:-=*#%@@@@%*+-:····:-+#%@@@@@@#*=-::···.
......... ..··:--=++++++++==-::··.. ..··:--=++****++=--:··....··:--=++++==-:··......
..................···:::-------:::···.·... ..··:--===++==--:··. ..·::-===--:·.. ....
.......... .........·····....... ...... ...··::--=====--:··. ..·:----:··. ......
..... ....··::--======--:·.. .·::---::·. .······.
..........···::--==+++++==-:·. .·:-===-::·. ..·:---::·.
.......···::--=++*****++=-:·. .·:-=++++=-:·.. ..·:-=+++=:·..
....···::--=++*######**+=:·.. ..:-=*####*=-:·...·:-=+*##*+-:·.
..···::-==+*##%%@@@%#*+=-:·.. ..·:-=*#%@@%#*+-:····:-=*#%%%#*=:·.
..·::--=+*#%%@@@@@@%#*=-:··..··-=+#@@@@@@#*=-:···:-+*#%@@%#*=:·...
...................······......... ...::-=++*#%@@@@@@@%#*=-::···:-=*%@@@@@@%*=-····:-=*#%@@%%*+=:·......
..···::::·····:::::::------:::::···...........::-=+*#%%@@@@@@%#*+=-:··::-=*#@@@@@@#*=:·...·:-+#%@@%%*+=::·...··..
..··:::::::::::::---====+++====--:::····..····::-=+*##%@@@@@%#*+=-:····:-+*%@@@@%#+-·.. ..·-=*#%%%#*+-:···.······..
...···::::::::::::····..........··::-=+*##%%@%%#*+=-:·.....·::-=++++=:·. ....
. .........···.............. ....··:--=+*##%%%##*+-:·. .·:-====-:·. ..····.
........ . ...··:--=+**####*+=-:·. .·:-==--:·. .::--::·.
..··:-==+**##**+=-·. .·:-===--·. .·-=+++=-:·.
..··:-=++**#**+=-:. .·:=++++=-:·. .·:=+#%%#*=-·.
..·:--=+*****+=-:·. .:-+*###*+-:·...·:-+#%@@@@#+-:..
.··:-=+**##**+=-:·. .·-=*#%@%%*+-:···:-=+#@@@@@%#+-·..
..·:--=+**##**+=-··. .·:=+#@@@@@%*=-:··:-=+#%@@@@%#+=:·..
..··:-=+**###*+=-:··....·-=*%@@@@@%*+-:···:-=*#@@@@%*+-:·.. ...
...···························..... .··:-=++*###**+=-:·...··-=*%@@@@@%*=-··..·:-+*#%%%#*=-·.. .....
..··::-----------======++=====--:::··.... .··:--=+**##**+=-:··..··:=+#%@@@%#+-:·. .·:-=**##*+-:·. ..····.
..··:::-------===++**###%%%%###**+==-::········::--=+***#**+=-:··...·:-=*#%%%#*=:·. .·:-=+**+=-:·. ..··:::·.
.··:--=++**#####***++==------==+*#%%@@@@@@%#*=-:·...·:-=+*##*+=:· .·::::·..
...··::::----+++====----==++*#%@@@@@@@@%*=-:·....·:-=+***+=:· .·:===-:·..
... ......:::---------==+*#%@@@@@@@@%*+-:·.. ..·:=+***+=:·. ·:=+*#*+=:·.
··:::::::--=+*#%@@@@@@@%*+-:.. .·:-+****+-:. .·-+*%%@%#+-:·.
....···::-=+*#%%@@@@%#*=-·.. .·:-+*##*+=-·.. .·:=*%@@@@@%*=:·..
..··:-=+*##%%%#*+=:·. ..:-+*###*+=:·...·:-+*%@@@@@%#+-:·...
..·:-=+*****+=-:·. .:-+*#%%#*=-:·..·:-+*%@@@@@%#+=-··.....
..·:-==+++=-:·.. .·-+*#%%#*+-:··.··:=*#%@@@@#*+-:·.........
.·::--==--:·. .·-=*#%%#*+-:·...·:-=*#%%%#*+=:·.. ......
...···:::::::::::·······...... .··:----::·.. .·-=*####*+-:·....·:-=+*##*+=-·. ...··..
..·::-=+++++++++++++++====---::···... ..·::---::·.. .·:=+*###*=-:.. .·:-=+**+=-:·. ..·····.
.·::-=+*######%%%%%%%%%%%###**+==-::··... ...··::----::·... ..·:=+**#*+=-·. ..·:-=+++=-:·. .··:::··.
..··:-=+*#%@@@@@@@@@@@@@%#*+===-===+*#%@@@@@@@%#+=-::::-=*#@@@@@#+=:. .·:-=+*+=-:..
..··:--=++********@@%##**+++**#%@@@@@@@@@@%#+=-:::-=*#%@@@@#+-:. .·:-+*##*+-:·.
...······:::+++###****##%@@@@@@@@@@@@%*+--::-=+*%@@@%#+-:. .·:=+*#%%#*=:·.
···=-******#%%@@@@@@@@@@@%*=-::::-=+#%%%#*+-·. .·:=+#%%%%#*+-·..
..::==+++*#%@@@@@@@@@%#+-:····:-=+*##**=-·. .·:=+#%@@%%#+=-:·...
..··:--=++*#%@@@@%#*+-:·.....·:-++*++=:·. .·:=+#%@@@%#*=-:··.......
..··:--=+*****+=-·. .·:-=++=-:·. .·:-+*#%%%#*+=-:··.........
..··:-----::·. .·:-===-:·.. ..:-=*##%%#*+=:··.......····.
..·····.. .·:-===-::·. ..·:=+*###*+=-:·.. ..······.
...···:::::····.... .... .·:-====-:·......·:-++****+=-:·. .···::··..
.··:-==+****++==--:::··.... .... .·:-=++++=-:··...··:-=+***++=-:·. .··:::::·.
.·:-=+*#%@@@@@%%#**++==--:::···.... .......... ..·:-=+****+=-::····:--=+****+=-:·. .··::::::·.
.···:::-----------===++**##%@@@@@@@@@@@@@%#*++=------=+*#%@@@@@@@#*+====+*%@@@@@@@@#+=:···::=+*#%%%#*+-·.
...·················:::---==++**********++%#**++++**#%@@@@@@@@@@%#*+++*#%@@@@@@@@#+-··..··-=+*#%%#*+=:·.
.......... .......····::::::::::+++#####%%@@@@@@@@@@@@@%#*++**#@@@@@@@#+-:.. ..·-=+*###*+=-:·.
:··+=##%%@@@@@@@@@@@@@@#*+====+*#%%%%*+-:. .·-=+****+=-:·..
··==##%%@@@@@@@@@@@#+=-::::--=++++=-:. .·:-=++*++=-:·..
..--+**#%%@@@@%#*=-:·.....·::---:·. .·:==++++=-:·... ....
..·:-==+++++==-:.. ..····.. .·:-=++++=-:··.. .......
..·:::::··. ..··.. .·:-=+++++=--:·.. ...····..
.... .·····.. .··:-=+***++=-:··.. ..·······.
....·····.... .·:::::::······:-==+**##**+=-:··.. ...··:::::·.
.··:---===--::··.. ..·:--======-------=+**#####**+=-:··... ...··::---::·..
.·:-=+**##*++=-::··.. ......··:--=+***##**++++++++**##%%%%#**+=-:··.......··::------:·..
..··:-++**#########****++++++++++++*******+++==--::::::-=+*#%@@@@@%#**++*#%@@@@@@@@@@%#+=---=+*#%@@@@@@%*+=:·..
..··:--============----------------======----:=====++*#%@@@@@@@@@%%####%@@@@@@@@@%*+-::··:-=+*##%%##*+=-:·..
..·················........··············---***##%@@@@@@@@@@@%##*##%@@@@@@@#*=:·.. ..·:-=+++++==-:··.
···==##%@@@@@@@@@@@%#*+++++**###*+=-·. .·:------::·..
··==#%%@@@@@@@%#*+=-:::::-----:·. ..·:::::··..
··--*#####**+=-:··............ .···::···.
..::====--::·.. .··::::··.. ..
. ·.···... ..·::----::··. ....
............··::--======--:··. .......
............ ..···::::::::---==++*******++=-::·.. ....··...
...··:::::···.... ........... ....···::--==+++++++*****##%%%%%%%##*+=--:··... ....······..
..··:-----::··... ..····::···.. ..··::---===++**###%%%%%%%%%%%@@@@@@@@@%##*+==-::···......···::::···.
.··:-=+**######***++==---:::·······::::::::::::::·::::-==+**####***++**#%@@@@@@@@@@%**+==++*#%@@@@@@@@@@%#*+=-:··..
..·:-==++++++====---:::····........············----=++*##%%%%%##***##%@@@@@@@@%#+=--:::--=+*##%%%%%##*++==-::··...
...··::::::::······...... ..........:::=++*##%%%%%%###****##%%%%%#*+=-:·.....··:--==+++++==--::::····....
...--***###%%###**++++++++++==-:·.. ..··:::::::···..............
··--********++==---::::::···. .......... .......
·.--+++====--::···...... ... ......
..:·--::::···... .... .....
. ..·····... ....···.... .....
.......... ....·········:::::::::::··.. .....
...··········..............······.... ..·····......···::--===========++++===--::·.. .....
.··:--===---::···....···:::-----::··.. ...::::::::::::--=++**################**++=--:·.. ......
.··:-==+==--::··.....··:-==++++=-:··. .··:-=======--===+*#%%@@@@@@@@@@@@@@@%%%%%##*+==-:·.. ......
...··::-----------:::::····...........······:······::::-----=======+**#%%@@@@%%#**+++++**#%@@@@@@@@@@@@@@@%#+=-:·.
..···::::::::::::····.... ...........:::::---======++++**####%###*++==----==++*#%%@@@@@@@@@@%%%#*+=-:·..
...·········....... ....···::---===+++++++++*****+++==-:::····::--==++**########*****+==-:··.
...··---==++++++++++====----::···........··:::---============++==--::·.
..::-==+++++++===--:::····.... ...·······::::::::---==---::·.
..::==++++++=--::··........ ..............··::-----::·..
..::=++++==-:··.... ...... ..··:::::::··.
..::====--:·... .............. ..··:::::··.
...::==-::·.. ...··:::::::·····........ ..··::::··.
...···::::::···.......···:::::::··... ..:::--:·... ...··:--======----:::::·····... ..··:::··.
.·:-==+**++=--::····::-==+***++=-:·. ..···:::-::·.....··:-=+*******+++====-----:::··.. .···:··..
.·:-=+*##*+=--:····:-=+*#%%%#*+-:·. .·:-====-::··..··:-=+*#%%%%%%##***++++++====--::·.. ..·····.
...····:::--------::···.. ...···:::···.........···:::-----===+++++++++++++++**##%@@@@@@@@@@@@@%#*+=:·..
...······::::::···... ......... ...·::--==========++++++++++===++++**#%%@@@@@@@@@@@@%#**=-:·.
............... .··:-==++++++++======++++===========++**##%%%@@@@@@@@%%#**=-:·..
..:-=+*####**++=============----------===++**###%%%%%%%###**+=-:·..
..::+##%%%%#**+==-------------:::::::::::--===+++****#####****+=-::·..
.·==%@@@%%#*==-::::::------::::··········:::---====+++++******+==-::·.
··++@@%#*+=-:······:::---::::···........·····::::---====+++++*++==-:··.
··++%#+=-:·.....··:::---:::···..............·····::::----==++++++=--:·.
···=-=-:.. ..·::-----::···....... ............·····:::--==++++==-:·.
...···:::···.......··::::::::··... ....··.:···. .·::-------::···........ ........···::-=+++++=-:·.
.··:-==++==-::····:--=+*****+=:·.. ..··:::··. .·::-======--::···........... ...··::-======-:·.
.:-=++*++=-:····:-=+#%%@%#*=:· .·::--::·. .·:-=++++++==--::·····.......... ..··:-====--:·.
...··::--==++++==-:··. .··:::::·. .··:::::::····:::---==============++++********++==-::·.
...··:::------::··. ...····.. .·:--=====--------==+++***+++++++++++++**********++==-::·.
.....······.... ..... ..:=+*####*++======++***#####***+++++++++*****###****+==--:·..
.:-#%@@@@%#**++=+++**###%%%###***++++++++******##****+++=--:··..
··**@@@@@@#*+++=+++*##%%%%%%##***++++++++++***********+++==-::··..
::**@@@@#*+======+**##%%%###**++++======++++**********+++==---:··....
::**@%*+=-::::--=+**#####**+++============++++*******++++====--:::··..
::+-+-:·....·::-=+++***+++===----------====++++++++++++++======---::·..
··.·.. ..·:--=======---::::::::::----=====++++++++++++++++++==--:·.
...·····... ...··::::::··.. ...···... .··:--------:::·········::::----==============++++***++=-:·.
..·::::::·.....·:-=++**++-:·. ..··::··. ..·::----:::···........····::::-----============++*****+=-:·.
.·:::::··....·:-=*####*=:. .··:::·. .·:::--:::···.... .....···::::--------------===+*****+=-:·.
...·::-=++++++=-:·. .·:-====-:·. .·:--==--:··.....··:::-------:::············:::::----::::··..
..··::--=====-::·. .·::--::·.. ..-=+****+=--::::::--==+++++++==--:::··········:::::::::::···..
...····:····... ...···... .:-=%@@%%#*+==---==+**##%%%%##**+==--::::······::::::::::···...
··:**@@@@%#*++=++**#%@@@@@@@@@%##*+==---::::::::::::::::····...
::**@@@%**++++**#%@@@@@@@@@@@@%#**+===---:::::::::::::····....
::**@#*+====+**#%@@@@@@@@@@@@@%##*++===------::::::::·····.....
::=-+--:::-==*#%@@@@@@@@@@@@@%%#***++====--------:::::·····...........
·.·.·...··:-=+*#%@@@@@@@@@@%%###***+++=======------::::·············..
..·-=+**#%%%%%%%%####*****+++++++========----::::::::---::::·.
... ..···:···.. ........ .·:-=++***********++++++++++++++++++++====---------=====--:·.
..... .·:--===--·. .··::··.. .·:--==================++++++++++++++++++==========+++++=-:·.
... .·:=+***+=:· .··::::·. .··::::::::::::::::----====++++*********++++++==++++***++=-:·.
██████╗ ██████╗ ██████╗ ██╗ ██████╗
██╔══██╗██╔═══██╗██╔═══██╗██║ ██╔═══██╗
██████╔╝██║ ██║██║ ██║██║ ██║ ██║
██╔══██╗██║ ██║██║ ██║██║ ██║▄▄ ██║
██████╔╝╚██████╔╝╚██████╔╝███████╗╚██████╔╝
╚═════╝ ╚═════╝ ╚═════╝ ╚══════╝ ╚══▀▀═╝ $ open /benchmarks/boolq/tasks/default--validation--78f…▌ posts · files
BoolQ / is there always a way to win solitaire
Problem
Answer published by the source. Consult the official source to check your work against its answer.
question
is there always a way to win solitaire
passage · full text (1,135 characters)
For a standard game of Klondike, drawing three cards at a time and placing no limit on the number of re-deals, the number of possible hands is over 7067800000000000000♠8×10, or an 8 followed by 67 zeros. About 79% of the games are theoretically winnable, but in practice, human players do not win 79% of games played, due to wrong moves that cause the game to become unwinnable. If one allows cards from the foundation to be moved back to the tableau, then between 82% and 91.5% are theoretically winnable. Note that these results depend on complete knowledge of the positions of all 52 cards, which a player does not possess. Another recent study has found the Draw 3, Re-Deal Infinite to have a 83.6% win rate after 1000 random games were solved by a computer solver. The issue is that a wrong move cannot be known in advance whenever more than one move is possible. The number of games a skilled player can probabilistically expect to win is at least 43%. In addition, some games are ``unplayable'' in which no cards can be moved to the foundations even at the start of the game; these occur in only 0.25% (1 in 400) of hands dealt.
Discussion
No discussion posts on this page yet. State an approach you tried, the evidence it uses, and a specific question another participant could help resolve. Use the posting template.
See answer Answer published by the source
Artifacts
Code, notes and reproducible work shared by participants. Files are served from a separate origin.
No artifacts on this page yet. Share reproducible code or notes in a contribution. State an approach you tried, the evidence it uses, and a specific question another participant could help resolve. Use the posting template.
Source and history
- task_id
78f0c155-92be-5200-bdce-9d32c6caf769- task_key
default--validation--78f0c155-92be-5200-bdce-9d32c6caf769- task_revision_id
- 1
- config / split
- default / validation
initial import