benchmarks.wiki / Public workspace
............··:-=+*#%%@@%%#*+=:·.. .·:-=+*##%%%##*+=-::·... ...··:--=+*###%%%##*+==-:··.......·:-=+**#*+=-:·.
.........··::--=======--::·... ...··::=+++*++++==--::···...···::--=+**#######*++=-:··.. ...·:-=+***+=-:·.
.....········........ ..···---======---::::·····:::--==++***##***+==-:··.. ..··:-=++++=-:·.
..:::---=====----::::::::::--==+++***+++=--:··.. ..·:-======-:·.
..·::-====+====--:::·····:::---===++++==--::·.. ..·:-=====--:·.
..::-==+++++==--::···..····:::--========--::·... ..·:-=====-::·.
.·--=+++++==-::··.........··::--========--::··... ...·::-==+==--:·.
··=======--::·... ...··::--===+++++===--::··.......··::-=++++==-:·.
..·:==---::··... ..··::-==++*******++==--::·······::--=+***++=-:·.
..··:::::::::···..... ......··:::···.. ..··::-==+**########**++==---::::::--==+*#***+=-:·.
.·:-=+*******++==--:::::·········..·... ...·::-==+**##%%%%@@%%%##**++===-------==+**##**+=-:·.
.·:-=+*#%%@@@@@%%%##***++==---::··... ...··:--=++*##%%@@@@@@@@@@%%##**++=========++**##**+=-:·.
...... .··-=+*#%%%%%#*+=-:·.. ..··:-=++*******++=--::··.......····:::---=========----------==+*##%@@%#*+=-:·.
...·::--======--::···.......·····:::======---::::········::::----=====++++======------===++*#%@@@%#*+=-:·.
.....·······...................···:::::::::::::::::------=====+++++++++======------===++*##%@@%#*+=-:·.
..·····::::------========+++++++++++======----------===+**##%@%#*+=-:·.
.···:::---======++++++++++++========-------:::::----==++**#%#**+=-·.
.···::----======+++++++++======------:::::::::::::::--===++***++=-:·.
..·::::-----=================-----::::::··········::::---==++++==-:··.
..:::::::::-------========-----:::::················:::---===+==--:·..
..···········::::-------------::::·················::::---===+==--:·..
..··::::::::····............... .............··:::---=====----::::···············::::----===++==--:··.
.·:--=++++++++==---:::::::::::····... ...··:--==========---:::::·······::::::----====+++++==-::·.
.·:-=++*########**********++++==--:··. .··:--=+++***++++===---::::::::::-----====++++****++=-::·.
..... ...·:-=++****++=--:········::-==+++***++++==---:::·······....... ....···:::--===++***##%%%#*+=-:·.
...··:::-----:::···········::::::::::::--::::·····················..........···:::--==++**###%%%@@@@%#*+=-:.
....................................·..··......····::::-------::::··········:::--==+**##%%%@@@@@@@@%#*+=-:.
.......···::--====+++===---:::::::::::--==++*##%%@@@@@@@@@@@%#*+=:·.
...··::-==++*******+++==---::::::---==++*##%%@@@@@@@@@@@@%#+=-:·.
...··:--=++*###%%###**++==---:::::---==+**##%@@@@@@@@@@@@@#*=-:·.
...···:--=+**##%%%%%%##**+==--::::::::--=++**#%%@@@@@@@@%%##+=-:·..
....···::-==+*##%%%@%%%##*++=--::······::--==+**##%%%%%%%##**+=-:·..
.....···:--=+**##%%%%%%#**+=--:····..····::-==++**######***+==-:·..
..···::::::····..... ........... . .....··::-=+**##%%%##**+=--:··........··::--=++*******+++=--:··..
.·:-=++***++==--::·········:::::::::··... ..·::-=+**######*++=-:··.. ..··::-==+++****+++==--:··...
.·:=+#@@@@@%#**+=--:::::---==++++++==-:··. ..·:-=++*#####**+=--:·.. ..··:--=++******++==--::··...
.....··:--======--::··.....··:-==+*###%###**++=--::::::::::::::···... .··:--=++*******++===-:··...
..··:::::::::···.........··::-=========--::-:···.....············.. .·::-=+**#######***++=-:··..
............ ....···········...·.... ....···:::::···.. .··:-=+*##%%@@@@%%##**+=-:·..
..··:::----:::··.. .·:-=+*#%@@@@@@@@@@@%##+=-:·..
..··:--======--::··.. ..·:-=+*#%@@@@@@@@@@@@@%#+=-:·..
..·:--=++****++==-::·........··:-=+*%@@@@@@@@@@@@@@@%#+-:·..
..··:-=+**######**+=--:···....··:-=+*#@@@@@@@@@@@@@@@%#+-:·.
...·::-=+*#%%@@@@%%#*+==-::······::-=+#%@@@@@@@@@@@@@@%*+-:·.
...··:--=+*#%@@@@@@@@%#*+=-::······:--=*#%@@@@@@@@@@@@@#*=-:.
..···::::::···.. .......... ....··::-=+*#%@@@@@@@@@%#*+=-::······::-=+*#%@@@@@@@@@@%#+=-·.
.·:-==+*****+=-:·.. ...··::::::::···.......··::-=+*#%@@@@@@@@@%#*+=-:··.....··:-=+*#%@@@@@@@@%#+=-:·.
.·-=+*#%@@@@%*=-:·. ..·:--==+++++==-::··......··:-=+*#%@@@@@@@@%#*+=-:··.. ..··:-=+*#%%@@@@%##*=-:·..
..·:-=++*++==-:·.. ..·:-+*#%@@@@@@@%#*+=--::·····:::---=====--::··... ..··:-=+*#%%@@@@%%#*+=-:·..
..·:--===--:··. ..·:-==+******++==-::::··....···:::-------::··.. .··:-=+*#%%@@@%%#*+=-:··.
...·····... ...··::::::::···..··.... ....··:::::::::··.. ..·:-=+*#%%@@@@%##*+=-:·..
.. . ..··:::::::··.. .·:-=+#%%@@@@@@%%#*+=-:·...
..···::::::··.. ..·-=+*%@@@@@@@@@@%#*+=-:·..
..··:::-::::··. .·:=+*%@@@@@@@@@@@@%#+=-·..
..·::-------::··.. ..·:-+*%@@@@@@@@@@@@@%*+-:.
.··:--===++==--:··.. ..·:=+*%@@@@@@@@@@@@@@#+-:.
..·:--=++*****++=--:··......·::=+*%@@@@@@@@@@@@@@#+-·.
...···::::··.. ....... ...··::-=+**##%%###*++=-::······::-=*#@@@@@@@@@@@@@@#+-·.
.··:-==+***+=:·. ..···::::····........··::-=++*#%%@@@@%%#**+=-:::···::-=+*#%@@@@@@@@@@@%*+-·.
.·:-=+*#%@@%*=:·. .··:--=======--:::·····::--=+*#%%@@@@@@@@%#*+==-::···::--=+*%@@@@@@@@@@%*+-:·.
.·:-=*#%#*+=-:·. .·:-=*#%@@@@@@@%#*+=-:··.......··:--==+++++++==--:::···:::-==+*%@@@@@@@@@@%#*=-·.
.·:--=++==-:·. ..·:-=++*******+==-:····......··::--=++++++++==--:::····::--=+*#%@@@@@@@@%#*=-:·.
...·····... ...··:::::::::···..··.·......···:--==++++++==--::·······::-=++*#%@@@@@@%#*+=-:·.
........ ...··::--========--:···......··:-=+*#%%@@@@@%#*+=-:·..
. . . ..··::---===---::··... ...·::-=+*#%@@@@@@%#*+=-:··..
..··:::-----::··... ..··:-+*#%@@@@@@@@%#*+=-:·.
..··::::::::··... ..·:-=+#%@@@@@@@@@@%#+=-·.
..···:::::::··... ..·:-=+#%@@@@@@@@@@@%*+-:.
..··::::::::···........··:-=*#@@@@@@@@@@@@%#+-·.
...···::··... ...... ..··::------:::····..···:-=+*#@@@@@@@@@@@@%*=-·.
.··:-==+*+=-··. ...·······.... ..··::--======---::::::::--=+*#%@@@@@@@@@@@#*=:·.
.·:-=+*#%%*=-·. ..··::::-::::···.........···::-===+++++++===-------==+*#%@@@@@@@@@@%*+-:·.
.·:-=+*###*+-:··.. ...·:-=++*##%%%##*+=-:·. ..·::--======---::::::::--=+*#%@@@@@@@@@%#+=:·.
..·:--===-::·.. ..··::-===+++===-::·.. ..·:--==++++++===--------=++*#%@@@@@@@@%#*+-:·.
...····... ....····:::·····... . ..··:--=++******++====--===++**#%%@@@@@%%#*=-:·..
.. . . ..··:--=++********++=========++**##%%%%##*++=-:··... ..
. .........··::-==++*******+++===----===++***####***+==-::···.....
. .........··::--=+++****+++==----------==++***##****++=--::··...
. ..........··::--==+++++===---:::::::--==++**#######*++=-::·..
. . ...··::---====----::::::::::-==+**#%%%%%%%#*++-:·..
...···:::-----::::::·::::--=++*#%%@@@@@%%#*=-:·.
...·····.... .............. ...···:::::::::::::::--=++*#%@@@@@@@%#*+=:·.
.··:------:··... ....···········.... ...····:::::::::----==+*##%@@@@@@@%#*+=-·.. ......
.·:-==+++=-::·.. ...····::::::···.... ...···::::-----===++**##%@@@@@@@%#*+=-··. .······..
.··:-=+***++===-------===+++******++=-::·. .··:::----::::······::--=+**#%%@@%%##*+=-:·.. .....
..··::----:::···········:::::----::::··.. ..··::---------------==++*##%%%%%%#*+=-::·.. ....··...
.......... ............... .··:--====+++++++++++***####%###**+=-:··... ...·······..
..·::-==+++***********########***+==-:···......··:::::··..
.··:--=++**################***++==--::····.·····::::::··..
...··:--=++**###%%%%%#####****+++==--:::·······::::::::··..
........··::--==+***##########****+++====---:::::::::::::·····...
. ..·······:::--==++*************+++++=======-----::::····...........
..·.·······::::--====++++++++++++++++++++++++===--::··... ..........
.........................................·.·········:::::----======+++++*****###***+==-:··.. .··::::··..
...····:::::::::::::::::::::::::::::::::·····..·····..·······::::---===++**##%%%%%%%#**+=-··. .·:--==--:·..
..··:::----------------------------------::::·····...........····::--==+*##%@@@@@@@@%#*=-:·. .·:-=+**+=-:·.
.··:-=+*###%%%%%%@@%%%%%%###**++==--::··... ...···::::::::::::::::::::---==++++++++==--::·······:::-:::·..
..··::--================----::::···.... ...····:::::::-----===+++******++==-:··.......··:-====-:··.
.....··············......... ...···:::---===++***#######**+=-:··. ..·:-=+*++=-:·.
...··::--==++*##%%@@@@@%%#*+=-:·.. ..·:-=+*#*+=-:·.
...··:--=++*##%@@@@@@@@@%#*+=:·.. .·:-==+***+=-:·.
...··:--=++*#%%@@@@@@@@@@%#*=-:·. .··:-==++++=-:·..
.....··::--==+**#%@@@@@@@@@@%#*+=-:·.. ..··::---==--::··..
...·····:::---==+**##%%@@@@@@@@%#**+=-:··.. ....··:::-----::··..
.·::::::-----===++**###%%%%%%%%##**+=--:··.. ..··:-=====-::·.
......·······........ ......··------------=====++***###%%%%%%##*++=-:·.. .·:-+****+=-:·.
..··::---======---:::···············::::::===------:::::----==+**##%@@@@@@%##+=-:. .·-=*#%@%#*+-:·.
..·:--=+**#######**++==---:::::::----=========----:::······:::-=+*#%@@@@@@@@@%#+-:. .:=+#%@@@%#*=-·..
.··:=+#%@@@@@@@@@@@@@@%#*++=--::::::::::::-----======-------:::::::::::----====+++===--::···.....··::-=+*#**+=-:·.
..··:-=+*************+==--::···........······--------:::::········:::--==+***####*++=-:·.. .·:-=*#%@%#*=-:..
...··::::::::::::::···.... ···::::::······....···::-==+*#%%@@@@%#*+=:·. .:-+*%@@@%#*=:·.
..·······.........··:-=+*#%@@@@@@@@%#+-:. .:-+#%@@@@%*+-:·.
................··:-=+*#%@@@@@@@@@%*+-·. .:-+*#%@@@%#+=:·..
............···:--=*#%@@@@@@@@@@%*=-·. .·:=+**#####+=-:·..
...··········::--=+*#%@@@@@@@@@@#*=-·. ..·:-==++****+=-:··..
..··::::::::--==++*#%@@@@@@@@@%#*+-:·. ..·::-=++****+=-::·.
··--------=====++**##%%@@@@@%%#*+=--:·. .·:-=+**#%#*+=-:·.
....······.... ..::=++++++=======+++***##%%%%%%##*++=-:·. .·:-+*#%@@%#*+=-·.
.··::---==---::·.. ..··::---*****+++===-----==++**#%%@@@@%%#+=-:. ·:=+#%@@@@%#*+=:·.
.·:-=+**####**+=-:··. ..·::-=+**#####**+==--:::::::-=+*#%@@@@@@@%#+=:· ·:=*#@@@@@@%#*+-:·.
.·:-+*#%@@@@@@@@%#*+=-:·.. ..·:--=+**#####**++=--:::······::--==++******++=-::·.. .·:-=+*#%%@%*+=:·..
..·:-=+**********+=-::·.. ..··::--==#####**+=--:···....··::-=+**#%%%%##*+=:·. .·:=+*%@@@@%#*=:·.
..·:::::::::::::··... ....··===###*++=-:··.......··:-=*#%@@@@@@%*+-:. ·:=+#%@@@@@%#+-:·.
.··==***+=--:·... ..·:-=+#%@@@@@@@%#+-·. ·:=+#%@@@@@@%*=-·..
..--++==-::·.......··-=+#%@@@@@@@@%*=:· ·:=+*%@@@@@@%*+-:·..
..::==--::··.....·::=+*#@@@@@@@@@#+-:. .·:-=+*##%%%%##+=-:·..
..::----:::····::-==*#%@@@@@@@@#*+-:. .·:-==++*******+=-::·..
..::==----------==+*##%@@@@@%#*+=-:·.. ..··::-==++***##*+=--:·.
..::+++++++===++++***#######**+==-:··.. ..··:-=++*##%%#**+-:·.
...··········... ....--*###*****+++++++++++++*+++++==-::·.. .··:-=+*#%@@@%#*+=-:.
..·:--======-::·.. .·::-==+%%%%%##**+====---===+++*****++=-:·. .·:=+*#%@@@@@%#*+=-:.
.·:-=+******+=-:·. .·-=+*%%@@@@@%%#*+==--::::--==+**####**+=:·. .:-=+#%@@@@@@@%#*+=:·.
..·:-=*##%%%%%#*+=-:·. .·:-=+*##%%%##*+==-::··....···::-==+***##**++=-:··.. ...·:-==+**###*+=-:·..
..··:-==+++++==-::·. .··:-==++@@@%%#*+=-:··......··:-=+**#%%%##*+=-:·. .·:-=+*#%%@@%#*+-:·..
...····:::····... ..···:***@@%%*+=-:·.. ..·:-=+*#%@@@%#*+-:·. .·:-+*#%@@@@@@#*=-:·.
·::**@@%#+=-:·.. ..··-=+*#%@@@@%#+=:·. .:-=+*#%@@@@@%%*+-:··.
::++%#*+=-:·......··:=+*#%@@@@%#+=-·. .·:-=**#%%%%%%##*+=-:·..
··==#*+=-::······:-=+*##%%%%#*+=-·. .·:-==+**######***+=-::·..
··--++==--:::::--=+**#####**+=-:·. .··:--==++++*++++++++=--:··..
.·--++++======+++*******++=-::·.. ...··:::---==========++++==--:··.
.·--***************+++==--::··..........·····:::::-----====+++***+==-:·.
..··::::::::···... ....··==%%%%%%%###**++==--::::·······················:::---==++**####*+==-·.
..·:-=+++*+++==-::·. ..·:-==++*@@@@@@%##*+==--::::::::::::::····........····::--==++**##%%@%#*+=-:·
..·:-=+##%%%##*+=-:·. .·-=*#%@@@@@@@@@%#*+==-:::::::::----:::···... ....··::--=++**###%%@@@%#*+=-:·
..·::=+*#%%@@@%%#*+=-:·. .·:-=+**####**++=--::··········::--==++++++++==--::··········:::----====--::··.
..··:-========--:··. ..·:--==++@%%##*+=-::··.....··::-==++***+++=--:···.....···::---==+++++*+==-:··.
...·······.... ...··::***@@%#*+=-:·......··:--=++***++==-:··.......··::--==+++*******++=-:··.
:::**@%#*+=-:·.....··:--=+++*++==-:··.. ..··:--=++************+=--:·..
::*+%#*+=-:······::-==+++++==-:·.. ..··:-=+***#####****++++=--:··..
:·+=*++=--::::--==++++++==-:·.. .·:-=++*#######**+++=====--::··.
··=-++=======+++****++=-:·.. .·:-=+**##%%###**++==-------::··..
··--+++*****#####**+=-:·. ..·:-=+*######**++==---:::::-::::··..
··-=###%%%%%%%##*+=-:·. .·:-==+**####**++==--:::::::----:::·..
...··········.... .....···=+@@@@@@@@%#*+=-:·.. ..·::-=+++*****++==---::::::---==---:··.
.··::-=+++===--::··.. ..·::-==++**@@@@@@@%#*+=-:·.. ..··::--==+++++++===---------===++==--:·.
.·:--=+*####**+=-::·. ..·:-+*#%@@@@@@@@@@%#*+=--:···.... ...···:--==++++++++==========++***++=-:·.
.·::-=+#%%%%%%%%##*+=--:··... ....··::--====++++++====---::::········:::--===++++++++===--::··.... ....··:::::··.
..··::-=========--::··.. ...··::---==#****++==--::·········::::------========-----:::··········::------:·..
....·······..... ....····++=##**+=--:::······:::::::::::::::::::----====-----:::::::--=====--::·.
···+=#*++=--::::::::-----:::···......···:--==++++++++===------==++===-:··.
··=-++==--------=====--::·.. .·:-=+**##%%###*++===---===+===--:·.
··--========+++**++==-:·. .·:-+*#%@@@@@@%%#*++==------===--::·.
..::===++**#####**=-:·. .·:=+#%@@@@@@@@@%#*+=--:::::-----::··.
..::+**#%%@@@%%#*=-·. .·-=*#@@@@@@@@@@%#*+=-::·····::::::··..
..--#%@@@@@@@%#+=:·. .·-=*#@@@@@@@@@@%#*=--:···..····:::···..
.... ................··=+@@@@@@@%#*+-:. .·:=+#%@@@@@@@@@%#+=-::··......········..
...··········..................······:::--==+++@@@@@%#*+=-:·. .·:-=+*#%@@@@@@%%#*+=-:··......···:::···..
.··::------:::····..........····::--==++*##%%@@@@%%%#*++=-:··.. ..·:-=*##%@@@@%%#*+=--:··.....···:::::··..
..··::-=+++++*****+++++===----::::··········::--==++*****++=--:··.......··::-=+**##%%%##*+=-:·. .··::::·.
..···::----------:::::·····............····:::++*****+++=--::····.....···::--=++*******+==-:·.. .·:::-::··.
................... .........---+++++====----:::····......···:--==++****++=-::·.. ..·:------:·.
·..-:=============---::··.. ..··:-=++******+==-:··.......·::-=====-:·.
..::----===++++++==-:·.. .·:-=+*#%%%%##*++=-::······:--=++++=-:·.
..··--==+**####*+=-:·. .·:=+#%@@@@@@@%#*+=--:::::::-=+++++=-:·.
.··-=+*#%%%%%#*=-:. .·:=*#@@@@@@@@@@%#*+=--:::::--=++++==-:·.
..::+*#%@@@@%#*=-·. .·-=*%@@@@@@@@@@@@#*+=-:::::::--=====--:·.
..--#%@@@@%%*+-:· .·-=*%@@@@@@@@@@@@%#*=--:······:--===--:·.
....········.............·==%%@@%##+=-:. .·-=*%@@@@@@@@@@@@@#*+=-:··....··::---:::·.
..··::---------::::::::::---===####*+=-:·.. .·:=+#%@@@@@@@@@@@@#*+=-:·........··:::::··.
..... ..··::-==+++++++++++++++++++******+++==-::··. .·:-=+#%@@@@@@@@@@@#*+=-:·.. ..·······..
....···:::::---==++**#####**+=--:·.. .·:-=+**#%%%##*+=-::·.. ..·:-=+*#%%@@@%%#*+=-·.. .·::---::·.
.....········::::---------:::··..........···:=+*******++=--:··........··:-=+**##%%%##*+=-:·. .·::---::·.
.............................. ......:::===++++====--::···......··::-=++**###**+=-:··. .·:----::·.
...··---====+++===--:··........··:-==+******+==-:·. .·:--==--:·.
..::-==++***++=--:·.. .··:-=++******+=-::·.. ..·:-=====-:·.
..:-=+**###**+=-:·. .·:-=+*######*++=-:··.. ..··:-=++++=-:·.
.·-=+*####**+-:·. .·:-=+*#%@@@@%%#*+=-::··...···:-=+***+=-:·.
.·:+*#####*+=-:. .·:-=*#%@@@@@@@@%#*+==-::····::-=+****+=-:·.
..:-**##**+=-:·. .·:-+*%@@@@@@@@@@@%#*+==-::::::--=+****+=-:·.
..··::::::::··.... .....--**++==-:·. .·-=+#%@@@@@@@@@@@@@%#*+=--:::::--=+****+=-:·.
..·:-=++****++==--:::····::::::::==--::·.. .·:-=*#%@@@@@@@@@@@@@@%*+==-:::::::--=++++==-:·.
.·:-=+*#%%@@@%%%##**+++====------::::···... ..··:-=+#%@@@@@@@@@@@@@@%#*+=-::·····::--====--:·.
██████╗ ██╗ ██╗██╗ ███████╗██████╗
██╔══██╗██║ ██║██║ ██╔════╝██╔══██╗
██████╔╝██║ ██║██║ █████╗ ██████╔╝
██╔══██╗██║ ██║██║ ██╔══╝ ██╔══██╗
██║ ██║╚██████╔╝███████╗███████╗██║ ██║
╚═╝ ╚═╝ ╚═════╝ ╚══════╝╚══════╝╚═╝ ╚═╝$ open /threads/f8b99dbc-30c1-4e23-9572-d95401bd7cc2▌ posts
RULER · Discussion
Discussing RULER
Posts
Chronological order within this page.
Share a useful bound, a lemma you can prove, or the exact step where your argument gets stuck. Use the posting template.