benchmarks.wiki / Public workspace
..·········::-----:··. ..··::::···... ...··::-------::··.. ...........··:-=+#%%#*+-:·.
.··········::------:·.. ..·······... .·::-=+++*+++=-::·.. ..···········::-=+*###*+-:·.
.··:::·····:::--==--:·.. ..·······.. .·-=+*#%%%%%%#*+=-:·.. ..··::-----::::--=+*##**+-:·.
.··:::::····::--====-:·.. ..········.. .·-=+#%@@@@@@@@%#*+-:··......··:-========----=++***++-:·.
.··::::::···::--=====--:·.. ...··::::::··.. .·:-=*#@@@@@@@@@@@@%*+=:··....··:-=++*****++====++***+=-:·.
.··::::::····:--=+++++=--:··.....···::------::··........··:=+*%@@@@@@@@@@@@@@#*+-:···.··::-=+*#%%%##**+++++**++=-:·.
..·::::::····::-=++***++==-:::···:::--=======---::::::::-==+*%@@@@@@@@@@@@@@@%*+=-:·····::-+*#%@@@@%%#**+++*++==-:·.
..·::::::·····:-==+*####**++==-----===+++++++++========++**#%%@@@@@@@@@@@@@@%#*+=-:······:-+*#@@@@@@@%%#****++==-:·.
..··:::::······:-=+*#%%%%%##**++++++++++********++++****###%%@@@@@@@@@@@@%%##*+=-::··..··:-=*#@@@@@@@@@%#***++=--:·.
.··:::::··..··:-=+*#%@@@@@@%%###****+++++++++++******####%%%%%%%%####***+++==--::··....··:=+#%@@@@@@@@@%##*+==-::·.
..··::::··...··:-=+#%@@@@@@@@@@%##**+++=========+++***########**++===----::::::··.......·:-=*%@@@@@@@@@@%#*+==-:··.
..··::::··....··:-+*#@@@@@@@@@@@%#**+=--::::::::--==++***#***++==-::···............ ..·:-+#%@@@@@@@@@@%#+=--:··.
...... .········......··:--=+++*+++=-:·. .·:-=+****++=-:·. ..······::-=+*#@%#*+=:·.
.····.. ..·····... ...·::--====--:·. .·-=+*#####*+=-:. .···::::::--=*#%%#*+=-·.
.·····. ...··.... ..··::::::··.. .·:-+*#%%@%%%#*=-:·. ..··:::::::--=+*#%#*+=-·.
.··::··. ...···.... ....······.. ..·:=+*#%@@@@@@%#*+-:·. ..·::--------=+*###*+=-·.
.·::::··. ..······.... .......·...... ..·:-=+*#%%@@@@@@@@@%*+=:·. .·::--===----==+****+=-:.
.·:::::··. ..··:::::····..........···........···::--=++*#%%@@@@@@@@@@@@%*+=-·.. ..·:-===+=======++**++=-·.
.·::--::·.. ..··:--------:::::·············::::--=++*##%%@@@@@@@@@@@@@@@@%#*+=-:·......·:-==++++++=====++++=-:·.
.··:---::·.. ..··:-==++***+++===---::::::::::--==+**#%@@@@@@@@@@@@@@@@@@@@@%%#*+=-:··...··:-=+******++=======--:·.
..·:----::·......·:-=+*##%%%%%%##**+==--:::::::--=+*#%@@@@@@@@@@@@@@%%%%%%%%%%##**+=-::····:-=+*######*++====---::·.
..·::----:··....··:-=*#%@@@@@@@@@@%#*+==--:::::--=+*#%@@@@@@@@@@@@%##***++********++=-::::::-=+*#%%%%%#*++==---::··.
..·::---::··..··::=+*%@@@@@@@@@@@@@%*+=-::·····::-=+*#%@@@@@@@@%%#*+==----==+++++++==--:::-==*#%@@@@@%#*+==--::··..
..··::--:::·····:-=+*%@@@@@@@@@@@@@%#+=-:·......··:-=+*#%%@@@%%#*+=--:····::--==+++==------=+*#%@@@@@@%#*+=-::···..
..... ..·:--=============+++*******+=-:·.. .·:-==+***++=-:·. .·:::--:::::--=+***+=-:·.
..... ..·::----------------==----::·.. ..·:--=++++++=-:·. ..·:---------==+***+=-:·.
...... .··:::::::::::::::·····... ..··::--==+++++==-:·. .·:--===----==+***+=-:·.
...·.. ..··::::::::····.... ...··:::---===+++++++=--:·. .·:--=========+**++=-:·.
..···.. .··::::::::···.. ..·::-===++++++++++****++=--:.. .·:-===++====++*+++=-:·.
..····. .··::------::··.. .·:-==+*##%%%%####*********+==-:·. .·-==++++++++++++==-:·.
..·····. .·:--=+++++==-::·.. .··:-+*#%@@@@@@@@@%%###*******++=-:·. .·:==+++++++++++===-:·.
..··::··. .·:=+**#####*++=-:··... ...·:-=+*#@@@@@@@@@@@@@%###********+=-:·. .·:-=+****+++++===--:·.
..··::::·. .·:=+*#%@@@@@@%#*+=-::······::-=+#%@@@@@@@@@@@@@%%#**********+=-:·.. ..·:-=+*****+++==---:··.
..··:::::·.. ..·:=+*%@@@@@@@@@@@%*+=-::····::-=+*#@@@@@@@@@@@@@%##*******###**+=-:·.. ...·:-=+*****+++=--:::··.
.··:::--::··.....·::=+*%@@@@@@@@@@@@@%*+=--::··:::-=+*#%@@@@@@@@@@@%#*++++++**####*+=-:·....··:-=+*###**++=-::···..
..··::---::::··:::-=+*#@@@@@@@@@@@@@@%#*==-::·····::-=++*#%@@@@@@%%#*++====++**####*+=-::····:--=+*####*++=-::··..
.··:::::···.···:--=+**##%%%%%%%%###**++=--:··... .....···::-==+++++=--:·. ..·::::::······:-=====-:·.
..··:···.. ..··:-=++*###%%###**+==-:··.. ......·····:::--=====-::·. ..·::---:::····::--==--:·.
..·····.. .·:-==+**###**++=-:·.. ..·············:::------:··. .·::------::::::-----:··.
..··... .·:-==++***++=-:·. .··::-----:::·····::::--::··. .·::-=====--::::---:::·..
...... .·:-=+++++==-:·. .·:-==++++==--:::···::::::::·.. .·:-=++++==---:-::::··..
...... .·:-=+++++==-:·. ..·:-++*####**+=--:::··:::::::··. .·:-=++*+++==---::::··..
..... .·:-=++****+==-:·.. .·:-=+*#%@@@@%%#*+=--:::::::::::··. .·:-=+****++==---::···..
..... .·:=+**#####**+=--:···...···:-=+*#%@@@@@@@@%#+==-::::::---::·.. ..·-=+**##**++==-::··...
...... .·:-+*#%%@@@@%%##*+==---:::---=+*#%@@@@@@@@@@%#*+=--::------::·.. .·:-+**###**++=-::··..
........ ..·:-=+*#%@@@@@@@@@%%##**++======++**#%@@@@@@@@@@%#*+=------===--:··. .·:-=+*####**++-::··..
.....·····...····::-=+**#%@@@@@@@@@@@@%%##***++++=+++**#%@@@@@@@@@@%#*+==---======-:··. ..·:-+**####**+=-:··..
....···:::::---==++**##%%@@@@@@@@@@@@%%%%###**++======++*#%@@@@@@@@%#*++======++++=--:·......·:-=+**###**+=-:·...
.·:-=+***+=-::····:--=+#%@@@@@@@@@@@%#*=-:·. ..··:::::::::::::--=++****+=-:·. ..··········::-==++==-:·.
·:-=++++=-:··....··:-=+*#%@@@@@@@@%#+=-·. ..··:::::::·····::--=+++++=-:·.. ..··::::······::----::·.
.·:-====-:·.. ..·:-=+*#%@@@@%#*+=-·. .··:::-:::········:-==+++==-:·. ..·:::::::······::::··..
..·::---:·.. .·:-=++**##**+=-:·. .··::---:::··....··::-=====-:·.. .··::---:::·········...
..······. .·::-==+++==-::·. .·::------:··......··:--===-::·.. ..··:------::····......
....... ..·::--===---::··.. ..··:--====--:··......··:--==--:··.. ..··:--====--::··...
..·::---===----:::···.......··::--==+++==-:··.. ..··:-----::·......··:-===+===-::·...
..··::--====+++++====---:::::::---=+++*+++=-:·... ...·::-----:··.....··:-==+++++=--:·..
..···::--===+++***######***++===--===+++*****+=-:·......··:------:··....··:-==++**++==-:·..
...···::----====++++**###%%@@@@@@%%#**+++==+++**####*+=-:··.....·::-----::···..··:--=++****++=-:·...
..··:--==++**************##%%@@@@@@@@@@%##*++++++**#####*+=-:··....·::--==--::·······:-==+*****++=-:·...
..·:--=+*##%%%%%%%###*******##%%@@@@@@@@@@%#**++++++**##%%#**+-::··.··::--====-::······::-==+*****+=-::·..
.·:-=+*#%%*+=-:·····::-=*#%@@@@@@@@@@@#*+-:·.. .··:-==++++===--:::--==++*++=-:·. ..·:-===+======+++===-::·.
.·:-=+*#%%*+=-::·····:--=+*#%@@@@@@%%#*=-:·.. .·::-======--:::::--==+++++=-:·. .··:-=======------:::··.
.·:-=+**##*+=-:···..···::-==++*****++==-:··. .··:--===---::···::-==++++=-:·.. .·::--===----:::···...
.·:-==+++=--:··........···:::-------:::···.. ..·::-----::·····::-==++++=-:·. ..·::------::··....
..··:::--::··... .....··············... ..·::---:::···.···:-==+++==-:·. ..··::----::··..
.....··..... .....·····:::···... ..··::::::···....··:-=++++==-:·.. ...·::----::··..
...··:::------::··... ..··:::::··......·::-=++++==-:·.......··::---::··..
..................··::-==++**++==-:··.......··::::··.......·:-==++++==-:··.....··:::---::··..
..···:::::::········::-==+*##%%%##*+=-:··.....···:::···... ...·:-=++**++=-:···..···:::----:::·...
.··:--========----:---==+*##%@@@@@@%#*+=-:··...···::::··... ..·::==+***++=-::·······:::------:··...
..·:-=+**#####***++=====++*#%%@@@@@@@@@%#*=-:·······:::::··... ..·:-=+*****+==-::·····:::-------::···..
.·:-=+*##%%@@@@%%##****++**##%@@@@@@@@@@@@#*=-:······::::::··......·::=++**#**+==-::······:::---==--::··.
.·:-=+*#%%#**+==------===++**###%%%%%###**++=--::·····::-==+****++=-::·····:--=====--::····::-=+*#%%@@@%%##**+=-::·..
.·:-=+*##%##**++==================+++++++===---::·······:--=++**++=--:······:--====--::·····::-=+*#%%%%%##*++=-:··..
.·::-=+**##***+++====-----:::::::::::::--------::···...··::-==++++==-:···.··::--====-::··...··:-=++*####**+==::·..
.·::--==++++======---:::···... ...···:::---:::··.....··:--==++==-:···..··::-====--:··....··::-==+++++==-:·..
..···:::::::------::::··.. ..·:::---::··.......··:--===--::··...··:--====--:··.....··::--===--::·..
...........······:····... .··:------:··.. ...·::-----::··...··::-=====--:··......···::::::··..
...······... .·::-=====-:··. ..··:----::··....··:-==++==--:··.........·····...
..·······... ..··:-==++++=-:·.. ..·::::::··....··:-==++++==-::·... .........
..··:::::::···.......··::-=+*****++-:·. ..··::::···...··:-==+***++==-:··.. .........
..··::----------:::::::--=++*##%%##*+-:·. ..··::····...··:--=+**##**+=-::·.. ...·····..
..··::--===++++++++++===++++*##%%@@@%#*+-:·. ..········..··::-=+*#####**+=-:·.. ..···::··..
......·····:::---===+++***##############%%@@@@@@@%*+-:. ..············:-=+*#%%%%%#*+=-:·.. ..··::::::·.
.··:-==+***###########**++==-------==++**######**+==-----==++++==-:·......·:-+**#####**+++++**#%@@@@@@@@@%%#+=-:·..
.·::-==+***###%%%%%%%#**+==-::·····::--=+**#####*++==-----==+++==-:··.. ..·:-=+*####**++++++**#%%@@@@@@@%#*+-:··..
..·::--==++***####%###**+=-::·... ...·:-==+*####**+==------======-::·. ..·:-=+**#***++++++++**##%%%%##**+=:··..
..··:::--=====+++****++==-:··. ..·:-=+*####*++=--:::---====--:·.. ..·:-=+*****+++=======++++++++==-:·..
.······::::::-----=----:··.. .·:-=+**#**++=--:::::---==--:·.. ..·:-=++***++===---------:::::··...
...·..........··········... .·:-=+****++=-::···:::-----::·. .·::-=++**++==--::····.......
...... ........ .·:-=++***++=-:······::----::·.. ..·:-=+++*+++=--:··..
... .··:-=+***++=-:··....··:::-::··.. .·::-=++**++==-:·..
................·::-=++**++=-:·... ...··:::::··.. ..··:-=+*****+=-:·.. ....
........... ...····::::······::--=++**++=-:·.. ..··:::::··......··:-=+**##**+=-:·. ..·..
..··::-::::···.........··::---====--------==++***+=-:·. .··:::::···...··::-=+*#####*+=-:·. .····..
..·:-=+**+++=--::··....··::-=++******+++===+++****+=-:·. ..·::::::·····::-=++*#%%%%##*+=:·.. .······.
..···::-==+**#%@@@@@@@@%#*+=-::·····::-=+*#%@@@@%#*+=------===+===-::····::-=+*%%@@@@@@%%#######%%%@@@@%%%##*=-::·..
.··::--=+++**#%%@@@@@%%#**+=-:···..··::-+*#%@@@@@%#*+=--::---====--::··..··:-=+#%@@@@@@@@@@%%%%%%%%%%%####**+=-:··..
..·::--==++++***#######**+==-:··......·:-=+*%@@@@@@%#*+=-::::------::··.....·:-=*#%@@@@@@@@@@@%%###****+++===-::··..
.··:--===++====+++++====---::··... ..·:-=*#%@@@@@@%*+=-::::::---:::·... ..·:-=*#%@@@@@@@@@@%##*++=--:::·····.....
.··:---====-----::::::······.... ..·:-+*#@@@@@@%#*=--::·:::::::··.. .·:-=+#%@@@@@@@@%#*+=-::·..
.·::------:::···.... ..·:=+*%@@@@@@%*+=-:·····:::···.. .·:-=+#%@@@@@@@%#+=-:·.
..·:::---::··.. ..·:-=+#%@@@@@%#+=-:···········.. .··-=+*#%@@@%%#*=-:·
..··::--::··.. ...·:-=*#%@@@@%#+=-:··...······.. .·:-=+*##%%##*+=:·.
..·::---::··. ........·:-=+*#%@@@%#*=-:·.......···... ..·:-=+**###*+=-:·.
..·:-====--:·. ...·········:-=+*#%%%%#+=-:·... .....··.... ..·::-=++****+=-:·. ...
.··-=+***++=-:·. ..··:::::···::--=+*####*+=-:·. ....····.......··::-==++**++==-:·.. .....
.·:=+#%%%%#*+=-:·. .··:------::::::-=++*###*+=-:·. ...···········:::--==+++++++==-::··........·····..
..·::--=++***###%%%%%%##**+=--:··....··:-=+*#%@@%%#*++====++*#####*+=-::····:-=+*#%%@@@@@@@@@@%%##***+++=====---::·.
.·:-=++*############****+++=--::···.···:-=+*%@@@@@%#*+==--==++*****+=-::····:-=+*#@@@@@@@@@@@@@@@%#*++=------::::··.
.·:-=+*#%@%%%###**++++=====----:::······:-=+*%@@@@@%#*+=-----==+++++==-::····:--+*#@@@@@@@@@@@@@@@%*+=-::··········..
.·:-=+*#%@@@%#**+==--:::::::::::::·····::-=+*%@@@@@@%#*=--::::--=====--::·····:-=+#%@@@@@@@@@@@@@@#+=-:·. ...
.:-=+*#%@@%##*+=-:··.......···········::-=+*#@@@@@@@%*+=-::··:::-----::······::-=*#@@@@@@@@@@@@@#*=:·.
.·:-=*#%%%##*+-:·.. ..······::::-=+*#%@@@@@@%#+=-:······::::::····..··::-=*#%@@@@@@@@@@#*=:·.
.·:-=+*##**+=-·.. ..···:::::--=+#%@@@@@@@#*=-:·......·······......··:-=+*#%@@@@@@%#+=:·.
.·:-=+**++=-:·. ..··:::::--=+*#@@@@@@@%*+-:·.. ...............··:--=+**####*+=-:·.
.·:-=++++=-:·. .··:::::--=+*#%@@@@@@%#+=:·. ............··::--===++==--:··.
.··-=++++=--:. ..·:::::---=+*#%@@@@@@#*=:·. ........·····:::------:::···..
.·:-=+++++=-:·. ..·:::-----==+*#%@@@@@#*=-·. ...·······::::::::::::··················....
..·:-=+****++=-:·. .·::-------=++*#%@@@%%*+-:. ..··::::------::::::········:::----==--::··..
.·:-=+#%@@@@@%%#**+++====----::·... ..·:-+*%@@@@@@@%%######%%%##*+-:·.. ..·-=+#%@@@@@@@@@@@%#*+=-::::::::::··..
.·:=+*#%@@@@@@@%#*+==--------:::··......·:-+*#@@@@@@@%%##**#######*+=-::·.....·:-=+#%@@@@@@@@@@@@@%#*=--:··········.
.·-=+*#%@@@@@@@%#*+=--:::::::::::···...··:-=*#%@@@@@@%%#*******##***+=--:·····:-=+*%@@@@@@@@@@@@@@@#*=-:··..........
.·-=+*#%@@@@@@@%*+=-::·····::::::::······:-=+#%@@@@@@%##*+++++++***+++=--:::::--=*#%@@@@@@@@@@@@@@%*+-:·..
.·:=+*#%@@@@@@%#*=-:·......··::----:::::::-=+*%@@@@@@%#*++========+++===-------=+*#%@@@@@@@@@@@@@%*+-:·..
.·:=*#%@@@@@%#*+-:·.. ..·::-----::::--=+*#%@@@@@%#*+=--::::----====------==++*##%@@@@@@@@%#*+=-:·..
..·:=+#%%%%%#*+=:·. ..·:---=-------=+*#%@@@@@%#*+=-:······:::--------====+++****#****+==--:··..
..·:-=*****++=-:·. ..·:-======--==+*#%@@@@@%#*+-:··.......··:::------==========---:::···....
..·:-======--:·. .·:--=========+*##%@@@@%#*=-:·. ..··:::----------:::··..... .......
..·::------:··. .·:-=+++++==++**#%%@@@%#*+-:·. ..··::-------::··... ...·······..
..··::::::::··. .:-=++++++++++*##%%@%%#*+-:·. ..·::-------::··.. ..··:-----::·..
...···::::::::··.. .·:-=+++++++++**##%%%%#*+=:·. .··:--=====--::··.. ..··:-==++*+=-:·..
.·:=*#%@@@@@@@%*+=-::··········... ..·:=+#@@@@@@@@@@%#*+++====--:·.. .·:=+#%@@@@@@@@@@@%#*+==--:::·····.
.·-+*#%@@@@@@@@#*+-::···········.......·:-+#%@@@@@@@@@@%#*++++===--::··... ...·:-=+#%@@@@@@@@@@@@@%#**+==-:::···..
..:-+*#%@@@@@@@@%#+=-:··...········.....·:-=*%@@@@@@@@@@%#**+++=====---::::::::--=+*#%@@@@@@@@@@@@@@%%#*+==-::···...
..:-+*#%@@@@@@@@@#*=-:·.....·········...··:=+#@@@@@@@@@@@%#*++=================++*##%@@@@@@@@@@@@@@%##*++==-:··...
..·-=*#%@@@@@@@@@#*=-:·......··::::·······:-+*%@@@@@@@@@@%#*+=========+++++****###%%%@@@@@%%%%###***+++==--::·...
.·:-=*%@@@@@@@@%#+=-:·......··:::::::····:-=+#@@@@@@@@@@%#++=------===++**###%%%%%%%%##**+++===---------:::··..
..·:-=*#%%@@@@%#*+=-:·.. ...·::----::::::-=+*%@@@@@@@@@#*+=-:::::::--=++**##%%%%###*++=--::··········::::··..
...·:--++***##**+=-:·.. ..·::------::::--=+#%@@@@@@@%#*=-::··..···:--=++**####**+==-:··.. ...······..
...··::--==++++==-:·.. .··:-=====------=+*#%@@@@@%#*+=:··.. ...·::-==++**+++=-::·. ..······..
.....···:::------::·.. ..·:-==++===----==+**#%%%%##+=-:·. .··:--======-::·.. ..··:::··.
.........···::::::··. .·:-=++++++==---==++*####**+=-·.. .··::------::··.. ...·:::-::··.
..............······.. ..·-=++***++=======+++***++=-:·.. ..··:::---::::···........··::---=--:·..
.·:=*%@@@@@@@%#+=-:·.....··:::::·······:-=*#%@@@@@%#*+=-:···...... ..··:-=++*##%%%@@@@@@@%%%##*+=-:··..
..·-=*%@@@@@@@@#*=-:·......···::::·····::-=*#@@@@@@@@%#+=-::··...........····::--==++**###%%%%@@@@@@@@@@@%%*+=-:·..
.·:-=*%@@@@@@@@%#+=:·.. ..··::::::··::--+*#@@@@@@@@@@#*+=-:·········:::--==++**############%%%%@@@@@@@@@@#*=-:·..
..·:-=*%@@@@@@@@@#*=-·.. ..··:::::::::--=*#@@@@@@@@@@@%*+=-::····::--==+*##%%@@@@@@%%%##*******##%%%@@@@@#*=-:·..
.··:-=*#@@@@@@@@@%*+-:·. ..·:::::::::--=+#%@@@@@@@@@@@%*+=-::::::--=+*#%%@@@@@@@@@%%#**+=======++*###%%%#+=-:·.
.··:-=+*%%@@@@@@@%#+=-·.. ..··::----:---=+*%@@@@@@@@@@@@#*+=--::::--=+*#%@@@@@@@@@%%#*+=--::::::--==+*****+-:·..
.··:--=+*##%%@@@@%#*+-:·. .··::--------=+*#%@@@@@@@@@@@%#+=--::::--==+*#%%@@@@@%%#*+=-::··.....··::-==++==-:·..
..·::--=+++*##%%%%#*+=:·.. ..·::--------==+*#%@@@@@@@@@@%#+=--:::::::-==+***###**++=-::·... ..··:-----:·..
..··:::---==+**####*+=-:·. ..·::--===----==+**#%@@@@@@@%#*+=-::·······::---=====---::··.. ..··::::··..
..·····::::--=++****+=-:·.. ..·::-======----==+**#%%%%%%#*+==-:··.........············..... ...······..
..·········::-=+++++==-:·......·::-=======-----==+++******+==-::·... .........................····...
...···......·::-==++==-:··.....·::-==+++===---------=======--::··... ...···:::::::···········...
.·:-=*#%%@@@%#*+=-:····:::-----:··.. ..·:-=++**++=-::·. ..··::--------------==++*##%@@@@@@%*=-:·.
..·:-=**#%%@%%#*+=-:······:------::··....·::-=+*###**+=-:·. .··:-==+*******+++=====++**#%@@@@@@@%#*=:·.
..·::-=+*##%%%%#*+=-:··...··:--===--::····::-=+*#%%%%#*+=-:·.. .··:-=+*#%%@@@@%%##**++++++**#%@@@@@@@%#*+-:·.
..·::--=+**##%%%##*=-:·.....·::-=====---:::--=+*#%@@@@@%#*+=-:··.....··:-=+*#%@@@@@@@@@%%#**++++++**#%@@@@@@%#*+=:·.
.··:--==++**##%%##*+-:··.....·:--==++====--==+**#%@@@@@@@%#*+==-::::::--=+*#%@@@@@@@@@@%##*+++====++*#%@@@@@%#*+=:·.
.·::--==+++**#####*+=-:·.. ...·:-=+++++++===++*#%@@@@@@@@@@%#**+===--===++*##%%%@@@@%%##**++===---==++*#%@@@%#*+=:·.
.·:--===++++**####*+=-:·.. ..·:--=++***+++++**##%@@@@@@@@@@@%##*++++==+++++*********+++===-----::---==+*#%%%#*+-:·.
.·:--===+==++**###**+=:·.. ..·:-=++***********##%@@@@@@@@@@@%%##**++=====--------:::::::::::::::::::--=+****+=-:·.
.·:--========+***#**+=-:·.. .··:-=+********++***##%%@@@@@@@@%%##**++=--:::··...........·····::······:::-=====-:·..
.·::---==---==++*****+=-:·.. ..·:-=++******++++++++***#####%####**++=--:··. ...···:::·······::----::·.
..·::---------=++****+=-:·... ..··:-=++****+++===----====+++*****+++==-:·.. ..··::::::·············..
.··::---::::--=++****+=-:·......·:--=++**+++==--:::::::::--====++===--:·.. ..·:-----::···..........
...··:=+*#%%@@@%#*+=-:··········.. ..·:--===--:·.. .··:--=======--:::····::-==+*#%@@@%*=-:..
....··:-=+*#%%%%%#*+=-::····:::::··. ..·::--==--::·.. ..·:--=++******++===-----==++*#%@@@@%#*=:·.
...····::-=+*##%%%#*+=-::···::::--:::·.. ..·::--====--::··........··:--=++**#######***++++++++**#%@@@@@%#*+-·.
..·····:::-=+**####*+=--::··:::--==---:···....··::--==++++===---::::::---==++***############*******##%%@@@@@%#*+=:·.
.···:::::::-=++*###*++=-::··::--==+++==--:::··:::--==++**********+++++++*************###############%%@@@@@@%#*+=:·.
.·:::::::::--=++****++=-:::·::--=++****++==-------==++**##%%%%%@@@@%%%%%##***+++=====+++***#########%%%@@@@@%#*+=-·.
.·::---:::::--=++***++=--::·:::-=+**#####**++======++**##%%@@@@@@@@@@@@@%#**+=--::::::--==++**#######%%%@@@@%#*+=-·.
.·:------::::--=++**++=--::··::-=+**#%%%%%##**++++++++**#%%@@@@@@@@@@@@@%#*=-:··... ...··:-=++**########%%@@%#*+=-:.
.·:------:::::--=+++++==-:::·::--=+*#%%@@@%%##**+++==+++**#%@@@@@@@@@@@%#*=-:·. .·:-=++********##%%%#*+=-:.
.·:--===-::::::-==+++++=--::··::-==+*#%%@@%%%#**+========++*##%@@@@@@%%#+=-:. .·:-=++*****+++**#***+=-·.
.·:--====-::::::-==++++==-:::··::-==+*#%%%%%##*+==--:::::--==+**######*+=-:·. .·:-=+++++++===++++==-:·.
.··:-====-::::::--=+++++==-::···::--=+**####**+==-::·······::--==+++++==-:·. .·:-=++++===--------::·.
....···:-==+*#%%##*=-:·. .. ..··:::::···... .....····::::::::··········::-=+*###*+-:·.
...····::-=+*##%%#*+=-:·. ...... ...·························::::::----------::::---=+**#%#*+=:·.
..······::-=+*##%%#*+=-··.. .....·.... ...···:::-----=======-----::::----===++++++======+**#%%##+=-·.
..······:::-=+*##%##*+=::·......·········.. ..··:--=++*###%%###**++==-------==++***###********##%@%#*=-·.
..········::-=+*##%##*+=-:·······::-----::··... ...··:-=+*#%@@@@@@@@@@%#*+==--:::--==+*##%%%%%%#####%%%@%#*+-:..
.··········::-=+*####**+=-::···::--=======--::···....··::-=+#%@@@@@@@@@@@@@%#*=--::··::-=+*#%@@@@@@@@%%%%%@@%#*+-:·.
.···::······::-=**####**+=--:::--==++******++=--:::::::--=+*%@@@@@@@@@@@@@@%#+=-:··..··:-=+*#%@@@@@@@@@@@@@@%#*+=:·.
.··::::···.··::=+**####**+==----==+**##%%%##**++==------=+*#%@@@@@@@@@@@@@@#*=-:·.. ..·:-+*%@@@@@@@@@@@@@@%#*+=:·.
.··:::::··...·:-=+*#####**++=====++*##%%%@%%%##*++=======++*#%@@@@@@@@@@@%#*=-:·. .·:-+#%@@@@@@@@@@@@@%#*+=:·.
.··:::::··....·:-=+*######**+++=+++**#%%%%%%%%#**++=======++**#%%@@@@@%%#*+=-·.. .:-+#%@@@@@@@@@@@@%#*+=:·.
..·::::::·.....·:-=+*######**+++++++**########**++====----===++++****++==--:·. .:=+#%@@@@@@@@@%%#**+=:·.
..·::--::··....··:-=+*##%###**++++==+++++++++++====-------------------:::··.. ·:=+#%@@@@@@@%%%#*+=-:·. $ open /benchmarks/zebralogicbench/tasks/grid~5fmode--t…▌ posts · files
ZebraLogicBench / lgp-test-6x3-28 / 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: `Carol`, `Peter`, `Bob`, `Eric`, `Arnold`, `Alice` - Each person prefers a unique type of vacation: `camping`, `cruise`, `beach`, `city`, `cultural`, `mountain` - People have unique favorite sports: `volleyball`, `baseball`, `basketball`, `swimming`, `soccer`, `tennis` ## Clues: 1. The person who loves tennis and Peter are next to each other. 2. Bob is in the second house. 3. There is one house between the person who prefers city breaks and the person who loves tennis. 4. Peter is somewhere to the left of Alice. 5. Carol is the person who loves basketball. 6. The person who loves swimming is the person who likes going on cruises. 7. The person who loves tennis and the person who loves beach vacations are next to each other. 8. The person who loves swimming is Bob. 9. The person who loves volleyball is the person who enjoys camping trips. 10. Eric is in the first house. 11. Arnold is somewhere to the left of the person who enjoys mountain retreats. 12. Eric is the person who loves soccer. 13. The person who prefers city breaks is in the first house. 14. The person who enjoys camping trips is not in the sixth house.
size
6*3
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-6x3-28
- task_id
dd9fcaaa-6211-5998-86f1-74116db359da- task_key
grid~5fmode--test--lgp~2dtest~2d6x3~2d28- task_revision_id
- 1
- config / split
- grid_mode / test
initial import