benchmarks.wiki / Public workspace
..·········::-----:··. ..··::::···... ...··::-------::··.. ...........··:-=+#%%#*+-:·.
.··········::------:·.. ..·······... .·::-=+++*+++=-::·.. ..···········::-=+*###*+-:·.
.··:::·····:::--==--:·.. ..·······.. .·-=+*#%%%%%%#*+=-:·.. ..··::-----::::--=+*##**+-:·.
.··:::::····::--====-:·.. ..········.. .·-=+#%@@@@@@@@%#*+-:··......··:-========----=++***++-:·.
.··::::::···::--=====--:·.. ...··::::::··.. .·:-=*#@@@@@@@@@@@@%*+=:··....··:-=++*****++====++***+=-:·.
.··::::::····:--=+++++=--:··.....···::------::··........··:=+*%@@@@@@@@@@@@@@#*+-:···.··::-=+*#%%%##**+++++**++=-:·.
..·::::::····::-=++***++==-:::···:::--=======---::::::::-==+*%@@@@@@@@@@@@@@@%*+=-:·····::-+*#%@@@@%%#**+++*++==-:·.
..·::::::·····:-==+*####**++==-----===+++++++++========++**#%%@@@@@@@@@@@@@@%#*+=-:······:-+*#@@@@@@@%%#****++==-:·.
..··:::::······:-=+*#%%%%%##**++++++++++********++++****###%%@@@@@@@@@@@@%%##*+=-::··..··:-=*#@@@@@@@@@%#***++=--:·.
.··:::::··..··:-=+*#%@@@@@@%%###****+++++++++++******####%%%%%%%%####***+++==--::··....··:=+#%@@@@@@@@@%##*+==-::·.
..··::::··...··:-=+#%@@@@@@@@@@%##**+++=========+++***########**++===----::::::··.......·:-=*%@@@@@@@@@@%#*+==-:··.
..··::::··....··:-+*#@@@@@@@@@@@%#**+=--::::::::--==++***#***++==-::···............ ..·:-+#%@@@@@@@@@@%#+=--:··.
...... .········......··:--=+++*+++=-:·. .·:-=+****++=-:·. ..······::-=+*#@%#*+=:·.
.····.. ..·····... ...·::--====--:·. .·-=+*#####*+=-:. .···::::::--=*#%%#*+=-·.
.·····. ...··.... ..··::::::··.. .·:-+*#%%@%%%#*=-:·. ..··:::::::--=+*#%#*+=-·.
.··::··. ...···.... ....······.. ..·:=+*#%@@@@@@%#*+-:·. ..·::--------=+*###*+=-·.
.·::::··. ..······.... .......·...... ..·:-=+*#%%@@@@@@@@@%*+=:·. .·::--===----==+****+=-:.
.·:::::··. ..··:::::····..........···........···::--=++*#%%@@@@@@@@@@@@%*+=-·.. ..·:-===+=======++**++=-·.
.·::--::·.. ..··:--------:::::·············::::--=++*##%%@@@@@@@@@@@@@@@@%#*+=-:·......·:-==++++++=====++++=-:·.
.··:---::·.. ..··:-==++***+++===---::::::::::--==+**#%@@@@@@@@@@@@@@@@@@@@@%%#*+=-:··...··:-=+******++=======--:·.
..·:----::·......·:-=+*##%%%%%%##**+==--:::::::--=+*#%@@@@@@@@@@@@@@%%%%%%%%%%##**+=-::····:-=+*######*++====---::·.
..·::----:··....··:-=*#%@@@@@@@@@@%#*+==--:::::--=+*#%@@@@@@@@@@@@%##***++********++=-::::::-=+*#%%%%%#*++==---::··.
..·::---::··..··::=+*%@@@@@@@@@@@@@%*+=-::·····::-=+*#%@@@@@@@@%%#*+==----==+++++++==--:::-==*#%@@@@@%#*+==--::··..
..··::--:::·····:-=+*%@@@@@@@@@@@@@%#+=-:·......··:-=+*#%%@@@%%#*+=--:····::--==+++==------=+*#%@@@@@@%#*+=-::···..
..... ..·:--=============+++*******+=-:·.. .·:-==+***++=-:·. .·:::--:::::--=+***+=-:·.
..... ..·::----------------==----::·.. ..·:--=++++++=-:·. ..·:---------==+***+=-:·.
...... .··:::::::::::::::·····... ..··::--==+++++==-:·. .·:--===----==+***+=-:·.
...·.. ..··::::::::····.... ...··:::---===+++++++=--:·. .·:--=========+**++=-:·.
..···.. .··::::::::···.. ..·::-===++++++++++****++=--:.. .·:-===++====++*+++=-:·.
..····. .··::------::··.. .·:-==+*##%%%%####*********+==-:·. .·-==++++++++++++==-:·.
..·····. .·:--=+++++==-::·.. .··:-+*#%@@@@@@@@@%%###*******++=-:·. .·:==+++++++++++===-:·.
..··::··. .·:=+**#####*++=-:··... ...·:-=+*#@@@@@@@@@@@@@%###********+=-:·. .·:-=+****+++++===--:·.
..··::::·. .·:=+*#%@@@@@@%#*+=-::······::-=+#%@@@@@@@@@@@@@%%#**********+=-:·.. ..·:-=+*****+++==---:··.
..··:::::·.. ..·:=+*%@@@@@@@@@@@%*+=-::····::-=+*#@@@@@@@@@@@@@%##*******###**+=-:·.. ...·:-=+*****+++=--:::··.
.··:::--::··.....·::=+*%@@@@@@@@@@@@@%*+=--::··:::-=+*#%@@@@@@@@@@@%#*++++++**####*+=-:·....··:-=+*###**++=-::···..
..··::---::::··:::-=+*#@@@@@@@@@@@@@@%#*==-::·····::-=++*#%@@@@@@%%#*++====++**####*+=-::····:--=+*####*++=-::··..
.··:::::···.···:--=+**##%%%%%%%%###**++=--:··... .....···::-==+++++=--:·. ..·::::::······:-=====-:·.
..··:···.. ..··:-=++*###%%###**+==-:··.. ......·····:::--=====-::·. ..·::---:::····::--==--:·.
..·····.. .·:-==+**###**++=-:·.. ..·············:::------:··. .·::------::::::-----:··.
..··... .·:-==++***++=-:·. .··::-----:::·····::::--::··. .·::-=====--::::---:::·..
...... .·:-=+++++==-:·. .·:-==++++==--:::···::::::::·.. .·:-=++++==---:-::::··..
...... .·:-=+++++==-:·. ..·:-++*####**+=--:::··:::::::··. .·:-=++*+++==---::::··..
..... .·:-=++****+==-:·.. .·:-=+*#%@@@@%%#*+=--:::::::::::··. .·:-=+****++==---::···..
..... .·:=+**#####**+=--:···...···:-=+*#%@@@@@@@@%#+==-::::::---::·.. ..·-=+**##**++==-::··...
...... .·:-+*#%%@@@@%%##*+==---:::---=+*#%@@@@@@@@@@%#*+=--::------::·.. .·:-+**###**++=-::··..
........ ..·:-=+*#%@@@@@@@@@%%##**++======++**#%@@@@@@@@@@%#*+=------===--:··. .·:-=+*####**++-::··..
.....·····...····::-=+**#%@@@@@@@@@@@@%%##***++++=+++**#%@@@@@@@@@@%#*+==---======-:··. ..·:-+**####**+=-:··..
....···:::::---==++**##%%@@@@@@@@@@@@%%%%###**++======++*#%@@@@@@@@%#*++======++++=--:·......·:-=+**###**+=-:·...
.·:-=+***+=-::····:--=+#%@@@@@@@@@@@%#*=-:·. ..··:::::::::::::--=++****+=-:·. ..··········::-==++==-:·.
·:-=++++=-:··....··:-=+*#%@@@@@@@@%#+=-·. ..··:::::::·····::--=+++++=-:·.. ..··::::······::----::·.
.·:-====-:·.. ..·:-=+*#%@@@@%#*+=-·. .··:::-:::········:-==+++==-:·. ..·:::::::······::::··..
..·::---:·.. .·:-=++**##**+=-:·. .··::---:::··....··::-=====-:·.. .··::---:::·········...
..······. .·::-==+++==-::·. .·::------:··......··:--===-::·.. ..··:------::····......
....... ..·::--===---::··.. ..··:--====--:··......··:--==--:··.. ..··:--====--::··...
..·::---===----:::···.......··::--==+++==-:··.. ..··:-----::·......··:-===+===-::·...
..··::--====+++++====---:::::::---=+++*+++=-:·... ...·::-----:··.....··:-==+++++=--:·..
..···::--===+++***######***++===--===+++*****+=-:·......··:------:··....··:-==++**++==-:·..
...···::----====++++**###%%@@@@@@%%#**+++==+++**####*+=-:··.....·::-----::···..··:--=++****++=-:·...
..··:--==++**************##%%@@@@@@@@@@%##*++++++**#####*+=-:··....·::--==--::·······:-==+*****++=-:·...
..·:--=+*##%%%%%%%###*******##%%@@@@@@@@@@%#**++++++**##%%#**+-::··.··::--====-::······::-==+*****+=-::·..
.·:-=+*#%%*+=-:·····::-=*#%@@@@@@@@@@@#*+-:·.. .··:-==++++===--:::--==++*++=-:·. ..·:-===+======+++===-::·.
.·:-=+*#%%*+=-::·····:--=+*#%@@@@@@%%#*=-:·.. .·::-======--:::::--==+++++=-:·. .··:-=======------:::··.
.·:-=+**##*+=-:···..···::-==++*****++==-:··. .··:--===---::···::-==++++=-:·.. .·::--===----:::···...
.·:-==+++=--:··........···:::-------:::···.. ..·::-----::·····::-==++++=-:·. ..·::------::··....
..··:::--::··... .....··············... ..·::---:::···.···:-==+++==-:·. ..··::----::··..
.....··..... .....·····:::···... ..··::::::···....··:-=++++==-:·.. ...·::----::··..
...··:::------::··... ..··:::::··......·::-=++++==-:·.......··::---::··..
..................··::-==++**++==-:··.......··::::··.......·:-==++++==-:··.....··:::---::··..
..···:::::::········::-==+*##%%%##*+=-:··.....···:::···... ...·:-=++**++=-:···..···:::----:::·...
.··:--========----:---==+*##%@@@@@@%#*+=-:··...···::::··... ..·::==+***++=-::·······:::------:··...
..·:-=+**#####***++=====++*#%%@@@@@@@@@%#*=-:·······:::::··... ..·:-=+*****+==-::·····:::-------::···..
.·:-=+*##%%@@@@%%##****++**##%@@@@@@@@@@@@#*=-:······::::::··......·::=++**#**+==-::······:::---==--::··.
.·:-=+*#%%#**+==------===++**###%%%%%###**++=--::·····::-==+****++=-::·····:--=====--::····::-=+*#%%@@@%%##**+=-::·..
.·:-=+*##%##**++==================+++++++===---::·······:--=++**++=--:······:--====--::·····::-=+*#%%%%%##*++=-:··..
.·::-=+**##***+++====-----:::::::::::::--------::···...··::-==++++==-:···.··::--====-::··...··:-=++*####**+==::·..
.·::--==++++======---:::···... ...···:::---:::··.....··:--==++==-:···..··::-====--:··....··::-==+++++==-:·..
..···:::::::------::::··.. ..·:::---::··.......··:--===--::··...··:--====--:··.....··::--===--::·..
...........······:····... .··:------:··.. ...·::-----::··...··::-=====--:··......···::::::··..
...······... .·::-=====-:··. ..··:----::··....··:-==++==--:··.........·····...
..·······... ..··:-==++++=-:·.. ..·::::::··....··:-==++++==-::·... .........
..··:::::::···.......··::-=+*****++-:·. ..··::::···...··:-==+***++==-:··.. .........
..··::----------:::::::--=++*##%%##*+-:·. ..··::····...··:--=+**##**+=-::·.. ...·····..
..··::--===++++++++++===++++*##%%@@@%#*+-:·. ..········..··::-=+*#####**+=-:·.. ..···::··..
......·····:::---===+++***##############%%@@@@@@@%*+-:. ..············:-=+*#%%%%%#*+=-:·.. ..··::::::·.
.··:-==+***###########**++==-------==++**######**+==-----==++++==-:·......·:-+**#####**+++++**#%@@@@@@@@@%%#+=-:·..
.·::-==+***###%%%%%%%#**+==-::·····::--=+**#####*++==-----==+++==-:··.. ..·:-=+*####**++++++**#%%@@@@@@@%#*+-:··..
..·::--==++***####%###**+=-::·... ...·:-==+*####**+==------======-::·. ..·:-=+**#***++++++++**##%%%%##**+=:··..
..··:::--=====+++****++==-:··. ..·:-=+*####*++=--:::---====--:·.. ..·:-=+*****+++=======++++++++==-:·..
.······::::::-----=----:··.. .·:-=+**#**++=--:::::---==--:·.. ..·:-=++***++===---------:::::··...
...·..........··········... .·:-=+****++=-::···:::-----::·. .·::-=++**++==--::····.......
...... ........ .·:-=++***++=-:······::----::·.. ..·:-=+++*+++=--:··..
... .··:-=+***++=-:··....··:::-::··.. .·::-=++**++==-:·..
................·::-=++**++=-:·... ...··:::::··.. ..··:-=+*****+=-:·.. ....
........... ...····::::······::--=++**++=-:·.. ..··:::::··......··:-=+**##**+=-:·. ..·..
..··::-::::···.........··::---====--------==++***+=-:·. .··:::::···...··::-=+*#####*+=-:·. .····..
..·:-=+**+++=--::··....··::-=++******+++===+++****+=-:·. ..·::::::·····::-=++*#%%%%##*+=:·.. .······.
..···::-==+**#%@@@@@@@@%#*+=-::·····::-=+*#%@@@@%#*+=------===+===-::····::-=+*%%@@@@@@%%#######%%%@@@@%%%##*=-::·..
.··::--=+++**#%%@@@@@%%#**+=-:···..··::-+*#%@@@@@%#*+=--::---====--::··..··:-=+#%@@@@@@@@@@%%%%%%%%%%%####**+=-:··..
..·::--==++++***#######**+==-:··......·:-=+*%@@@@@@%#*+=-::::------::··.....·:-=*#%@@@@@@@@@@@%%###****+++===-::··..
.··:--===++====+++++====---::··... ..·:-=*#%@@@@@@%*+=-::::::---:::·... ..·:-=*#%@@@@@@@@@@%##*++=--:::·····.....
.··:---====-----::::::······.... ..·:-+*#@@@@@@%#*=--::·:::::::··.. .·:-=+#%@@@@@@@@%#*+=-::·..
.·::------:::···.... ..·:=+*%@@@@@@%*+=-:·····:::···.. .·:-=+#%@@@@@@@%#+=-:·.
..·:::---::··.. ..·:-=+#%@@@@@%#+=-:···········.. .··-=+*#%@@@%%#*=-:·
..··::--::··.. ...·:-=*#%@@@@%#+=-:··...······.. .·:-=+*##%%##*+=:·.
..·::---::··. ........·:-=+*#%@@@%#*=-:·.......···... ..·:-=+**###*+=-:·.
..·:-====--:·. ...·········:-=+*#%%%%#+=-:·... .....··.... ..·::-=++****+=-:·. ...
.··-=+***++=-:·. ..··:::::···::--=+*####*+=-:·. ....····.......··::-==++**++==-:·.. .....
.·:=+#%%%%#*+=-:·. .··:------::::::-=++*###*+=-:·. ...···········:::--==+++++++==-::··........·····..
..·::--=++***###%%%%%%##**+=--:··....··:-=+*#%@@%%#*++====++*#####*+=-::····:-=+*#%%@@@@@@@@@@%%##***+++=====---::·.
.·:-=++*############****+++=--::···.···:-=+*%@@@@@%#*+==--==++*****+=-::····:-=+*#@@@@@@@@@@@@@@@%#*++=------::::··.
.·:-=+*#%@%%%###**++++=====----:::······:-=+*%@@@@@%#*+=-----==+++++==-::····:--+*#@@@@@@@@@@@@@@@%*+=-::··········..
.·:-=+*#%@@@%#**+==--:::::::::::::·····::-=+*%@@@@@@%#*=--::::--=====--::·····:-=+#%@@@@@@@@@@@@@@#+=-:·. ...
.:-=+*#%@@%##*+=-:··.......···········::-=+*#@@@@@@@%*+=-::··:::-----::······::-=*#@@@@@@@@@@@@@#*=:·.
.·:-=*#%%%##*+-:·.. ..······::::-=+*#%@@@@@@%#+=-:······::::::····..··::-=*#%@@@@@@@@@@#*=:·.
.·:-=+*##**+=-·.. ..···:::::--=+#%@@@@@@@#*=-:·......·······......··:-=+*#%@@@@@@%#+=:·.
.·:-=+**++=-:·. ..··:::::--=+*#@@@@@@@%*+-:·.. ...............··:--=+**####*+=-:·.
.·:-=++++=-:·. .··:::::--=+*#%@@@@@@%#+=:·. ............··::--===++==--:··.
.··-=++++=--:. ..·:::::---=+*#%@@@@@@#*=:·. ........·····:::------:::···..
.·:-=+++++=-:·. ..·:::-----==+*#%@@@@@#*=-·. ...·······::::::::::::··················....
..·:-=+****++=-:·. .·::-------=++*#%@@@%%*+-:. ..··::::------::::::········:::----==--::··..
.·:-=+#%@@@@@%%#**+++====----::·... ..·:-+*%@@@@@@@%%######%%%##*+-:·.. ..·-=+#%@@@@@@@@@@@%#*+=-::::::::::··..
.·:=+*#%@@@@@@@%#*+==--------:::··......·:-+*#@@@@@@@%%##**#######*+=-::·.....·:-=+#%@@@@@@@@@@@@@%#*=--:··········.
.·-=+*#%@@@@@@@%#*+=--:::::::::::···...··:-=*#%@@@@@@%%#*******##***+=--:·····:-=+*%@@@@@@@@@@@@@@@#*=-:··..........
.·-=+*#%@@@@@@@%*+=-::·····::::::::······:-=+#%@@@@@@%##*+++++++***+++=--:::::--=*#%@@@@@@@@@@@@@@%*+-:·..
.·:=+*#%@@@@@@%#*=-:·......··::----:::::::-=+*%@@@@@@%#*++========+++===-------=+*#%@@@@@@@@@@@@@%*+-:·..
.·:=*#%@@@@@%#*+-:·.. ..·::-----::::--=+*#%@@@@@%#*+=--::::----====------==++*##%@@@@@@@@%#*+=-:·..
..·:=+#%%%%%#*+=:·. ..·:---=-------=+*#%@@@@@%#*+=-:······:::--------====+++****#****+==--:··..
..·:-=*****++=-:·. ..·:-======--==+*#%@@@@@%#*+-:··.......··:::------==========---:::···....
..·:-======--:·. .·:--=========+*##%@@@@%#*=-:·. ..··:::----------:::··..... .......
..·::------:··. .·:-=+++++==++**#%%@@@%#*+-:·. ..··::-------::··... ...·······..
..··::::::::··. .:-=++++++++++*##%%@%%#*+-:·. ..·::-------::··.. ..··:-----::·..
...···::::::::··.. .·:-=+++++++++**##%%%%#*+=:·. .··:--=====--::··.. ..··:-==++*+=-:·..
.·:=*#%@@@@@@@%*+=-::··········... ..·:=+#@@@@@@@@@@%#*+++====--:·.. .·:=+#%@@@@@@@@@@@%#*+==--:::·····.
.·-+*#%@@@@@@@@#*+-::···········.......·:-+#%@@@@@@@@@@%#*++++===--::··... ...·:-=+#%@@@@@@@@@@@@@%#**+==-:::···..
..:-+*#%@@@@@@@@%#+=-:··...········.....·:-=*%@@@@@@@@@@%#**+++=====---::::::::--=+*#%@@@@@@@@@@@@@@%%#*+==-::···...
..:-+*#%@@@@@@@@@#*=-:·.....·········...··:=+#@@@@@@@@@@@%#*++=================++*##%@@@@@@@@@@@@@@%##*++==-:··...
..·-=*#%@@@@@@@@@#*=-:·......··::::·······:-+*%@@@@@@@@@@%#*+=========+++++****###%%%@@@@@%%%%###***+++==--::·...
.·:-=*%@@@@@@@@%#+=-:·......··:::::::····:-=+#@@@@@@@@@@%#++=------===++**###%%%%%%%%##**+++===---------:::··..
..·:-=*#%%@@@@%#*+=-:·.. ...·::----::::::-=+*%@@@@@@@@@#*+=-:::::::--=++**##%%%%###*++=--::··········::::··..
...·:--++***##**+=-:·.. ..·::------::::--=+#%@@@@@@@%#*=-::··..···:--=++**####**+==-:··.. ...······..
...··::--==++++==-:·.. .··:-=====------=+*#%@@@@@%#*+=:··.. ...·::-==++**+++=-::·. ..······..
.....···:::------::·.. ..·:-==++===----==+**#%%%%##+=-:·. .··:--======-::·.. ..··:::··.
.........···::::::··. .·:-=++++++==---==++*####**+=-·.. .··::------::··.. ...·:::-::··.
..............······.. ..·-=++***++=======+++***++=-:·.. ..··:::---::::···........··::---=--:·..
.·:=*%@@@@@@@%#+=-:·.....··:::::·······:-=*#%@@@@@%#*+=-:···...... ..··:-=++*##%%%@@@@@@@%%%##*+=-:··..
..·-=*%@@@@@@@@#*=-:·......···::::·····::-=*#@@@@@@@@%#+=-::··...........····::--==++**###%%%%@@@@@@@@@@@%%*+=-:·..
.·:-=*%@@@@@@@@%#+=:·.. ..··::::::··::--+*#@@@@@@@@@@#*+=-:·········:::--==++**############%%%%@@@@@@@@@@#*=-:·..
..·:-=*%@@@@@@@@@#*=-·.. ..··:::::::::--=*#@@@@@@@@@@@%*+=-::····::--==+*##%%@@@@@@%%%##*******##%%%@@@@@#*=-:·..
.··:-=*#@@@@@@@@@%*+-:·. ..·:::::::::--=+#%@@@@@@@@@@@%*+=-::::::--=+*#%%@@@@@@@@@%%#**+=======++*###%%%#+=-:·.
.··:-=+*%%@@@@@@@%#+=-·.. ..··::----:---=+*%@@@@@@@@@@@@#*+=--::::--=+*#%@@@@@@@@@%%#*+=--::::::--==+*****+-:·..
.··:--=+*##%%@@@@%#*+-:·. .··::--------=+*#%@@@@@@@@@@@%#+=--::::--==+*#%%@@@@@%%#*+=-::··.....··::-==++==-:·..
..·::--=+++*##%%%%#*+=:·.. ..·::--------==+*#%@@@@@@@@@@%#+=--:::::::-==+***###**++=-::·... ..··:-----:·..
..··:::---==+**####*+=-:·. ..·::--===----==+**#%@@@@@@@%#*+=-::·······::---=====---::··.. ..··::::··..
..·····::::--=++****+=-:·.. ..·::-======----==+**#%%%%%%#*+==-:··.........············..... ...······..
..·········::-=+++++==-:·......·::-=======-----==+++******+==-::·... .........................····...
...···......·::-==++==-:··.....·::-==+++===---------=======--::··... ...···:::::::···········...
.·:-=*#%%@@@%#*+=-:····:::-----:··.. ..·:-=++**++=-::·. ..··::--------------==++*##%@@@@@@%*=-:·.
..·:-=**#%%@%%#*+=-:······:------::··....·::-=+*###**+=-:·. .··:-==+*******+++=====++**#%@@@@@@@%#*=:·.
..·::-=+*##%%%%#*+=-:··...··:--===--::····::-=+*#%%%%#*+=-:·.. .··:-=+*#%%@@@@%%##**++++++**#%@@@@@@@%#*+-:·.
..·::--=+**##%%%##*=-:·.....·::-=====---:::--=+*#%@@@@@%#*+=-:··.....··:-=+*#%@@@@@@@@@%%#**++++++**#%@@@@@@%#*+=:·.
.··:--==++**##%%##*+-:··.....·:--==++====--==+**#%@@@@@@@%#*+==-::::::--=+*#%@@@@@@@@@@%##*+++====++*#%@@@@@%#*+=:·.
.·::--==+++**#####*+=-:·.. ...·:-=+++++++===++*#%@@@@@@@@@@%#**+===--===++*##%%%@@@@%%##**++===---==++*#%@@@%#*+=:·.
.·:--===++++**####*+=-:·.. ..·:--=++***+++++**##%@@@@@@@@@@@%##*++++==+++++*********+++===-----::---==+*#%%%#*+-:·.
.·:--===+==++**###**+=:·.. ..·:-=++***********##%@@@@@@@@@@@%%##**++=====--------:::::::::::::::::::--=+****+=-:·.
.·:--========+***#**+=-:·.. .··:-=+********++***##%%@@@@@@@@%%##**++=--:::··...........·····::······:::-=====-:·..
.·::---==---==++*****+=-:·.. ..·:-=++******++++++++***#####%####**++=--:··. ...···:::·······::----::·.
..·::---------=++****+=-:·... ..··:-=++****+++===----====+++*****+++==-:·.. ..··::::::·············..
.··::---::::--=++****+=-:·......·:--=++**+++==--:::::::::--====++===--:·.. ..·:-----::···..........
...··:=+*#%%@@@%#*+=-:··········.. ..·:--===--:·.. .··:--=======--:::····::-==+*#%@@@%*=-:..
....··:-=+*#%%%%%#*+=-::····:::::··. ..·::--==--::·.. ..·:--=++******++===-----==++*#%@@@@%#*=:·.
...····::-=+*##%%%#*+=-::···::::--:::·.. ..·::--====--::··........··:--=++**#######***++++++++**#%@@@@@%#*+-·.
..·····:::-=+**####*+=--::··:::--==---:···....··::--==++++===---::::::---==++***############*******##%%@@@@@%#*+=:·.
.···:::::::-=++*###*++=-::··::--==+++==--:::··:::--==++**********+++++++*************###############%%@@@@@@%#*+=:·.
.·:::::::::--=++****++=-:::·::--=++****++==-------==++**##%%%%%@@@@%%%%%##***+++=====+++***#########%%%@@@@@%#*+=-·.
.·::---:::::--=++***++=--::·:::-=+**#####**++======++**##%%@@@@@@@@@@@@@%#**+=--::::::--==++**#######%%%@@@@%#*+=-·.
.·:------::::--=++**++=--::··::-=+**#%%%%%##**++++++++**#%%@@@@@@@@@@@@@%#*=-:··... ...··:-=++**########%%@@%#*+=-:.
.·:------:::::--=+++++==-:::·::--=+*#%%@@@%%##**+++==+++**#%@@@@@@@@@@@%#*=-:·. .·:-=++********##%%%#*+=-:.
.·:--===-::::::-==+++++=--::··::-==+*#%%@@%%%#**+========++*##%@@@@@@%%#+=-:. .·:-=++*****+++**#***+=-·.
.·:--====-::::::-==++++==-:::··::-==+*#%%%%%##*+==--:::::--==+**######*+=-:·. .·:-=+++++++===++++==-:·.
.··:-====-::::::--=+++++==-::···::--=+**####**+==-::·······::--==+++++==-:·. .·:-=++++===--------::·.
....···:-==+*#%%##*=-:·. .. ..··:::::···... .....····::::::::··········::-=+*###*+-:·.
...····::-=+*##%%#*+=-:·. ...... ...·························::::::----------::::---=+**#%#*+=:·.
..······::-=+*##%%#*+=-··.. .....·.... ...···:::-----=======-----::::----===++++++======+**#%%##+=-·.
..······:::-=+*##%##*+=::·......·········.. ..··:--=++*###%%###**++==-------==++***###********##%@%#*=-·.
..········::-=+*##%##*+=-:·······::-----::··... ...··:-=+*#%@@@@@@@@@@%#*+==--:::--==+*##%%%%%%#####%%%@%#*+-:..
.··········::-=+*####**+=-::···::--=======--::···....··::-=+#%@@@@@@@@@@@@@%#*=--::··::-=+*#%@@@@@@@@%%%%%@@%#*+-:·.
.···::······::-=**####**+=--:::--==++******++=--:::::::--=+*%@@@@@@@@@@@@@@%#+=-:··..··:-=+*#%@@@@@@@@@@@@@@%#*+=:·.
.··::::···.··::=+**####**+==----==+**##%%%##**++==------=+*#%@@@@@@@@@@@@@@#*=-:·.. ..·:-+*%@@@@@@@@@@@@@@%#*+=:·.
.··:::::··...·:-=+*#####**++=====++*##%%%@%%%##*++=======++*#%@@@@@@@@@@@%#*=-:·. .·:-+#%@@@@@@@@@@@@@%#*+=:·.
.··:::::··....·:-=+*######**+++=+++**#%%%%%%%%#**++=======++**#%%@@@@@%%#*+=-·.. .:-+#%@@@@@@@@@@@@%#*+=:·.
..·::::::·.....·:-=+*######**+++++++**########**++====----===++++****++==--:·. .:=+#%@@@@@@@@@%%#**+=:·.
..·::--::··....··:-=+*##%###**++++==+++++++++++====-------------------:::··.. ·:=+#%@@@@@@@%%%#*+=-:·. $ open /benchmarks/zebralogicbench/tasks/grid~5fmode--t…▌ posts · files
ZebraLogicBench / lgp-test-6x2-6 / There are 6 houses, numbered 1 to 6 from left to right, as seen from across the…
Problem
puzzle
There are 6 houses, numbered 1 to 6 from left to right, as seen from across the street. Each house is occupied by a different person. Each house has a unique attribute for each of the following characteristics: - Each person has a unique name: `Alice`, `Arnold`, `Peter`, `Eric`, `Bob`, `Carol` - People have unique favorite sports: `baseball`, `tennis`, `swimming`, `basketball`, `soccer`, `volleyball` ## Clues: 1. The person who loves tennis is Eric. 2. The person who loves volleyball is in the fifth house. 3. Arnold is somewhere to the right of Carol. 4. Carol is not in the first house. 5. The person who loves baseball is Bob. 6. There is one house between the person who loves swimming and the person who loves basketball. 7. Alice is in the fourth house. 8. The person who loves swimming is Peter. 9. Alice and Arnold are next to each other. 10. Peter is somewhere to the right of Eric. 11. The person who loves swimming is not in the sixth house.
size
6*2
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.
Why there is no answer to show Answer withheld 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
- upstream_id / Original problem ID
- lgp-test-6x2-6
- task_id
30e95b2d-197b-5728-8639-08832f880f18- task_key
grid~5fmode--test--lgp~2dtest~2d6x2~2d6- task_revision_id
- 1
- config / split
- grid_mode / test
initial import