benchmarks.wiki / Public workspace
..·········::-----:··. ..··::::···... ...··::-------::··.. ...........··:-=+#%%#*+-:·.
.··········::------:·.. ..·······... .·::-=+++*+++=-::·.. ..···········::-=+*###*+-:·.
.··:::·····:::--==--:·.. ..·······.. .·-=+*#%%%%%%#*+=-:·.. ..··::-----::::--=+*##**+-:·.
.··:::::····::--====-:·.. ..········.. .·-=+#%@@@@@@@@%#*+-:··......··:-========----=++***++-:·.
.··::::::···::--=====--:·.. ...··::::::··.. .·:-=*#@@@@@@@@@@@@%*+=:··....··:-=++*****++====++***+=-:·.
.··::::::····:--=+++++=--:··.....···::------::··........··:=+*%@@@@@@@@@@@@@@#*+-:···.··::-=+*#%%%##**+++++**++=-:·.
..·::::::····::-=++***++==-:::···:::--=======---::::::::-==+*%@@@@@@@@@@@@@@@%*+=-:·····::-+*#%@@@@%%#**+++*++==-:·.
..·::::::·····:-==+*####**++==-----===+++++++++========++**#%%@@@@@@@@@@@@@@%#*+=-:······:-+*#@@@@@@@%%#****++==-:·.
..··:::::······:-=+*#%%%%%##**++++++++++********++++****###%%@@@@@@@@@@@@%%##*+=-::··..··:-=*#@@@@@@@@@%#***++=--:·.
.··:::::··..··:-=+*#%@@@@@@%%###****+++++++++++******####%%%%%%%%####***+++==--::··....··:=+#%@@@@@@@@@%##*+==-::·.
..··::::··...··:-=+#%@@@@@@@@@@%##**+++=========+++***########**++===----::::::··.......·:-=*%@@@@@@@@@@%#*+==-:··.
..··::::··....··:-+*#@@@@@@@@@@@%#**+=--::::::::--==++***#***++==-::···............ ..·:-+#%@@@@@@@@@@%#+=--:··.
...... .········......··:--=+++*+++=-:·. .·:-=+****++=-:·. ..······::-=+*#@%#*+=:·.
.····.. ..·····... ...·::--====--:·. .·-=+*#####*+=-:. .···::::::--=*#%%#*+=-·.
.·····. ...··.... ..··::::::··.. .·:-+*#%%@%%%#*=-:·. ..··:::::::--=+*#%#*+=-·.
.··::··. ...···.... ....······.. ..·:=+*#%@@@@@@%#*+-:·. ..·::--------=+*###*+=-·.
.·::::··. ..······.... .......·...... ..·:-=+*#%%@@@@@@@@@%*+=:·. .·::--===----==+****+=-:.
.·:::::··. ..··:::::····..........···........···::--=++*#%%@@@@@@@@@@@@%*+=-·.. ..·:-===+=======++**++=-·.
.·::--::·.. ..··:--------:::::·············::::--=++*##%%@@@@@@@@@@@@@@@@%#*+=-:·......·:-==++++++=====++++=-:·.
.··:---::·.. ..··:-==++***+++===---::::::::::--==+**#%@@@@@@@@@@@@@@@@@@@@@%%#*+=-:··...··:-=+******++=======--:·.
..·:----::·......·:-=+*##%%%%%%##**+==--:::::::--=+*#%@@@@@@@@@@@@@@%%%%%%%%%%##**+=-::····:-=+*######*++====---::·.
..·::----:··....··:-=*#%@@@@@@@@@@%#*+==--:::::--=+*#%@@@@@@@@@@@@%##***++********++=-::::::-=+*#%%%%%#*++==---::··.
..·::---::··..··::=+*%@@@@@@@@@@@@@%*+=-::·····::-=+*#%@@@@@@@@%%#*+==----==+++++++==--:::-==*#%@@@@@%#*+==--::··..
..··::--:::·····:-=+*%@@@@@@@@@@@@@%#+=-:·......··:-=+*#%%@@@%%#*+=--:····::--==+++==------=+*#%@@@@@@%#*+=-::···..
..... ..·:--=============+++*******+=-:·.. .·:-==+***++=-:·. .·:::--:::::--=+***+=-:·.
..... ..·::----------------==----::·.. ..·:--=++++++=-:·. ..·:---------==+***+=-:·.
...... .··:::::::::::::::·····... ..··::--==+++++==-:·. .·:--===----==+***+=-:·.
...·.. ..··::::::::····.... ...··:::---===+++++++=--:·. .·:--=========+**++=-:·.
..···.. .··::::::::···.. ..·::-===++++++++++****++=--:.. .·:-===++====++*+++=-:·.
..····. .··::------::··.. .·:-==+*##%%%%####*********+==-:·. .·-==++++++++++++==-:·.
..·····. .·:--=+++++==-::·.. .··:-+*#%@@@@@@@@@%%###*******++=-:·. .·:==+++++++++++===-:·.
..··::··. .·:=+**#####*++=-:··... ...·:-=+*#@@@@@@@@@@@@@%###********+=-:·. .·:-=+****+++++===--:·.
..··::::·. .·:=+*#%@@@@@@%#*+=-::······::-=+#%@@@@@@@@@@@@@%%#**********+=-:·.. ..·:-=+*****+++==---:··.
..··:::::·.. ..·:=+*%@@@@@@@@@@@%*+=-::····::-=+*#@@@@@@@@@@@@@%##*******###**+=-:·.. ...·:-=+*****+++=--:::··.
.··:::--::··.....·::=+*%@@@@@@@@@@@@@%*+=--::··:::-=+*#%@@@@@@@@@@@%#*++++++**####*+=-:·....··:-=+*###**++=-::···..
..··::---::::··:::-=+*#@@@@@@@@@@@@@@%#*==-::·····::-=++*#%@@@@@@%%#*++====++**####*+=-::····:--=+*####*++=-::··..
.··:::::···.···:--=+**##%%%%%%%%###**++=--:··... .....···::-==+++++=--:·. ..·::::::······:-=====-:·.
..··:···.. ..··:-=++*###%%###**+==-:··.. ......·····:::--=====-::·. ..·::---:::····::--==--:·.
..·····.. .·:-==+**###**++=-:·.. ..·············:::------:··. .·::------::::::-----:··.
..··... .·:-==++***++=-:·. .··::-----:::·····::::--::··. .·::-=====--::::---:::·..
...... .·:-=+++++==-:·. .·:-==++++==--:::···::::::::·.. .·:-=++++==---:-::::··..
...... .·:-=+++++==-:·. ..·:-++*####**+=--:::··:::::::··. .·:-=++*+++==---::::··..
..... .·:-=++****+==-:·.. .·:-=+*#%@@@@%%#*+=--:::::::::::··. .·:-=+****++==---::···..
..... .·:=+**#####**+=--:···...···:-=+*#%@@@@@@@@%#+==-::::::---::·.. ..·-=+**##**++==-::··...
...... .·:-+*#%%@@@@%%##*+==---:::---=+*#%@@@@@@@@@@%#*+=--::------::·.. .·:-+**###**++=-::··..
........ ..·:-=+*#%@@@@@@@@@%%##**++======++**#%@@@@@@@@@@%#*+=------===--:··. .·:-=+*####**++-::··..
.....·····...····::-=+**#%@@@@@@@@@@@@%%##***++++=+++**#%@@@@@@@@@@%#*+==---======-:··. ..·:-+**####**+=-:··..
....···:::::---==++**##%%@@@@@@@@@@@@%%%%###**++======++*#%@@@@@@@@%#*++======++++=--:·......·:-=+**###**+=-:·...
.·:-=+***+=-::····:--=+#%@@@@@@@@@@@%#*=-:·. ..··:::::::::::::--=++****+=-:·. ..··········::-==++==-:·.
·:-=++++=-:··....··:-=+*#%@@@@@@@@%#+=-·. ..··:::::::·····::--=+++++=-:·.. ..··::::······::----::·.
.·:-====-:·.. ..·:-=+*#%@@@@%#*+=-·. .··:::-:::········:-==+++==-:·. ..·:::::::······::::··..
..·::---:·.. .·:-=++**##**+=-:·. .··::---:::··....··::-=====-:·.. .··::---:::·········...
..······. .·::-==+++==-::·. .·::------:··......··:--===-::·.. ..··:------::····......
....... ..·::--===---::··.. ..··:--====--:··......··:--==--:··.. ..··:--====--::··...
..·::---===----:::···.......··::--==+++==-:··.. ..··:-----::·......··:-===+===-::·...
..··::--====+++++====---:::::::---=+++*+++=-:·... ...·::-----:··.....··:-==+++++=--:·..
..···::--===+++***######***++===--===+++*****+=-:·......··:------:··....··:-==++**++==-:·..
...···::----====++++**###%%@@@@@@%%#**+++==+++**####*+=-:··.....·::-----::···..··:--=++****++=-:·...
..··:--==++**************##%%@@@@@@@@@@%##*++++++**#####*+=-:··....·::--==--::·······:-==+*****++=-:·...
..·:--=+*##%%%%%%%###*******##%%@@@@@@@@@@%#**++++++**##%%#**+-::··.··::--====-::······::-==+*****+=-::·..
.·:-=+*#%%*+=-:·····::-=*#%@@@@@@@@@@@#*+-:·.. .··:-==++++===--:::--==++*++=-:·. ..·:-===+======+++===-::·.
.·:-=+*#%%*+=-::·····:--=+*#%@@@@@@%%#*=-:·.. .·::-======--:::::--==+++++=-:·. .··:-=======------:::··.
.·:-=+**##*+=-:···..···::-==++*****++==-:··. .··:--===---::···::-==++++=-:·.. .·::--===----:::···...
.·:-==+++=--:··........···:::-------:::···.. ..·::-----::·····::-==++++=-:·. ..·::------::··....
..··:::--::··... .....··············... ..·::---:::···.···:-==+++==-:·. ..··::----::··..
.....··..... .....·····:::···... ..··::::::···....··:-=++++==-:·.. ...·::----::··..
...··:::------::··... ..··:::::··......·::-=++++==-:·.......··::---::··..
..................··::-==++**++==-:··.......··::::··.......·:-==++++==-:··.....··:::---::··..
..···:::::::········::-==+*##%%%##*+=-:··.....···:::···... ...·:-=++**++=-:···..···:::----:::·...
.··:--========----:---==+*##%@@@@@@%#*+=-:··...···::::··... ..·::==+***++=-::·······:::------:··...
..·:-=+**#####***++=====++*#%%@@@@@@@@@%#*=-:·······:::::··... ..·:-=+*****+==-::·····:::-------::···..
.·:-=+*##%%@@@@%%##****++**##%@@@@@@@@@@@@#*=-:······::::::··......·::=++**#**+==-::······:::---==--::··.
.·:-=+*#%%#**+==------===++**###%%%%%###**++=--::·····::-==+****++=-::·····:--=====--::····::-=+*#%%@@@%%##**+=-::·..
.·:-=+*##%##**++==================+++++++===---::·······:--=++**++=--:······:--====--::·····::-=+*#%%%%%##*++=-:··..
.·::-=+**##***+++====-----:::::::::::::--------::···...··::-==++++==-:···.··::--====-::··...··:-=++*####**+==::·..
.·::--==++++======---:::···... ...···:::---:::··.....··:--==++==-:···..··::-====--:··....··::-==+++++==-:·..
..···:::::::------::::··.. ..·:::---::··.......··:--===--::··...··:--====--:··.....··::--===--::·..
...........······:····... .··:------:··.. ...·::-----::··...··::-=====--:··......···::::::··..
...······... .·::-=====-:··. ..··:----::··....··:-==++==--:··.........·····...
..·······... ..··:-==++++=-:·.. ..·::::::··....··:-==++++==-::·... .........
..··:::::::···.......··::-=+*****++-:·. ..··::::···...··:-==+***++==-:··.. .........
..··::----------:::::::--=++*##%%##*+-:·. ..··::····...··:--=+**##**+=-::·.. ...·····..
..··::--===++++++++++===++++*##%%@@@%#*+-:·. ..········..··::-=+*#####**+=-:·.. ..···::··..
......·····:::---===+++***##############%%@@@@@@@%*+-:. ..············:-=+*#%%%%%#*+=-:·.. ..··::::::·.
.··:-==+***###########**++==-------==++**######**+==-----==++++==-:·......·:-+**#####**+++++**#%@@@@@@@@@%%#+=-:·..
.·::-==+***###%%%%%%%#**+==-::·····::--=+**#####*++==-----==+++==-:··.. ..·:-=+*####**++++++**#%%@@@@@@@%#*+-:··..
..·::--==++***####%###**+=-::·... ...·:-==+*####**+==------======-::·. ..·:-=+**#***++++++++**##%%%%##**+=:··..
..··:::--=====+++****++==-:··. ..·:-=+*####*++=--:::---====--:·.. ..·:-=+*****+++=======++++++++==-:·..
.······::::::-----=----:··.. .·:-=+**#**++=--:::::---==--:·.. ..·:-=++***++===---------:::::··...
...·..........··········... .·:-=+****++=-::···:::-----::·. .·::-=++**++==--::····.......
...... ........ .·:-=++***++=-:······::----::·.. ..·:-=+++*+++=--:··..
... .··:-=+***++=-:··....··:::-::··.. .·::-=++**++==-:·..
................·::-=++**++=-:·... ...··:::::··.. ..··:-=+*****+=-:·.. ....
........... ...····::::······::--=++**++=-:·.. ..··:::::··......··:-=+**##**+=-:·. ..·..
..··::-::::···.........··::---====--------==++***+=-:·. .··:::::···...··::-=+*#####*+=-:·. .····..
..·:-=+**+++=--::··....··::-=++******+++===+++****+=-:·. ..·::::::·····::-=++*#%%%%##*+=:·.. .······.
..···::-==+**#%@@@@@@@@%#*+=-::·····::-=+*#%@@@@%#*+=------===+===-::····::-=+*%%@@@@@@%%#######%%%@@@@%%%##*=-::·..
.··::--=+++**#%%@@@@@%%#**+=-:···..··::-+*#%@@@@@%#*+=--::---====--::··..··:-=+#%@@@@@@@@@@%%%%%%%%%%%####**+=-:··..
..·::--==++++***#######**+==-:··......·:-=+*%@@@@@@%#*+=-::::------::··.....·:-=*#%@@@@@@@@@@@%%###****+++===-::··..
.··:--===++====+++++====---::··... ..·:-=*#%@@@@@@%*+=-::::::---:::·... ..·:-=*#%@@@@@@@@@@%##*++=--:::·····.....
.··:---====-----::::::······.... ..·:-+*#@@@@@@%#*=--::·:::::::··.. .·:-=+#%@@@@@@@@%#*+=-::·..
.·::------:::···.... ..·:=+*%@@@@@@%*+=-:·····:::···.. .·:-=+#%@@@@@@@%#+=-:·.
..·:::---::··.. ..·:-=+#%@@@@@%#+=-:···········.. .··-=+*#%@@@%%#*=-:·
..··::--::··.. ...·:-=*#%@@@@%#+=-:··...······.. .·:-=+*##%%##*+=:·.
..·::---::··. ........·:-=+*#%@@@%#*=-:·.......···... ..·:-=+**###*+=-:·.
..·:-====--:·. ...·········:-=+*#%%%%#+=-:·... .....··.... ..·::-=++****+=-:·. ...
.··-=+***++=-:·. ..··:::::···::--=+*####*+=-:·. ....····.......··::-==++**++==-:·.. .....
.·:=+#%%%%#*+=-:·. .··:------::::::-=++*###*+=-:·. ...···········:::--==+++++++==-::··........·····..
..·::--=++***###%%%%%%##**+=--:··....··:-=+*#%@@%%#*++====++*#####*+=-::····:-=+*#%%@@@@@@@@@@%%##***+++=====---::·.
.·:-=++*############****+++=--::···.···:-=+*%@@@@@%#*+==--==++*****+=-::····:-=+*#@@@@@@@@@@@@@@@%#*++=------::::··.
.·:-=+*#%@%%%###**++++=====----:::······:-=+*%@@@@@%#*+=-----==+++++==-::····:--+*#@@@@@@@@@@@@@@@%*+=-::··········..
.·:-=+*#%@@@%#**+==--:::::::::::::·····::-=+*%@@@@@@%#*=--::::--=====--::·····:-=+#%@@@@@@@@@@@@@@#+=-:·. ...
.:-=+*#%@@%##*+=-:··.......···········::-=+*#@@@@@@@%*+=-::··:::-----::······::-=*#@@@@@@@@@@@@@#*=:·.
.·:-=*#%%%##*+-:·.. ..······::::-=+*#%@@@@@@%#+=-:······::::::····..··::-=*#%@@@@@@@@@@#*=:·.
.·:-=+*##**+=-·.. ..···:::::--=+#%@@@@@@@#*=-:·......·······......··:-=+*#%@@@@@@%#+=:·.
.·:-=+**++=-:·. ..··:::::--=+*#@@@@@@@%*+-:·.. ...............··:--=+**####*+=-:·.
.·:-=++++=-:·. .··:::::--=+*#%@@@@@@%#+=:·. ............··::--===++==--:··.
.··-=++++=--:. ..·:::::---=+*#%@@@@@@#*=:·. ........·····:::------:::···..
.·:-=+++++=-:·. ..·:::-----==+*#%@@@@@#*=-·. ...·······::::::::::::··················....
..·:-=+****++=-:·. .·::-------=++*#%@@@%%*+-:. ..··::::------::::::········:::----==--::··..
.·:-=+#%@@@@@%%#**+++====----::·... ..·:-+*%@@@@@@@%%######%%%##*+-:·.. ..·-=+#%@@@@@@@@@@@%#*+=-::::::::::··..
.·:=+*#%@@@@@@@%#*+==--------:::··......·:-+*#@@@@@@@%%##**#######*+=-::·.....·:-=+#%@@@@@@@@@@@@@%#*=--:··········.
.·-=+*#%@@@@@@@%#*+=--:::::::::::···...··:-=*#%@@@@@@%%#*******##***+=--:·····:-=+*%@@@@@@@@@@@@@@@#*=-:··..........
.·-=+*#%@@@@@@@%*+=-::·····::::::::······:-=+#%@@@@@@%##*+++++++***+++=--:::::--=*#%@@@@@@@@@@@@@@%*+-:·..
.·:=+*#%@@@@@@%#*=-:·......··::----:::::::-=+*%@@@@@@%#*++========+++===-------=+*#%@@@@@@@@@@@@@%*+-:·..
.·:=*#%@@@@@%#*+-:·.. ..·::-----::::--=+*#%@@@@@%#*+=--::::----====------==++*##%@@@@@@@@%#*+=-:·..
..·:=+#%%%%%#*+=:·. ..·:---=-------=+*#%@@@@@%#*+=-:······:::--------====+++****#****+==--:··..
..·:-=*****++=-:·. ..·:-======--==+*#%@@@@@%#*+-:··.......··:::------==========---:::···....
..·:-======--:·. .·:--=========+*##%@@@@%#*=-:·. ..··:::----------:::··..... .......
..·::------:··. .·:-=+++++==++**#%%@@@%#*+-:·. ..··::-------::··... ...·······..
..··::::::::··. .:-=++++++++++*##%%@%%#*+-:·. ..·::-------::··.. ..··:-----::·..
...···::::::::··.. .·:-=+++++++++**##%%%%#*+=:·. .··:--=====--::··.. ..··:-==++*+=-:·..
.·:=*#%@@@@@@@%*+=-::··········... ..·:=+#@@@@@@@@@@%#*+++====--:·.. .·:=+#%@@@@@@@@@@@%#*+==--:::·····.
.·-+*#%@@@@@@@@#*+-::···········.......·:-+#%@@@@@@@@@@%#*++++===--::··... ...·:-=+#%@@@@@@@@@@@@@%#**+==-:::···..
..:-+*#%@@@@@@@@%#+=-:··...········.....·:-=*%@@@@@@@@@@%#**+++=====---::::::::--=+*#%@@@@@@@@@@@@@@%%#*+==-::···...
..:-+*#%@@@@@@@@@#*=-:·.....·········...··:=+#@@@@@@@@@@@%#*++=================++*##%@@@@@@@@@@@@@@%##*++==-:··...
..·-=*#%@@@@@@@@@#*=-:·......··::::·······:-+*%@@@@@@@@@@%#*+=========+++++****###%%%@@@@@%%%%###***+++==--::·...
.·:-=*%@@@@@@@@%#+=-:·......··:::::::····:-=+#@@@@@@@@@@%#++=------===++**###%%%%%%%%##**+++===---------:::··..
..·:-=*#%%@@@@%#*+=-:·.. ...·::----::::::-=+*%@@@@@@@@@#*+=-:::::::--=++**##%%%%###*++=--::··········::::··..
...·:--++***##**+=-:·.. ..·::------::::--=+#%@@@@@@@%#*=-::··..···:--=++**####**+==-:··.. ...······..
...··::--==++++==-:·.. .··:-=====------=+*#%@@@@@%#*+=:··.. ...·::-==++**+++=-::·. ..······..
.....···:::------::·.. ..·:-==++===----==+**#%%%%##+=-:·. .··:--======-::·.. ..··:::··.
.........···::::::··. .·:-=++++++==---==++*####**+=-·.. .··::------::··.. ...·:::-::··.
..............······.. ..·-=++***++=======+++***++=-:·.. ..··:::---::::···........··::---=--:·..
.·:=*%@@@@@@@%#+=-:·.....··:::::·······:-=*#%@@@@@%#*+=-:···...... ..··:-=++*##%%%@@@@@@@%%%##*+=-:··..
..·-=*%@@@@@@@@#*=-:·......···::::·····::-=*#@@@@@@@@%#+=-::··...........····::--==++**###%%%%@@@@@@@@@@@%%*+=-:·..
.·:-=*%@@@@@@@@%#+=:·.. ..··::::::··::--+*#@@@@@@@@@@#*+=-:·········:::--==++**############%%%%@@@@@@@@@@#*=-:·..
..·:-=*%@@@@@@@@@#*=-·.. ..··:::::::::--=*#@@@@@@@@@@@%*+=-::····::--==+*##%%@@@@@@%%%##*******##%%%@@@@@#*=-:·..
.··:-=*#@@@@@@@@@%*+-:·. ..·:::::::::--=+#%@@@@@@@@@@@%*+=-::::::--=+*#%%@@@@@@@@@%%#**+=======++*###%%%#+=-:·.
.··:-=+*%%@@@@@@@%#+=-·.. ..··::----:---=+*%@@@@@@@@@@@@#*+=--::::--=+*#%@@@@@@@@@%%#*+=--::::::--==+*****+-:·..
.··:--=+*##%%@@@@%#*+-:·. .··::--------=+*#%@@@@@@@@@@@%#+=--::::--==+*#%%@@@@@%%#*+=-::··.....··::-==++==-:·..
..·::--=+++*##%%%%#*+=:·.. ..·::--------==+*#%@@@@@@@@@@%#+=--:::::::-==+***###**++=-::·... ..··:-----:·..
..··:::---==+**####*+=-:·. ..·::--===----==+**#%@@@@@@@%#*+=-::·······::---=====---::··.. ..··::::··..
..·····::::--=++****+=-:·.. ..·::-======----==+**#%%%%%%#*+==-:··.........············..... ...······..
..·········::-=+++++==-:·......·::-=======-----==+++******+==-::·... .........................····...
...···......·::-==++==-:··.....·::-==+++===---------=======--::··... ...···:::::::···········...
.·:-=*#%%@@@%#*+=-:····:::-----:··.. ..·:-=++**++=-::·. ..··::--------------==++*##%@@@@@@%*=-:·.
..·:-=**#%%@%%#*+=-:······:------::··....·::-=+*###**+=-:·. .··:-==+*******+++=====++**#%@@@@@@@%#*=:·.
..·::-=+*##%%%%#*+=-:··...··:--===--::····::-=+*#%%%%#*+=-:·.. .··:-=+*#%%@@@@%%##**++++++**#%@@@@@@@%#*+-:·.
..·::--=+**##%%%##*=-:·.....·::-=====---:::--=+*#%@@@@@%#*+=-:··.....··:-=+*#%@@@@@@@@@%%#**++++++**#%@@@@@@%#*+=:·.
.··:--==++**##%%##*+-:··.....·:--==++====--==+**#%@@@@@@@%#*+==-::::::--=+*#%@@@@@@@@@@%##*+++====++*#%@@@@@%#*+=:·.
.·::--==+++**#####*+=-:·.. ...·:-=+++++++===++*#%@@@@@@@@@@%#**+===--===++*##%%%@@@@%%##**++===---==++*#%@@@%#*+=:·.
.·:--===++++**####*+=-:·.. ..·:--=++***+++++**##%@@@@@@@@@@@%##*++++==+++++*********+++===-----::---==+*#%%%#*+-:·.
.·:--===+==++**###**+=:·.. ..·:-=++***********##%@@@@@@@@@@@%%##**++=====--------:::::::::::::::::::--=+****+=-:·.
.·:--========+***#**+=-:·.. .··:-=+********++***##%%@@@@@@@@%%##**++=--:::··...........·····::······:::-=====-:·..
.·::---==---==++*****+=-:·.. ..·:-=++******++++++++***#####%####**++=--:··. ...···:::·······::----::·.
..·::---------=++****+=-:·... ..··:-=++****+++===----====+++*****+++==-:·.. ..··::::::·············..
.··::---::::--=++****+=-:·......·:--=++**+++==--:::::::::--====++===--:·.. ..·:-----::···..........
...··:=+*#%%@@@%#*+=-:··········.. ..·:--===--:·.. .··:--=======--:::····::-==+*#%@@@%*=-:..
....··:-=+*#%%%%%#*+=-::····:::::··. ..·::--==--::·.. ..·:--=++******++===-----==++*#%@@@@%#*=:·.
...····::-=+*##%%%#*+=-::···::::--:::·.. ..·::--====--::··........··:--=++**#######***++++++++**#%@@@@@%#*+-·.
..·····:::-=+**####*+=--::··:::--==---:···....··::--==++++===---::::::---==++***############*******##%%@@@@@%#*+=:·.
.···:::::::-=++*###*++=-::··::--==+++==--:::··:::--==++**********+++++++*************###############%%@@@@@@%#*+=:·.
.·:::::::::--=++****++=-:::·::--=++****++==-------==++**##%%%%%@@@@%%%%%##***+++=====+++***#########%%%@@@@@%#*+=-·.
.·::---:::::--=++***++=--::·:::-=+**#####**++======++**##%%@@@@@@@@@@@@@%#**+=--::::::--==++**#######%%%@@@@%#*+=-·.
.·:------::::--=++**++=--::··::-=+**#%%%%%##**++++++++**#%%@@@@@@@@@@@@@%#*=-:··... ...··:-=++**########%%@@%#*+=-:.
.·:------:::::--=+++++==-:::·::--=+*#%%@@@%%##**+++==+++**#%@@@@@@@@@@@%#*=-:·. .·:-=++********##%%%#*+=-:.
.·:--===-::::::-==+++++=--::··::-==+*#%%@@%%%#**+========++*##%@@@@@@%%#+=-:. .·:-=++*****+++**#***+=-·.
.·:--====-::::::-==++++==-:::··::-==+*#%%%%%##*+==--:::::--==+**######*+=-:·. .·:-=+++++++===++++==-:·.
.··:-====-::::::--=+++++==-::···::--=+**####**+==-::·······::--==+++++==-:·. .·:-=++++===--------::·.
....···:-==+*#%%##*=-:·. .. ..··:::::···... .....····::::::::··········::-=+*###*+-:·.
...····::-=+*##%%#*+=-:·. ...... ...·························::::::----------::::---=+**#%#*+=:·.
..······::-=+*##%%#*+=-··.. .....·.... ...···:::-----=======-----::::----===++++++======+**#%%##+=-·.
..······:::-=+*##%##*+=::·......·········.. ..··:--=++*###%%###**++==-------==++***###********##%@%#*=-·.
..········::-=+*##%##*+=-:·······::-----::··... ...··:-=+*#%@@@@@@@@@@%#*+==--:::--==+*##%%%%%%#####%%%@%#*+-:..
.··········::-=+*####**+=-::···::--=======--::···....··::-=+#%@@@@@@@@@@@@@%#*=--::··::-=+*#%@@@@@@@@%%%%%@@%#*+-:·.
.···::······::-=**####**+=--:::--==++******++=--:::::::--=+*%@@@@@@@@@@@@@@%#+=-:··..··:-=+*#%@@@@@@@@@@@@@@%#*+=:·.
.··::::···.··::=+**####**+==----==+**##%%%##**++==------=+*#%@@@@@@@@@@@@@@#*=-:·.. ..·:-+*%@@@@@@@@@@@@@@%#*+=:·.
.··:::::··...·:-=+*#####**++=====++*##%%%@%%%##*++=======++*#%@@@@@@@@@@@%#*=-:·. .·:-+#%@@@@@@@@@@@@@%#*+=:·.
.··:::::··....·:-=+*######**+++=+++**#%%%%%%%%#**++=======++**#%%@@@@@%%#*+=-·.. .:-+#%@@@@@@@@@@@@%#*+=:·.
..·::::::·.....·:-=+*######**+++++++**########**++====----===++++****++==--:·. .:=+#%@@@@@@@@@%%#**+=:·.
..·::--::··....··:-=+*##%###**++++==+++++++++++====-------------------:::··.. ·:=+#%@@@@@@@%%%#*+=-:·. $ open /benchmarks/zebralogicbench/tasks/grid~5fmode--t…▌ posts · files
ZebraLogicBench / lgp-test-3x6-35 / There are 3 houses, numbered 1 to 3 from left to right, as seen from across the…
Problem
puzzle
There are 3 houses, numbered 1 to 3 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: `Eric`, `Arnold`, `Peter` - Each person prefers a unique type of vacation: `mountain`, `city`, `beach` - People have unique heights: `very short`, `average`, `short` - They all have a unique favorite flower: `carnations`, `daffodils`, `lilies` - People have unique hair colors: `brown`, `black`, `blonde` - Each person has a unique level of education: `associate`, `bachelor`, `high school` ## Clues: 1. Peter is the person who has an average height. 2. The person who loves a bouquet of daffodils is Arnold. 3. The person who is very short is not in the second house. 4. The person who loves beach vacations is in the first house. 5. The person with a high school diploma is in the third house. 6. The person who is short is somewhere to the right of the person who is very short. 7. The person who loves the boquet of lilies is Eric. 8. The person who loves the boquet of lilies is the person with a bachelor's degree. 9. The person who prefers city breaks is somewhere to the right of Peter. 10. The person who has blonde hair is in the third house. 11. The person who loves beach vacations is the person who has brown hair.
size
3*6
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-3x6-35
- task_id
5ebe111e-b20d-5bb0-b53b-14bac4ba44ec- task_key
grid~5fmode--test--lgp~2dtest~2d3x6~2d35- task_revision_id
- 1
- config / split
- grid_mode / test
initial import