benchmarks.wiki / Public workspace
..·········::-----:··. ..··::::···... ...··::-------::··.. ...........··:-=+#%%#*+-:·.
.··········::------:·.. ..·······... .·::-=+++*+++=-::·.. ..···········::-=+*###*+-:·.
.··:::·····:::--==--:·.. ..·······.. .·-=+*#%%%%%%#*+=-:·.. ..··::-----::::--=+*##**+-:·.
.··:::::····::--====-:·.. ..········.. .·-=+#%@@@@@@@@%#*+-:··......··:-========----=++***++-:·.
.··::::::···::--=====--:·.. ...··::::::··.. .·:-=*#@@@@@@@@@@@@%*+=:··....··:-=++*****++====++***+=-:·.
.··::::::····:--=+++++=--:··.....···::------::··........··:=+*%@@@@@@@@@@@@@@#*+-:···.··::-=+*#%%%##**+++++**++=-:·.
..·::::::····::-=++***++==-:::···:::--=======---::::::::-==+*%@@@@@@@@@@@@@@@%*+=-:·····::-+*#%@@@@%%#**+++*++==-:·.
..·::::::·····:-==+*####**++==-----===+++++++++========++**#%%@@@@@@@@@@@@@@%#*+=-:······:-+*#@@@@@@@%%#****++==-:·.
..··:::::······:-=+*#%%%%%##**++++++++++********++++****###%%@@@@@@@@@@@@%%##*+=-::··..··:-=*#@@@@@@@@@%#***++=--:·.
.··:::::··..··:-=+*#%@@@@@@%%###****+++++++++++******####%%%%%%%%####***+++==--::··....··:=+#%@@@@@@@@@%##*+==-::·.
..··::::··...··:-=+#%@@@@@@@@@@%##**+++=========+++***########**++===----::::::··.......·:-=*%@@@@@@@@@@%#*+==-:··.
..··::::··....··:-+*#@@@@@@@@@@@%#**+=--::::::::--==++***#***++==-::···............ ..·:-+#%@@@@@@@@@@%#+=--:··.
...... .········......··:--=+++*+++=-:·. .·:-=+****++=-:·. ..······::-=+*#@%#*+=:·.
.····.. ..·····... ...·::--====--:·. .·-=+*#####*+=-:. .···::::::--=*#%%#*+=-·.
.·····. ...··.... ..··::::::··.. .·:-+*#%%@%%%#*=-:·. ..··:::::::--=+*#%#*+=-·.
.··::··. ...···.... ....······.. ..·:=+*#%@@@@@@%#*+-:·. ..·::--------=+*###*+=-·.
.·::::··. ..······.... .......·...... ..·:-=+*#%%@@@@@@@@@%*+=:·. .·::--===----==+****+=-:.
.·:::::··. ..··:::::····..........···........···::--=++*#%%@@@@@@@@@@@@%*+=-·.. ..·:-===+=======++**++=-·.
.·::--::·.. ..··:--------:::::·············::::--=++*##%%@@@@@@@@@@@@@@@@%#*+=-:·......·:-==++++++=====++++=-:·.
.··:---::·.. ..··:-==++***+++===---::::::::::--==+**#%@@@@@@@@@@@@@@@@@@@@@%%#*+=-:··...··:-=+******++=======--:·.
..·:----::·......·:-=+*##%%%%%%##**+==--:::::::--=+*#%@@@@@@@@@@@@@@%%%%%%%%%%##**+=-::····:-=+*######*++====---::·.
..·::----:··....··:-=*#%@@@@@@@@@@%#*+==--:::::--=+*#%@@@@@@@@@@@@%##***++********++=-::::::-=+*#%%%%%#*++==---::··.
..·::---::··..··::=+*%@@@@@@@@@@@@@%*+=-::·····::-=+*#%@@@@@@@@%%#*+==----==+++++++==--:::-==*#%@@@@@%#*+==--::··..
..··::--:::·····:-=+*%@@@@@@@@@@@@@%#+=-:·......··:-=+*#%%@@@%%#*+=--:····::--==+++==------=+*#%@@@@@@%#*+=-::···..
..... ..·:--=============+++*******+=-:·.. .·:-==+***++=-:·. .·:::--:::::--=+***+=-:·.
..... ..·::----------------==----::·.. ..·:--=++++++=-:·. ..·:---------==+***+=-:·.
...... .··:::::::::::::::·····... ..··::--==+++++==-:·. .·:--===----==+***+=-:·.
...·.. ..··::::::::····.... ...··:::---===+++++++=--:·. .·:--=========+**++=-:·.
..···.. .··::::::::···.. ..·::-===++++++++++****++=--:.. .·:-===++====++*+++=-:·.
..····. .··::------::··.. .·:-==+*##%%%%####*********+==-:·. .·-==++++++++++++==-:·.
..·····. .·:--=+++++==-::·.. .··:-+*#%@@@@@@@@@%%###*******++=-:·. .·:==+++++++++++===-:·.
..··::··. .·:=+**#####*++=-:··... ...·:-=+*#@@@@@@@@@@@@@%###********+=-:·. .·:-=+****+++++===--:·.
..··::::·. .·:=+*#%@@@@@@%#*+=-::······::-=+#%@@@@@@@@@@@@@%%#**********+=-:·.. ..·:-=+*****+++==---:··.
..··:::::·.. ..·:=+*%@@@@@@@@@@@%*+=-::····::-=+*#@@@@@@@@@@@@@%##*******###**+=-:·.. ...·:-=+*****+++=--:::··.
.··:::--::··.....·::=+*%@@@@@@@@@@@@@%*+=--::··:::-=+*#%@@@@@@@@@@@%#*++++++**####*+=-:·....··:-=+*###**++=-::···..
..··::---::::··:::-=+*#@@@@@@@@@@@@@@%#*==-::·····::-=++*#%@@@@@@%%#*++====++**####*+=-::····:--=+*####*++=-::··..
.··:::::···.···:--=+**##%%%%%%%%###**++=--:··... .....···::-==+++++=--:·. ..·::::::······:-=====-:·.
..··:···.. ..··:-=++*###%%###**+==-:··.. ......·····:::--=====-::·. ..·::---:::····::--==--:·.
..·····.. .·:-==+**###**++=-:·.. ..·············:::------:··. .·::------::::::-----:··.
..··... .·:-==++***++=-:·. .··::-----:::·····::::--::··. .·::-=====--::::---:::·..
...... .·:-=+++++==-:·. .·:-==++++==--:::···::::::::·.. .·:-=++++==---:-::::··..
...... .·:-=+++++==-:·. ..·:-++*####**+=--:::··:::::::··. .·:-=++*+++==---::::··..
..... .·:-=++****+==-:·.. .·:-=+*#%@@@@%%#*+=--:::::::::::··. .·:-=+****++==---::···..
..... .·:=+**#####**+=--:···...···:-=+*#%@@@@@@@@%#+==-::::::---::·.. ..·-=+**##**++==-::··...
...... .·:-+*#%%@@@@%%##*+==---:::---=+*#%@@@@@@@@@@%#*+=--::------::·.. .·:-+**###**++=-::··..
........ ..·:-=+*#%@@@@@@@@@%%##**++======++**#%@@@@@@@@@@%#*+=------===--:··. .·:-=+*####**++-::··..
.....·····...····::-=+**#%@@@@@@@@@@@@%%##***++++=+++**#%@@@@@@@@@@%#*+==---======-:··. ..·:-+**####**+=-:··..
....···:::::---==++**##%%@@@@@@@@@@@@%%%%###**++======++*#%@@@@@@@@%#*++======++++=--:·......·:-=+**###**+=-:·...
.·:-=+***+=-::····:--=+#%@@@@@@@@@@@%#*=-:·. ..··:::::::::::::--=++****+=-:·. ..··········::-==++==-:·.
·:-=++++=-:··....··:-=+*#%@@@@@@@@%#+=-·. ..··:::::::·····::--=+++++=-:·.. ..··::::······::----::·.
.·:-====-:·.. ..·:-=+*#%@@@@%#*+=-·. .··:::-:::········:-==+++==-:·. ..·:::::::······::::··..
..·::---:·.. .·:-=++**##**+=-:·. .··::---:::··....··::-=====-:·.. .··::---:::·········...
..······. .·::-==+++==-::·. .·::------:··......··:--===-::·.. ..··:------::····......
....... ..·::--===---::··.. ..··:--====--:··......··:--==--:··.. ..··:--====--::··...
..·::---===----:::···.......··::--==+++==-:··.. ..··:-----::·......··:-===+===-::·...
..··::--====+++++====---:::::::---=+++*+++=-:·... ...·::-----:··.....··:-==+++++=--:·..
..···::--===+++***######***++===--===+++*****+=-:·......··:------:··....··:-==++**++==-:·..
...···::----====++++**###%%@@@@@@%%#**+++==+++**####*+=-:··.....·::-----::···..··:--=++****++=-:·...
..··:--==++**************##%%@@@@@@@@@@%##*++++++**#####*+=-:··....·::--==--::·······:-==+*****++=-:·...
..·:--=+*##%%%%%%%###*******##%%@@@@@@@@@@%#**++++++**##%%#**+-::··.··::--====-::······::-==+*****+=-::·..
.·:-=+*#%%*+=-:·····::-=*#%@@@@@@@@@@@#*+-:·.. .··:-==++++===--:::--==++*++=-:·. ..·:-===+======+++===-::·.
.·:-=+*#%%*+=-::·····:--=+*#%@@@@@@%%#*=-:·.. .·::-======--:::::--==+++++=-:·. .··:-=======------:::··.
.·:-=+**##*+=-:···..···::-==++*****++==-:··. .··:--===---::···::-==++++=-:·.. .·::--===----:::···...
.·:-==+++=--:··........···:::-------:::···.. ..·::-----::·····::-==++++=-:·. ..·::------::··....
..··:::--::··... .....··············... ..·::---:::···.···:-==+++==-:·. ..··::----::··..
.....··..... .....·····:::···... ..··::::::···....··:-=++++==-:·.. ...·::----::··..
...··:::------::··... ..··:::::··......·::-=++++==-:·.......··::---::··..
..................··::-==++**++==-:··.......··::::··.......·:-==++++==-:··.....··:::---::··..
..···:::::::········::-==+*##%%%##*+=-:··.....···:::···... ...·:-=++**++=-:···..···:::----:::·...
.··:--========----:---==+*##%@@@@@@%#*+=-:··...···::::··... ..·::==+***++=-::·······:::------:··...
..·:-=+**#####***++=====++*#%%@@@@@@@@@%#*=-:·······:::::··... ..·:-=+*****+==-::·····:::-------::···..
.·:-=+*##%%@@@@%%##****++**##%@@@@@@@@@@@@#*=-:······::::::··......·::=++**#**+==-::······:::---==--::··.
.·:-=+*#%%#**+==------===++**###%%%%%###**++=--::·····::-==+****++=-::·····:--=====--::····::-=+*#%%@@@%%##**+=-::·..
.·:-=+*##%##**++==================+++++++===---::·······:--=++**++=--:······:--====--::·····::-=+*#%%%%%##*++=-:··..
.·::-=+**##***+++====-----:::::::::::::--------::···...··::-==++++==-:···.··::--====-::··...··:-=++*####**+==::·..
.·::--==++++======---:::···... ...···:::---:::··.....··:--==++==-:···..··::-====--:··....··::-==+++++==-:·..
..···:::::::------::::··.. ..·:::---::··.......··:--===--::··...··:--====--:··.....··::--===--::·..
...........······:····... .··:------:··.. ...·::-----::··...··::-=====--:··......···::::::··..
...······... .·::-=====-:··. ..··:----::··....··:-==++==--:··.........·····...
..·······... ..··:-==++++=-:·.. ..·::::::··....··:-==++++==-::·... .........
..··:::::::···.......··::-=+*****++-:·. ..··::::···...··:-==+***++==-:··.. .........
..··::----------:::::::--=++*##%%##*+-:·. ..··::····...··:--=+**##**+=-::·.. ...·····..
..··::--===++++++++++===++++*##%%@@@%#*+-:·. ..········..··::-=+*#####**+=-:·.. ..···::··..
......·····:::---===+++***##############%%@@@@@@@%*+-:. ..············:-=+*#%%%%%#*+=-:·.. ..··::::::·.
.··:-==+***###########**++==-------==++**######**+==-----==++++==-:·......·:-+**#####**+++++**#%@@@@@@@@@%%#+=-:·..
.·::-==+***###%%%%%%%#**+==-::·····::--=+**#####*++==-----==+++==-:··.. ..·:-=+*####**++++++**#%%@@@@@@@%#*+-:··..
..·::--==++***####%###**+=-::·... ...·:-==+*####**+==------======-::·. ..·:-=+**#***++++++++**##%%%%##**+=:··..
..··:::--=====+++****++==-:··. ..·:-=+*####*++=--:::---====--:·.. ..·:-=+*****+++=======++++++++==-:·..
.······::::::-----=----:··.. .·:-=+**#**++=--:::::---==--:·.. ..·:-=++***++===---------:::::··...
...·..........··········... .·:-=+****++=-::···:::-----::·. .·::-=++**++==--::····.......
...... ........ .·:-=++***++=-:······::----::·.. ..·:-=+++*+++=--:··..
... .··:-=+***++=-:··....··:::-::··.. .·::-=++**++==-:·..
................·::-=++**++=-:·... ...··:::::··.. ..··:-=+*****+=-:·.. ....
........... ...····::::······::--=++**++=-:·.. ..··:::::··......··:-=+**##**+=-:·. ..·..
..··::-::::···.........··::---====--------==++***+=-:·. .··:::::···...··::-=+*#####*+=-:·. .····..
..·:-=+**+++=--::··....··::-=++******+++===+++****+=-:·. ..·::::::·····::-=++*#%%%%##*+=:·.. .······.
..···::-==+**#%@@@@@@@@%#*+=-::·····::-=+*#%@@@@%#*+=------===+===-::····::-=+*%%@@@@@@%%#######%%%@@@@%%%##*=-::·..
.··::--=+++**#%%@@@@@%%#**+=-:···..··::-+*#%@@@@@%#*+=--::---====--::··..··:-=+#%@@@@@@@@@@%%%%%%%%%%%####**+=-:··..
..·::--==++++***#######**+==-:··......·:-=+*%@@@@@@%#*+=-::::------::··.....·:-=*#%@@@@@@@@@@@%%###****+++===-::··..
.··:--===++====+++++====---::··... ..·:-=*#%@@@@@@%*+=-::::::---:::·... ..·:-=*#%@@@@@@@@@@%##*++=--:::·····.....
.··:---====-----::::::······.... ..·:-+*#@@@@@@%#*=--::·:::::::··.. .·:-=+#%@@@@@@@@%#*+=-::·..
.·::------:::···.... ..·:=+*%@@@@@@%*+=-:·····:::···.. .·:-=+#%@@@@@@@%#+=-:·.
..·:::---::··.. ..·:-=+#%@@@@@%#+=-:···········.. .··-=+*#%@@@%%#*=-:·
..··::--::··.. ...·:-=*#%@@@@%#+=-:··...······.. .·:-=+*##%%##*+=:·.
..·::---::··. ........·:-=+*#%@@@%#*=-:·.......···... ..·:-=+**###*+=-:·.
..·:-====--:·. ...·········:-=+*#%%%%#+=-:·... .....··.... ..·::-=++****+=-:·. ...
.··-=+***++=-:·. ..··:::::···::--=+*####*+=-:·. ....····.......··::-==++**++==-:·.. .....
.·:=+#%%%%#*+=-:·. .··:------::::::-=++*###*+=-:·. ...···········:::--==+++++++==-::··........·····..
..·::--=++***###%%%%%%##**+=--:··....··:-=+*#%@@%%#*++====++*#####*+=-::····:-=+*#%%@@@@@@@@@@%%##***+++=====---::·.
.·:-=++*############****+++=--::···.···:-=+*%@@@@@%#*+==--==++*****+=-::····:-=+*#@@@@@@@@@@@@@@@%#*++=------::::··.
.·:-=+*#%@%%%###**++++=====----:::······:-=+*%@@@@@%#*+=-----==+++++==-::····:--+*#@@@@@@@@@@@@@@@%*+=-::··········..
.·:-=+*#%@@@%#**+==--:::::::::::::·····::-=+*%@@@@@@%#*=--::::--=====--::·····:-=+#%@@@@@@@@@@@@@@#+=-:·. ...
.:-=+*#%@@%##*+=-:··.......···········::-=+*#@@@@@@@%*+=-::··:::-----::······::-=*#@@@@@@@@@@@@@#*=:·.
.·:-=*#%%%##*+-:·.. ..······::::-=+*#%@@@@@@%#+=-:······::::::····..··::-=*#%@@@@@@@@@@#*=:·.
.·:-=+*##**+=-·.. ..···:::::--=+#%@@@@@@@#*=-:·......·······......··:-=+*#%@@@@@@%#+=:·.
.·:-=+**++=-:·. ..··:::::--=+*#@@@@@@@%*+-:·.. ...............··:--=+**####*+=-:·.
.·:-=++++=-:·. .··:::::--=+*#%@@@@@@%#+=:·. ............··::--===++==--:··.
.··-=++++=--:. ..·:::::---=+*#%@@@@@@#*=:·. ........·····:::------:::···..
.·:-=+++++=-:·. ..·:::-----==+*#%@@@@@#*=-·. ...·······::::::::::::··················....
..·:-=+****++=-:·. .·::-------=++*#%@@@%%*+-:. ..··::::------::::::········:::----==--::··..
.·:-=+#%@@@@@%%#**+++====----::·... ..·:-+*%@@@@@@@%%######%%%##*+-:·.. ..·-=+#%@@@@@@@@@@@%#*+=-::::::::::··..
.·:=+*#%@@@@@@@%#*+==--------:::··......·:-+*#@@@@@@@%%##**#######*+=-::·.....·:-=+#%@@@@@@@@@@@@@%#*=--:··········.
.·-=+*#%@@@@@@@%#*+=--:::::::::::···...··:-=*#%@@@@@@%%#*******##***+=--:·····:-=+*%@@@@@@@@@@@@@@@#*=-:··..........
.·-=+*#%@@@@@@@%*+=-::·····::::::::······:-=+#%@@@@@@%##*+++++++***+++=--:::::--=*#%@@@@@@@@@@@@@@%*+-:·..
.·:=+*#%@@@@@@%#*=-:·......··::----:::::::-=+*%@@@@@@%#*++========+++===-------=+*#%@@@@@@@@@@@@@%*+-:·..
.·:=*#%@@@@@%#*+-:·.. ..·::-----::::--=+*#%@@@@@%#*+=--::::----====------==++*##%@@@@@@@@%#*+=-:·..
..·:=+#%%%%%#*+=:·. ..·:---=-------=+*#%@@@@@%#*+=-:······:::--------====+++****#****+==--:··..
..·:-=*****++=-:·. ..·:-======--==+*#%@@@@@%#*+-:··.......··:::------==========---:::···....
..·:-======--:·. .·:--=========+*##%@@@@%#*=-:·. ..··:::----------:::··..... .......
..·::------:··. .·:-=+++++==++**#%%@@@%#*+-:·. ..··::-------::··... ...·······..
..··::::::::··. .:-=++++++++++*##%%@%%#*+-:·. ..·::-------::··.. ..··:-----::·..
...···::::::::··.. .·:-=+++++++++**##%%%%#*+=:·. .··:--=====--::··.. ..··:-==++*+=-:·..
.·:=*#%@@@@@@@%*+=-::··········... ..·:=+#@@@@@@@@@@%#*+++====--:·.. .·:=+#%@@@@@@@@@@@%#*+==--:::·····.
.·-+*#%@@@@@@@@#*+-::···········.......·:-+#%@@@@@@@@@@%#*++++===--::··... ...·:-=+#%@@@@@@@@@@@@@%#**+==-:::···..
..:-+*#%@@@@@@@@%#+=-:··...········.....·:-=*%@@@@@@@@@@%#**+++=====---::::::::--=+*#%@@@@@@@@@@@@@@%%#*+==-::···...
..:-+*#%@@@@@@@@@#*=-:·.....·········...··:=+#@@@@@@@@@@@%#*++=================++*##%@@@@@@@@@@@@@@%##*++==-:··...
..·-=*#%@@@@@@@@@#*=-:·......··::::·······:-+*%@@@@@@@@@@%#*+=========+++++****###%%%@@@@@%%%%###***+++==--::·...
.·:-=*%@@@@@@@@%#+=-:·......··:::::::····:-=+#@@@@@@@@@@%#++=------===++**###%%%%%%%%##**+++===---------:::··..
..·:-=*#%%@@@@%#*+=-:·.. ...·::----::::::-=+*%@@@@@@@@@#*+=-:::::::--=++**##%%%%###*++=--::··········::::··..
...·:--++***##**+=-:·.. ..·::------::::--=+#%@@@@@@@%#*=-::··..···:--=++**####**+==-:··.. ...······..
...··::--==++++==-:·.. .··:-=====------=+*#%@@@@@%#*+=:··.. ...·::-==++**+++=-::·. ..······..
.....···:::------::·.. ..·:-==++===----==+**#%%%%##+=-:·. .··:--======-::·.. ..··:::··.
.........···::::::··. .·:-=++++++==---==++*####**+=-·.. .··::------::··.. ...·:::-::··.
..............······.. ..·-=++***++=======+++***++=-:·.. ..··:::---::::···........··::---=--:·..
.·:=*%@@@@@@@%#+=-:·.....··:::::·······:-=*#%@@@@@%#*+=-:···...... ..··:-=++*##%%%@@@@@@@%%%##*+=-:··..
..·-=*%@@@@@@@@#*=-:·......···::::·····::-=*#@@@@@@@@%#+=-::··...........····::--==++**###%%%%@@@@@@@@@@@%%*+=-:·..
.·:-=*%@@@@@@@@%#+=:·.. ..··::::::··::--+*#@@@@@@@@@@#*+=-:·········:::--==++**############%%%%@@@@@@@@@@#*=-:·..
..·:-=*%@@@@@@@@@#*=-·.. ..··:::::::::--=*#@@@@@@@@@@@%*+=-::····::--==+*##%%@@@@@@%%%##*******##%%%@@@@@#*=-:·..
.··:-=*#@@@@@@@@@%*+-:·. ..·:::::::::--=+#%@@@@@@@@@@@%*+=-::::::--=+*#%%@@@@@@@@@%%#**+=======++*###%%%#+=-:·.
.··:-=+*%%@@@@@@@%#+=-·.. ..··::----:---=+*%@@@@@@@@@@@@#*+=--::::--=+*#%@@@@@@@@@%%#*+=--::::::--==+*****+-:·..
.··:--=+*##%%@@@@%#*+-:·. .··::--------=+*#%@@@@@@@@@@@%#+=--::::--==+*#%%@@@@@%%#*+=-::··.....··::-==++==-:·..
..·::--=+++*##%%%%#*+=:·.. ..·::--------==+*#%@@@@@@@@@@%#+=--:::::::-==+***###**++=-::·... ..··:-----:·..
..··:::---==+**####*+=-:·. ..·::--===----==+**#%@@@@@@@%#*+=-::·······::---=====---::··.. ..··::::··..
..·····::::--=++****+=-:·.. ..·::-======----==+**#%%%%%%#*+==-:··.........············..... ...······..
..·········::-=+++++==-:·......·::-=======-----==+++******+==-::·... .........................····...
...···......·::-==++==-:··.....·::-==+++===---------=======--::··... ...···:::::::···········...
.·:-=*#%%@@@%#*+=-:····:::-----:··.. ..·:-=++**++=-::·. ..··::--------------==++*##%@@@@@@%*=-:·.
..·:-=**#%%@%%#*+=-:······:------::··....·::-=+*###**+=-:·. .··:-==+*******+++=====++**#%@@@@@@@%#*=:·.
..·::-=+*##%%%%#*+=-:··...··:--===--::····::-=+*#%%%%#*+=-:·.. .··:-=+*#%%@@@@%%##**++++++**#%@@@@@@@%#*+-:·.
..·::--=+**##%%%##*=-:·.....·::-=====---:::--=+*#%@@@@@%#*+=-:··.....··:-=+*#%@@@@@@@@@%%#**++++++**#%@@@@@@%#*+=:·.
.··:--==++**##%%##*+-:··.....·:--==++====--==+**#%@@@@@@@%#*+==-::::::--=+*#%@@@@@@@@@@%##*+++====++*#%@@@@@%#*+=:·.
.·::--==+++**#####*+=-:·.. ...·:-=+++++++===++*#%@@@@@@@@@@%#**+===--===++*##%%%@@@@%%##**++===---==++*#%@@@%#*+=:·.
.·:--===++++**####*+=-:·.. ..·:--=++***+++++**##%@@@@@@@@@@@%##*++++==+++++*********+++===-----::---==+*#%%%#*+-:·.
.·:--===+==++**###**+=:·.. ..·:-=++***********##%@@@@@@@@@@@%%##**++=====--------:::::::::::::::::::--=+****+=-:·.
.·:--========+***#**+=-:·.. .··:-=+********++***##%%@@@@@@@@%%##**++=--:::··...........·····::······:::-=====-:·..
.·::---==---==++*****+=-:·.. ..·:-=++******++++++++***#####%####**++=--:··. ...···:::·······::----::·.
..·::---------=++****+=-:·... ..··:-=++****+++===----====+++*****+++==-:·.. ..··::::::·············..
.··::---::::--=++****+=-:·......·:--=++**+++==--:::::::::--====++===--:·.. ..·:-----::···..........
...··:=+*#%%@@@%#*+=-:··········.. ..·:--===--:·.. .··:--=======--:::····::-==+*#%@@@%*=-:..
....··:-=+*#%%%%%#*+=-::····:::::··. ..·::--==--::·.. ..·:--=++******++===-----==++*#%@@@@%#*=:·.
...····::-=+*##%%%#*+=-::···::::--:::·.. ..·::--====--::··........··:--=++**#######***++++++++**#%@@@@@%#*+-·.
..·····:::-=+**####*+=--::··:::--==---:···....··::--==++++===---::::::---==++***############*******##%%@@@@@%#*+=:·.
.···:::::::-=++*###*++=-::··::--==+++==--:::··:::--==++**********+++++++*************###############%%@@@@@@%#*+=:·.
.·:::::::::--=++****++=-:::·::--=++****++==-------==++**##%%%%%@@@@%%%%%##***+++=====+++***#########%%%@@@@@%#*+=-·.
.·::---:::::--=++***++=--::·:::-=+**#####**++======++**##%%@@@@@@@@@@@@@%#**+=--::::::--==++**#######%%%@@@@%#*+=-·.
.·:------::::--=++**++=--::··::-=+**#%%%%%##**++++++++**#%%@@@@@@@@@@@@@%#*=-:··... ...··:-=++**########%%@@%#*+=-:.
.·:------:::::--=+++++==-:::·::--=+*#%%@@@%%##**+++==+++**#%@@@@@@@@@@@%#*=-:·. .·:-=++********##%%%#*+=-:.
.·:--===-::::::-==+++++=--::··::-==+*#%%@@%%%#**+========++*##%@@@@@@%%#+=-:. .·:-=++*****+++**#***+=-·.
.·:--====-::::::-==++++==-:::··::-==+*#%%%%%##*+==--:::::--==+**######*+=-:·. .·:-=+++++++===++++==-:·.
.··:-====-::::::--=+++++==-::···::--=+**####**+==-::·······::--==+++++==-:·. .·:-=++++===--------::·.
....···:-==+*#%%##*=-:·. .. ..··:::::···... .....····::::::::··········::-=+*###*+-:·.
...····::-=+*##%%#*+=-:·. ...... ...·························::::::----------::::---=+**#%#*+=:·.
..······::-=+*##%%#*+=-··.. .....·.... ...···:::-----=======-----::::----===++++++======+**#%%##+=-·.
..······:::-=+*##%##*+=::·......·········.. ..··:--=++*###%%###**++==-------==++***###********##%@%#*=-·.
..········::-=+*##%##*+=-:·······::-----::··... ...··:-=+*#%@@@@@@@@@@%#*+==--:::--==+*##%%%%%%#####%%%@%#*+-:..
.··········::-=+*####**+=-::···::--=======--::···....··::-=+#%@@@@@@@@@@@@@%#*=--::··::-=+*#%@@@@@@@@%%%%%@@%#*+-:·.
.···::······::-=**####**+=--:::--==++******++=--:::::::--=+*%@@@@@@@@@@@@@@%#+=-:··..··:-=+*#%@@@@@@@@@@@@@@%#*+=:·.
.··::::···.··::=+**####**+==----==+**##%%%##**++==------=+*#%@@@@@@@@@@@@@@#*=-:·.. ..·:-+*%@@@@@@@@@@@@@@%#*+=:·.
.··:::::··...·:-=+*#####**++=====++*##%%%@%%%##*++=======++*#%@@@@@@@@@@@%#*=-:·. .·:-+#%@@@@@@@@@@@@@%#*+=:·.
.··:::::··....·:-=+*######**+++=+++**#%%%%%%%%#**++=======++**#%%@@@@@%%#*+=-·.. .:-+#%@@@@@@@@@@@@%#*+=:·.
..·::::::·.....·:-=+*######**+++++++**########**++====----===++++****++==--:·. .:=+#%@@@@@@@@@%%#**+=:·.
..·::--::··....··:-=+*##%###**++++==+++++++++++====-------------------:::··.. ·:=+#%@@@@@@@%%%#*+=-:·. $ open /benchmarks/zebralogicbench/tasks/grid~5fmode--t…▌ posts · files
ZebraLogicBench / lgp-test-4x5-23 / There are 4 houses, numbered 1 to 4 from left to right, as seen from across the…
Problem
puzzle
There are 4 houses, numbered 1 to 4 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: `Peter`, `Eric`, `Arnold`, `Alice` - People have unique favorite music genres: `pop`, `classical`, `jazz`, `rock` - Each person has a unique hobby: `cooking`, `gardening`, `painting`, `photography` - Each person has a unique level of education: `master`, `associate`, `high school`, `bachelor` - Each person has a unique type of pet: `fish`, `bird`, `dog`, `cat` ## Clues: 1. The person who loves classical music is not in the fourth house. 2. Arnold is the person with a master's degree. 3. Alice is the person who owns a dog. 4. The person who enjoys gardening is not in the third house. 5. The person with a bachelor's degree is Alice. 6. Alice is the photography enthusiast. 7. Arnold is directly left of the person who loves pop music. 8. The person with an associate's degree is directly left of the photography enthusiast. 9. The person who loves rock music is the person who loves cooking. 10. The person with an associate's degree is Eric. 11. The person who has a cat is the person who loves jazz music. 12. Arnold is somewhere to the right of the person with an aquarium of fish.
size
4*5
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-4x5-23
- task_id
4ff2eba9-9fa6-5f44-8ae3-c4c4ed345466- task_key
grid~5fmode--test--lgp~2dtest~2d4x5~2d23- task_revision_id
- 1
- config / split
- grid_mode / test
initial import