benchmarks.wiki / Public workspace
..·········::-----:··. ..··::::···... ...··::-------::··.. ...........··:-=+#%%#*+-:·.
.··········::------:·.. ..·······... .·::-=+++*+++=-::·.. ..···········::-=+*###*+-:·.
.··:::·····:::--==--:·.. ..·······.. .·-=+*#%%%%%%#*+=-:·.. ..··::-----::::--=+*##**+-:·.
.··:::::····::--====-:·.. ..········.. .·-=+#%@@@@@@@@%#*+-:··......··:-========----=++***++-:·.
.··::::::···::--=====--:·.. ...··::::::··.. .·:-=*#@@@@@@@@@@@@%*+=:··....··:-=++*****++====++***+=-:·.
.··::::::····:--=+++++=--:··.....···::------::··........··:=+*%@@@@@@@@@@@@@@#*+-:···.··::-=+*#%%%##**+++++**++=-:·.
..·::::::····::-=++***++==-:::···:::--=======---::::::::-==+*%@@@@@@@@@@@@@@@%*+=-:·····::-+*#%@@@@%%#**+++*++==-:·.
..·::::::·····:-==+*####**++==-----===+++++++++========++**#%%@@@@@@@@@@@@@@%#*+=-:······:-+*#@@@@@@@%%#****++==-:·.
..··:::::······:-=+*#%%%%%##**++++++++++********++++****###%%@@@@@@@@@@@@%%##*+=-::··..··:-=*#@@@@@@@@@%#***++=--:·.
.··:::::··..··:-=+*#%@@@@@@%%###****+++++++++++******####%%%%%%%%####***+++==--::··....··:=+#%@@@@@@@@@%##*+==-::·.
..··::::··...··:-=+#%@@@@@@@@@@%##**+++=========+++***########**++===----::::::··.......·:-=*%@@@@@@@@@@%#*+==-:··.
..··::::··....··:-+*#@@@@@@@@@@@%#**+=--::::::::--==++***#***++==-::···............ ..·:-+#%@@@@@@@@@@%#+=--:··.
...... .········......··:--=+++*+++=-:·. .·:-=+****++=-:·. ..······::-=+*#@%#*+=:·.
.····.. ..·····... ...·::--====--:·. .·-=+*#####*+=-:. .···::::::--=*#%%#*+=-·.
.·····. ...··.... ..··::::::··.. .·:-+*#%%@%%%#*=-:·. ..··:::::::--=+*#%#*+=-·.
.··::··. ...···.... ....······.. ..·:=+*#%@@@@@@%#*+-:·. ..·::--------=+*###*+=-·.
.·::::··. ..······.... .......·...... ..·:-=+*#%%@@@@@@@@@%*+=:·. .·::--===----==+****+=-:.
.·:::::··. ..··:::::····..........···........···::--=++*#%%@@@@@@@@@@@@%*+=-·.. ..·:-===+=======++**++=-·.
.·::--::·.. ..··:--------:::::·············::::--=++*##%%@@@@@@@@@@@@@@@@%#*+=-:·......·:-==++++++=====++++=-:·.
.··:---::·.. ..··:-==++***+++===---::::::::::--==+**#%@@@@@@@@@@@@@@@@@@@@@%%#*+=-:··...··:-=+******++=======--:·.
..·:----::·......·:-=+*##%%%%%%##**+==--:::::::--=+*#%@@@@@@@@@@@@@@%%%%%%%%%%##**+=-::····:-=+*######*++====---::·.
..·::----:··....··:-=*#%@@@@@@@@@@%#*+==--:::::--=+*#%@@@@@@@@@@@@%##***++********++=-::::::-=+*#%%%%%#*++==---::··.
..·::---::··..··::=+*%@@@@@@@@@@@@@%*+=-::·····::-=+*#%@@@@@@@@%%#*+==----==+++++++==--:::-==*#%@@@@@%#*+==--::··..
..··::--:::·····:-=+*%@@@@@@@@@@@@@%#+=-:·......··:-=+*#%%@@@%%#*+=--:····::--==+++==------=+*#%@@@@@@%#*+=-::···..
..... ..·:--=============+++*******+=-:·.. .·:-==+***++=-:·. .·:::--:::::--=+***+=-:·.
..... ..·::----------------==----::·.. ..·:--=++++++=-:·. ..·:---------==+***+=-:·.
...... .··:::::::::::::::·····... ..··::--==+++++==-:·. .·:--===----==+***+=-:·.
...·.. ..··::::::::····.... ...··:::---===+++++++=--:·. .·:--=========+**++=-:·.
..···.. .··::::::::···.. ..·::-===++++++++++****++=--:.. .·:-===++====++*+++=-:·.
..····. .··::------::··.. .·:-==+*##%%%%####*********+==-:·. .·-==++++++++++++==-:·.
..·····. .·:--=+++++==-::·.. .··:-+*#%@@@@@@@@@%%###*******++=-:·. .·:==+++++++++++===-:·.
..··::··. .·:=+**#####*++=-:··... ...·:-=+*#@@@@@@@@@@@@@%###********+=-:·. .·:-=+****+++++===--:·.
..··::::·. .·:=+*#%@@@@@@%#*+=-::······::-=+#%@@@@@@@@@@@@@%%#**********+=-:·.. ..·:-=+*****+++==---:··.
..··:::::·.. ..·:=+*%@@@@@@@@@@@%*+=-::····::-=+*#@@@@@@@@@@@@@%##*******###**+=-:·.. ...·:-=+*****+++=--:::··.
.··:::--::··.....·::=+*%@@@@@@@@@@@@@%*+=--::··:::-=+*#%@@@@@@@@@@@%#*++++++**####*+=-:·....··:-=+*###**++=-::···..
..··::---::::··:::-=+*#@@@@@@@@@@@@@@%#*==-::·····::-=++*#%@@@@@@%%#*++====++**####*+=-::····:--=+*####*++=-::··..
.··:::::···.···:--=+**##%%%%%%%%###**++=--:··... .....···::-==+++++=--:·. ..·::::::······:-=====-:·.
..··:···.. ..··:-=++*###%%###**+==-:··.. ......·····:::--=====-::·. ..·::---:::····::--==--:·.
..·····.. .·:-==+**###**++=-:·.. ..·············:::------:··. .·::------::::::-----:··.
..··... .·:-==++***++=-:·. .··::-----:::·····::::--::··. .·::-=====--::::---:::·..
...... .·:-=+++++==-:·. .·:-==++++==--:::···::::::::·.. .·:-=++++==---:-::::··..
...... .·:-=+++++==-:·. ..·:-++*####**+=--:::··:::::::··. .·:-=++*+++==---::::··..
..... .·:-=++****+==-:·.. .·:-=+*#%@@@@%%#*+=--:::::::::::··. .·:-=+****++==---::···..
..... .·:=+**#####**+=--:···...···:-=+*#%@@@@@@@@%#+==-::::::---::·.. ..·-=+**##**++==-::··...
...... .·:-+*#%%@@@@%%##*+==---:::---=+*#%@@@@@@@@@@%#*+=--::------::·.. .·:-+**###**++=-::··..
........ ..·:-=+*#%@@@@@@@@@%%##**++======++**#%@@@@@@@@@@%#*+=------===--:··. .·:-=+*####**++-::··..
.....·····...····::-=+**#%@@@@@@@@@@@@%%##***++++=+++**#%@@@@@@@@@@%#*+==---======-:··. ..·:-+**####**+=-:··..
....···:::::---==++**##%%@@@@@@@@@@@@%%%%###**++======++*#%@@@@@@@@%#*++======++++=--:·......·:-=+**###**+=-:·...
.·:-=+***+=-::····:--=+#%@@@@@@@@@@@%#*=-:·. ..··:::::::::::::--=++****+=-:·. ..··········::-==++==-:·.
·:-=++++=-:··....··:-=+*#%@@@@@@@@%#+=-·. ..··:::::::·····::--=+++++=-:·.. ..··::::······::----::·.
.·:-====-:·.. ..·:-=+*#%@@@@%#*+=-·. .··:::-:::········:-==+++==-:·. ..·:::::::······::::··..
..·::---:·.. .·:-=++**##**+=-:·. .··::---:::··....··::-=====-:·.. .··::---:::·········...
..······. .·::-==+++==-::·. .·::------:··......··:--===-::·.. ..··:------::····......
....... ..·::--===---::··.. ..··:--====--:··......··:--==--:··.. ..··:--====--::··...
..·::---===----:::···.......··::--==+++==-:··.. ..··:-----::·......··:-===+===-::·...
..··::--====+++++====---:::::::---=+++*+++=-:·... ...·::-----:··.....··:-==+++++=--:·..
..···::--===+++***######***++===--===+++*****+=-:·......··:------:··....··:-==++**++==-:·..
...···::----====++++**###%%@@@@@@%%#**+++==+++**####*+=-:··.....·::-----::···..··:--=++****++=-:·...
..··:--==++**************##%%@@@@@@@@@@%##*++++++**#####*+=-:··....·::--==--::·······:-==+*****++=-:·...
..·:--=+*##%%%%%%%###*******##%%@@@@@@@@@@%#**++++++**##%%#**+-::··.··::--====-::······::-==+*****+=-::·..
.·:-=+*#%%*+=-:·····::-=*#%@@@@@@@@@@@#*+-:·.. .··:-==++++===--:::--==++*++=-:·. ..·:-===+======+++===-::·.
.·:-=+*#%%*+=-::·····:--=+*#%@@@@@@%%#*=-:·.. .·::-======--:::::--==+++++=-:·. .··:-=======------:::··.
.·:-=+**##*+=-:···..···::-==++*****++==-:··. .··:--===---::···::-==++++=-:·.. .·::--===----:::···...
.·:-==+++=--:··........···:::-------:::···.. ..·::-----::·····::-==++++=-:·. ..·::------::··....
..··:::--::··... .....··············... ..·::---:::···.···:-==+++==-:·. ..··::----::··..
.....··..... .....·····:::···... ..··::::::···....··:-=++++==-:·.. ...·::----::··..
...··:::------::··... ..··:::::··......·::-=++++==-:·.......··::---::··..
..................··::-==++**++==-:··.......··::::··.......·:-==++++==-:··.....··:::---::··..
..···:::::::········::-==+*##%%%##*+=-:··.....···:::···... ...·:-=++**++=-:···..···:::----:::·...
.··:--========----:---==+*##%@@@@@@%#*+=-:··...···::::··... ..·::==+***++=-::·······:::------:··...
..·:-=+**#####***++=====++*#%%@@@@@@@@@%#*=-:·······:::::··... ..·:-=+*****+==-::·····:::-------::···..
.·:-=+*##%%@@@@%%##****++**##%@@@@@@@@@@@@#*=-:······::::::··......·::=++**#**+==-::······:::---==--::··.
.·:-=+*#%%#**+==------===++**###%%%%%###**++=--::·····::-==+****++=-::·····:--=====--::····::-=+*#%%@@@%%##**+=-::·..
.·:-=+*##%##**++==================+++++++===---::·······:--=++**++=--:······:--====--::·····::-=+*#%%%%%##*++=-:··..
.·::-=+**##***+++====-----:::::::::::::--------::···...··::-==++++==-:···.··::--====-::··...··:-=++*####**+==::·..
.·::--==++++======---:::···... ...···:::---:::··.....··:--==++==-:···..··::-====--:··....··::-==+++++==-:·..
..···:::::::------::::··.. ..·:::---::··.......··:--===--::··...··:--====--:··.....··::--===--::·..
...........······:····... .··:------:··.. ...·::-----::··...··::-=====--:··......···::::::··..
...······... .·::-=====-:··. ..··:----::··....··:-==++==--:··.........·····...
..·······... ..··:-==++++=-:·.. ..·::::::··....··:-==++++==-::·... .........
..··:::::::···.......··::-=+*****++-:·. ..··::::···...··:-==+***++==-:··.. .........
..··::----------:::::::--=++*##%%##*+-:·. ..··::····...··:--=+**##**+=-::·.. ...·····..
..··::--===++++++++++===++++*##%%@@@%#*+-:·. ..········..··::-=+*#####**+=-:·.. ..···::··..
......·····:::---===+++***##############%%@@@@@@@%*+-:. ..············:-=+*#%%%%%#*+=-:·.. ..··::::::·.
.··:-==+***###########**++==-------==++**######**+==-----==++++==-:·......·:-+**#####**+++++**#%@@@@@@@@@%%#+=-:·..
.·::-==+***###%%%%%%%#**+==-::·····::--=+**#####*++==-----==+++==-:··.. ..·:-=+*####**++++++**#%%@@@@@@@%#*+-:··..
..·::--==++***####%###**+=-::·... ...·:-==+*####**+==------======-::·. ..·:-=+**#***++++++++**##%%%%##**+=:··..
..··:::--=====+++****++==-:··. ..·:-=+*####*++=--:::---====--:·.. ..·:-=+*****+++=======++++++++==-:·..
.······::::::-----=----:··.. .·:-=+**#**++=--:::::---==--:·.. ..·:-=++***++===---------:::::··...
...·..........··········... .·:-=+****++=-::···:::-----::·. .·::-=++**++==--::····.......
...... ........ .·:-=++***++=-:······::----::·.. ..·:-=+++*+++=--:··..
... .··:-=+***++=-:··....··:::-::··.. .·::-=++**++==-:·..
................·::-=++**++=-:·... ...··:::::··.. ..··:-=+*****+=-:·.. ....
........... ...····::::······::--=++**++=-:·.. ..··:::::··......··:-=+**##**+=-:·. ..·..
..··::-::::···.........··::---====--------==++***+=-:·. .··:::::···...··::-=+*#####*+=-:·. .····..
..·:-=+**+++=--::··....··::-=++******+++===+++****+=-:·. ..·::::::·····::-=++*#%%%%##*+=:·.. .······.
..···::-==+**#%@@@@@@@@%#*+=-::·····::-=+*#%@@@@%#*+=------===+===-::····::-=+*%%@@@@@@%%#######%%%@@@@%%%##*=-::·..
.··::--=+++**#%%@@@@@%%#**+=-:···..··::-+*#%@@@@@%#*+=--::---====--::··..··:-=+#%@@@@@@@@@@%%%%%%%%%%%####**+=-:··..
..·::--==++++***#######**+==-:··......·:-=+*%@@@@@@%#*+=-::::------::··.....·:-=*#%@@@@@@@@@@@%%###****+++===-::··..
.··:--===++====+++++====---::··... ..·:-=*#%@@@@@@%*+=-::::::---:::·... ..·:-=*#%@@@@@@@@@@%##*++=--:::·····.....
.··:---====-----::::::······.... ..·:-+*#@@@@@@%#*=--::·:::::::··.. .·:-=+#%@@@@@@@@%#*+=-::·..
.·::------:::···.... ..·:=+*%@@@@@@%*+=-:·····:::···.. .·:-=+#%@@@@@@@%#+=-:·.
..·:::---::··.. ..·:-=+#%@@@@@%#+=-:···········.. .··-=+*#%@@@%%#*=-:·
..··::--::··.. ...·:-=*#%@@@@%#+=-:··...······.. .·:-=+*##%%##*+=:·.
..·::---::··. ........·:-=+*#%@@@%#*=-:·.......···... ..·:-=+**###*+=-:·.
..·:-====--:·. ...·········:-=+*#%%%%#+=-:·... .....··.... ..·::-=++****+=-:·. ...
.··-=+***++=-:·. ..··:::::···::--=+*####*+=-:·. ....····.......··::-==++**++==-:·.. .....
.·:=+#%%%%#*+=-:·. .··:------::::::-=++*###*+=-:·. ...···········:::--==+++++++==-::··........·····..
..·::--=++***###%%%%%%##**+=--:··....··:-=+*#%@@%%#*++====++*#####*+=-::····:-=+*#%%@@@@@@@@@@%%##***+++=====---::·.
.·:-=++*############****+++=--::···.···:-=+*%@@@@@%#*+==--==++*****+=-::····:-=+*#@@@@@@@@@@@@@@@%#*++=------::::··.
.·:-=+*#%@%%%###**++++=====----:::······:-=+*%@@@@@%#*+=-----==+++++==-::····:--+*#@@@@@@@@@@@@@@@%*+=-::··········..
.·:-=+*#%@@@%#**+==--:::::::::::::·····::-=+*%@@@@@@%#*=--::::--=====--::·····:-=+#%@@@@@@@@@@@@@@#+=-:·. ...
.:-=+*#%@@%##*+=-:··.......···········::-=+*#@@@@@@@%*+=-::··:::-----::······::-=*#@@@@@@@@@@@@@#*=:·.
.·:-=*#%%%##*+-:·.. ..······::::-=+*#%@@@@@@%#+=-:······::::::····..··::-=*#%@@@@@@@@@@#*=:·.
.·:-=+*##**+=-·.. ..···:::::--=+#%@@@@@@@#*=-:·......·······......··:-=+*#%@@@@@@%#+=:·.
.·:-=+**++=-:·. ..··:::::--=+*#@@@@@@@%*+-:·.. ...............··:--=+**####*+=-:·.
.·:-=++++=-:·. .··:::::--=+*#%@@@@@@%#+=:·. ............··::--===++==--:··.
.··-=++++=--:. ..·:::::---=+*#%@@@@@@#*=:·. ........·····:::------:::···..
.·:-=+++++=-:·. ..·:::-----==+*#%@@@@@#*=-·. ...·······::::::::::::··················....
..·:-=+****++=-:·. .·::-------=++*#%@@@%%*+-:. ..··::::------::::::········:::----==--::··..
.·:-=+#%@@@@@%%#**+++====----::·... ..·:-+*%@@@@@@@%%######%%%##*+-:·.. ..·-=+#%@@@@@@@@@@@%#*+=-::::::::::··..
.·:=+*#%@@@@@@@%#*+==--------:::··......·:-+*#@@@@@@@%%##**#######*+=-::·.....·:-=+#%@@@@@@@@@@@@@%#*=--:··········.
.·-=+*#%@@@@@@@%#*+=--:::::::::::···...··:-=*#%@@@@@@%%#*******##***+=--:·····:-=+*%@@@@@@@@@@@@@@@#*=-:··..........
.·-=+*#%@@@@@@@%*+=-::·····::::::::······:-=+#%@@@@@@%##*+++++++***+++=--:::::--=*#%@@@@@@@@@@@@@@%*+-:·..
.·:=+*#%@@@@@@%#*=-:·......··::----:::::::-=+*%@@@@@@%#*++========+++===-------=+*#%@@@@@@@@@@@@@%*+-:·..
.·:=*#%@@@@@%#*+-:·.. ..·::-----::::--=+*#%@@@@@%#*+=--::::----====------==++*##%@@@@@@@@%#*+=-:·..
..·:=+#%%%%%#*+=:·. ..·:---=-------=+*#%@@@@@%#*+=-:······:::--------====+++****#****+==--:··..
..·:-=*****++=-:·. ..·:-======--==+*#%@@@@@%#*+-:··.......··:::------==========---:::···....
..·:-======--:·. .·:--=========+*##%@@@@%#*=-:·. ..··:::----------:::··..... .......
..·::------:··. .·:-=+++++==++**#%%@@@%#*+-:·. ..··::-------::··... ...·······..
..··::::::::··. .:-=++++++++++*##%%@%%#*+-:·. ..·::-------::··.. ..··:-----::·..
...···::::::::··.. .·:-=+++++++++**##%%%%#*+=:·. .··:--=====--::··.. ..··:-==++*+=-:·..
.·:=*#%@@@@@@@%*+=-::··········... ..·:=+#@@@@@@@@@@%#*+++====--:·.. .·:=+#%@@@@@@@@@@@%#*+==--:::·····.
.·-+*#%@@@@@@@@#*+-::···········.......·:-+#%@@@@@@@@@@%#*++++===--::··... ...·:-=+#%@@@@@@@@@@@@@%#**+==-:::···..
..:-+*#%@@@@@@@@%#+=-:··...········.....·:-=*%@@@@@@@@@@%#**+++=====---::::::::--=+*#%@@@@@@@@@@@@@@%%#*+==-::···...
..:-+*#%@@@@@@@@@#*=-:·.....·········...··:=+#@@@@@@@@@@@%#*++=================++*##%@@@@@@@@@@@@@@%##*++==-:··...
..·-=*#%@@@@@@@@@#*=-:·......··::::·······:-+*%@@@@@@@@@@%#*+=========+++++****###%%%@@@@@%%%%###***+++==--::·...
.·:-=*%@@@@@@@@%#+=-:·......··:::::::····:-=+#@@@@@@@@@@%#++=------===++**###%%%%%%%%##**+++===---------:::··..
..·:-=*#%%@@@@%#*+=-:·.. ...·::----::::::-=+*%@@@@@@@@@#*+=-:::::::--=++**##%%%%###*++=--::··········::::··..
...·:--++***##**+=-:·.. ..·::------::::--=+#%@@@@@@@%#*=-::··..···:--=++**####**+==-:··.. ...······..
...··::--==++++==-:·.. .··:-=====------=+*#%@@@@@%#*+=:··.. ...·::-==++**+++=-::·. ..······..
.....···:::------::·.. ..·:-==++===----==+**#%%%%##+=-:·. .··:--======-::·.. ..··:::··.
.........···::::::··. .·:-=++++++==---==++*####**+=-·.. .··::------::··.. ...·:::-::··.
..............······.. ..·-=++***++=======+++***++=-:·.. ..··:::---::::···........··::---=--:·..
.·:=*%@@@@@@@%#+=-:·.....··:::::·······:-=*#%@@@@@%#*+=-:···...... ..··:-=++*##%%%@@@@@@@%%%##*+=-:··..
..·-=*%@@@@@@@@#*=-:·......···::::·····::-=*#@@@@@@@@%#+=-::··...........····::--==++**###%%%%@@@@@@@@@@@%%*+=-:·..
.·:-=*%@@@@@@@@%#+=:·.. ..··::::::··::--+*#@@@@@@@@@@#*+=-:·········:::--==++**############%%%%@@@@@@@@@@#*=-:·..
..·:-=*%@@@@@@@@@#*=-·.. ..··:::::::::--=*#@@@@@@@@@@@%*+=-::····::--==+*##%%@@@@@@%%%##*******##%%%@@@@@#*=-:·..
.··:-=*#@@@@@@@@@%*+-:·. ..·:::::::::--=+#%@@@@@@@@@@@%*+=-::::::--=+*#%%@@@@@@@@@%%#**+=======++*###%%%#+=-:·.
.··:-=+*%%@@@@@@@%#+=-·.. ..··::----:---=+*%@@@@@@@@@@@@#*+=--::::--=+*#%@@@@@@@@@%%#*+=--::::::--==+*****+-:·..
.··:--=+*##%%@@@@%#*+-:·. .··::--------=+*#%@@@@@@@@@@@%#+=--::::--==+*#%%@@@@@%%#*+=-::··.....··::-==++==-:·..
..·::--=+++*##%%%%#*+=:·.. ..·::--------==+*#%@@@@@@@@@@%#+=--:::::::-==+***###**++=-::·... ..··:-----:·..
..··:::---==+**####*+=-:·. ..·::--===----==+**#%@@@@@@@%#*+=-::·······::---=====---::··.. ..··::::··..
..·····::::--=++****+=-:·.. ..·::-======----==+**#%%%%%%#*+==-:··.........············..... ...······..
..·········::-=+++++==-:·......·::-=======-----==+++******+==-::·... .........................····...
...···......·::-==++==-:··.....·::-==+++===---------=======--::··... ...···:::::::···········...
.·:-=*#%%@@@%#*+=-:····:::-----:··.. ..·:-=++**++=-::·. ..··::--------------==++*##%@@@@@@%*=-:·.
..·:-=**#%%@%%#*+=-:······:------::··....·::-=+*###**+=-:·. .··:-==+*******+++=====++**#%@@@@@@@%#*=:·.
..·::-=+*##%%%%#*+=-:··...··:--===--::····::-=+*#%%%%#*+=-:·.. .··:-=+*#%%@@@@%%##**++++++**#%@@@@@@@%#*+-:·.
..·::--=+**##%%%##*=-:·.....·::-=====---:::--=+*#%@@@@@%#*+=-:··.....··:-=+*#%@@@@@@@@@%%#**++++++**#%@@@@@@%#*+=:·.
.··:--==++**##%%##*+-:··.....·:--==++====--==+**#%@@@@@@@%#*+==-::::::--=+*#%@@@@@@@@@@%##*+++====++*#%@@@@@%#*+=:·.
.·::--==+++**#####*+=-:·.. ...·:-=+++++++===++*#%@@@@@@@@@@%#**+===--===++*##%%%@@@@%%##**++===---==++*#%@@@%#*+=:·.
.·:--===++++**####*+=-:·.. ..·:--=++***+++++**##%@@@@@@@@@@@%##*++++==+++++*********+++===-----::---==+*#%%%#*+-:·.
.·:--===+==++**###**+=:·.. ..·:-=++***********##%@@@@@@@@@@@%%##**++=====--------:::::::::::::::::::--=+****+=-:·.
.·:--========+***#**+=-:·.. .··:-=+********++***##%%@@@@@@@@%%##**++=--:::··...........·····::······:::-=====-:·..
.·::---==---==++*****+=-:·.. ..·:-=++******++++++++***#####%####**++=--:··. ...···:::·······::----::·.
..·::---------=++****+=-:·... ..··:-=++****+++===----====+++*****+++==-:·.. ..··::::::·············..
.··::---::::--=++****+=-:·......·:--=++**+++==--:::::::::--====++===--:·.. ..·:-----::···..........
...··:=+*#%%@@@%#*+=-:··········.. ..·:--===--:·.. .··:--=======--:::····::-==+*#%@@@%*=-:..
....··:-=+*#%%%%%#*+=-::····:::::··. ..·::--==--::·.. ..·:--=++******++===-----==++*#%@@@@%#*=:·.
...····::-=+*##%%%#*+=-::···::::--:::·.. ..·::--====--::··........··:--=++**#######***++++++++**#%@@@@@%#*+-·.
..·····:::-=+**####*+=--::··:::--==---:···....··::--==++++===---::::::---==++***############*******##%%@@@@@%#*+=:·.
.···:::::::-=++*###*++=-::··::--==+++==--:::··:::--==++**********+++++++*************###############%%@@@@@@%#*+=:·.
.·:::::::::--=++****++=-:::·::--=++****++==-------==++**##%%%%%@@@@%%%%%##***+++=====+++***#########%%%@@@@@%#*+=-·.
.·::---:::::--=++***++=--::·:::-=+**#####**++======++**##%%@@@@@@@@@@@@@%#**+=--::::::--==++**#######%%%@@@@%#*+=-·.
.·:------::::--=++**++=--::··::-=+**#%%%%%##**++++++++**#%%@@@@@@@@@@@@@%#*=-:··... ...··:-=++**########%%@@%#*+=-:.
.·:------:::::--=+++++==-:::·::--=+*#%%@@@%%##**+++==+++**#%@@@@@@@@@@@%#*=-:·. .·:-=++********##%%%#*+=-:.
.·:--===-::::::-==+++++=--::··::-==+*#%%@@%%%#**+========++*##%@@@@@@%%#+=-:. .·:-=++*****+++**#***+=-·.
.·:--====-::::::-==++++==-:::··::-==+*#%%%%%##*+==--:::::--==+**######*+=-:·. .·:-=+++++++===++++==-:·.
.··:-====-::::::--=+++++==-::···::--=+**####**+==-::·······::--==+++++==-:·. .·:-=++++===--------::·.
....···:-==+*#%%##*=-:·. .. ..··:::::···... .....····::::::::··········::-=+*###*+-:·.
...····::-=+*##%%#*+=-:·. ...... ...·························::::::----------::::---=+**#%#*+=:·.
..······::-=+*##%%#*+=-··.. .....·.... ...···:::-----=======-----::::----===++++++======+**#%%##+=-·.
..······:::-=+*##%##*+=::·......·········.. ..··:--=++*###%%###**++==-------==++***###********##%@%#*=-·.
..········::-=+*##%##*+=-:·······::-----::··... ...··:-=+*#%@@@@@@@@@@%#*+==--:::--==+*##%%%%%%#####%%%@%#*+-:..
.··········::-=+*####**+=-::···::--=======--::···....··::-=+#%@@@@@@@@@@@@@%#*=--::··::-=+*#%@@@@@@@@%%%%%@@%#*+-:·.
.···::······::-=**####**+=--:::--==++******++=--:::::::--=+*%@@@@@@@@@@@@@@%#+=-:··..··:-=+*#%@@@@@@@@@@@@@@%#*+=:·.
.··::::···.··::=+**####**+==----==+**##%%%##**++==------=+*#%@@@@@@@@@@@@@@#*=-:·.. ..·:-+*%@@@@@@@@@@@@@@%#*+=:·.
.··:::::··...·:-=+*#####**++=====++*##%%%@%%%##*++=======++*#%@@@@@@@@@@@%#*=-:·. .·:-+#%@@@@@@@@@@@@@%#*+=:·.
.··:::::··....·:-=+*######**+++=+++**#%%%%%%%%#**++=======++**#%%@@@@@%%#*+=-·.. .:-+#%@@@@@@@@@@@@%#*+=:·.
..·::::::·.....·:-=+*######**+++++++**########**++====----===++++****++==--:·. .:=+#%@@@@@@@@@%%#**+=:·.
..·::--::··....··:-=+*##%###**++++==+++++++++++====-------------------:::··.. ·:=+#%@@@@@@@%%%#*+=-:·. $ open /benchmarks/zebralogicbench/tasks/grid~5fmode--t…▌ posts · files
ZebraLogicBench / lgp-test-5x5-37 / There are 5 houses, numbered 1 to 5 from left to right, as seen from across the…
Problem
puzzle
There are 5 houses, numbered 1 to 5 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`, `Alice`, `Peter`, `Bob`, `Arnold` - Each person has a unique type of pet: `hamster`, `fish`, `cat`, `dog`, `bird` - Each person has an occupation: `doctor`, `engineer`, `artist`, `lawyer`, `teacher` - Each person has a favorite color: `green`, `blue`, `yellow`, `red`, `white` - The people keep unique animals: `bird`, `cat`, `horse`, `fish`, `dog` ## Clues: 1. The person who owns a dog is Arnold. 2. The bird keeper is in the fourth house. 3. The person who keeps a pet bird is directly left of the dog owner. 4. The person who loves white is somewhere to the left of the person who is a lawyer. 5. The person who loves yellow is directly left of the person whose favorite color is green. 6. The cat lover is Bob. 7. The cat lover is somewhere to the left of Eric. 8. The person who keeps horses is in the fifth house. 9. The person who is a lawyer is directly left of the person who is a teacher. 10. The person who is a doctor is in the first house. 11. Alice is the person who loves yellow. 12. The person who loves blue is directly left of the person with an aquarium of fish. 13. The person who loves yellow is in the first house. 14. The person with a pet hamster is the person who is an artist. 15. Eric is the dog owner.
size
5*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-5x5-37
- task_id
59d6a266-fcdb-5b8a-a39f-9d2fd99d9dfd- task_key
grid~5fmode--test--lgp~2dtest~2d5x5~2d37- task_revision_id
- 1
- config / split
- grid_mode / test
initial import