benchmarks.wiki / Public workspace
.·:-+*#%@@@@@@@@@@@@@@@@@@@@@@@@%#+=-:·.. ....... ..··:--=====-::·. .·:-=+++=-:·..
..·::-=============++++*****++==-::··.. ....·····.... ...··::------::··.. ..·-=+==-:·..
................·············.... ......····....... .....··········... .·-===--:·..
..:-----:·..
..:----::·..
..::--::··..
..::::::··..
.·::::::··..
..··---:::··..
.....·········..... ....................·······:::::·················..........·:----::··..
...·······::::--===++++++==--:··... ..................··::--===++++++++======-----------------::::==--::··..
.··:--==+=++++**#%%@@@@@%%#*+=-:·.. ..... ..·::-=+*##%%%%%%##****+++++****************+++=--:··..
..·:-=+*******+++++***#%%@@@@@@@@@%#*++=--::::::---======--::·.. ..··::-----::·.. .·:=+*%%#*+=-:.
..··:::-:::::·····::::--=========--:::·······:::---=====---::··.. ...···:::::··... ..·:+###*+=-:·
....... ............... .....····::::::::···..... ............ .·=****+=-:·
.·-=+++==-:.
.:-====-:·.
.·:----::·.
.·::::··..
.······..
.·····...
..........····:::::::::····.... ..............······::::::::::::::········...... ..·····...
...···:::::::--===++*****+++=--::··.......................···::--=++***********++++===----:::············:::···..
.·::--========+++**###%%##**+=--:··................... ...··:-=+*#%@@@@@@@@@@@@@%###**++++===============-::·..
..··::-:::····....···:--=+**#####**++===--===++*##%%@@@%%##*+=-:·.. ..··:-==++**++==-:··.. ..·:-=+***++=-·.
...······.... ...···::::::::·····.····::--==+++***++==--:··.. ...··::------::··... ..·:=****+=-:·.
...... ....···::::::::···.... .....···..... ··=+***+=-:·.
.·-+++++=-:·.
.·-======-:·.
..:------:·.
.·::::::··.
.·······..
.·····...
..............·····:::::·····........................····················............... ..·····...
..··::::::·····:::---=======---:::·····.·············:::::::---===+++++++=====-----::::::·····........···::::··..
.·:-==++++==--------====++====--::···········::::::::::::::---==++*##%%@@@@@@%%%##***++===---:::::::::---=====-:··..
..···::···... ..··::--===+====---::::--=++*#%@@@@@@@@@@@%#*+=-::···:::-==+******+==-:·. ..·:::::··.
..··::::···...........····:::::····.........··::-=++*********+=--:···...····::--======-::··.. .·::::::·.
....·....... ........... ....···::::::::····.... .....··········... ··::--::··.
.·::----:··.
..·::---::·..
..::----::·.
.·:---:::·..
··:--:::··.
..··---::··..
.......... .......········........... .............····....................................··----:··..
.··:------:::·······::::------:::::························::::::------::::::::::::::::::::··············:==--::·..
.·:-=+*####*+===----===========---:::::::::::-----------:::-----====+++++++++++=========---:::········::--=====-:··.
.·::-====----::::::---=++*******++==--::::--=+*#%@@@@@@@@@@@@@@%#+=-:··....···::::::::··.. ......
..·::--------:::::::::----=====---::··.......··:-=+*************++=-:··......····:::::···.. ......
...········..........··········.... ...··::::::::::::::··..... ............... ......
..····..
.····::···.
..··-----::··.
..::=+===-::·.
..--+*++=-:··.
..:-+++==-:·..
...·····...... ................ ....··············...···············..........::===--:··.
.··:--====---::::::::::::::::::::·····...... ...··:::---------------------------:::···.......··:--:::·..
·:-=+*##%#**+++++++++++++++++===--::::······..............···::--====+++++++++++*****+++==-::··... ...··::::··..
..·-==+++*+++++++++++**##%%@@@@@%%#*++==-----=++*%@@@@@@@@@@@@%*+-:·. ..······...
.··:--====------------==++++**+++==--:::·····::--=+************+=-:·. .....··....
...········...........······:::·····...... .....··:::::::::::::··... ....... .
....··...
··:::::::··.
..::++++==-:·.
··--*#**+=-:·.
··--***+==-:·.
..::===--::·..
....···...... ...···::::::::::::::·········:::······..... ..······...
.··::----:::::·············........ ..··:--==++*****+++++++++++++++++===-::··.. .......
..·:--=++================---:::···.... ..··:-==+***############%%%%%%%%##*+=-:·.. ......
.·:-=++++++++========++**#%%@@@@@%%#*+==-::···:::-=+**#%%%%%##*+=-:·.. ..··::-------::·..
..·::-======---:::::::::--==+++*****++=--::···...···:--==+++++++=--:·.. ..···:::::···...
...···::::····............····::::::::···..... .....···:::::::···... ........... ..........
. ..:::::::··.
..::=====--:·..
..::++++==-::·.
..::=====--:·.
..··:-::::··..
..........
........ .......... ....···:::::::::::::::::::::::::::::::···...
...·······.......... .......······...........··::--==++********++++++++*********+==-::·.. ....
...····················..........·········.......···::-==++**#######******###%%%@@@@%%#*+=-:··.. ..······..
..·:-=+******++=--:::···:::--==++****++==-::·......··:-=+**#%%@@%%%#**+=--:···.....··::-==+***##**++=--:···.....
..··:-=+**+++==--::····..····::---=====--::··... ...·::--=++++++++==-::··... ...··:::--------::···.···......
...···::::::····..... ......··········... ...····::::::···.... .................········..
..·:·::····.
..·::::::··.
..·::::···..
..·······...
..·····....
..··.......
.......... ......·········.... .....····················:::::::::::···.... ..······...
.......···...........····::---------:::···......···:::-------------:-----===+++++++==--::···.....::::::··..
.....·················:::--===+++++==---:::····:::---=======---:::::::::--==++***+++==-:::·····::--==--::·.
.··:-=+*#####**+=-::·... ..··::--========--------==+**#%@@@@@@@@@@@@@%#**+=--:::·::::-==+*##%%%%##*++=-::··.....
.··:-=++**+++==-::·... ...··::::::::::·········::--=++************++=--::·········:::--------::··..·.......
..···:::::::···... .............. ....···::::::::::::::···.......................
...
......
..··........
..··::::····..
..::---:::··..
..::==---::··.
....·········....... ........···...... ....... .....·············.....::===---::·.
..··::--------:::·········::::------::···... .....·····..... ...···::::--::::·········-===---:·.
..·::--==+++++===----------===+++++===--::····..·····:::::::···.. ..···:::::····.....··::--==--:·.
.··:-=+*#####**+=--:··......··:--=+**##########*******####%%@@@@@@@@@@@@@@@@%%#*++=======++***##***+=--:·..
...·:-=======--::··.. ..··::--==========---------==+++*****************++==---------------::··..
...·········.... ....·············.......····::::::::::::::::::::·····..............
. ..·........
..:·--:::···..
··--++==--::·.
··--**++==-::·.
..--+*+++==-:·.
...··········... ....... ................::=++===--:·.
..·::--==+++===-::··.. ....······.... ........... ....·········.......·:------::·.
..·:--=+*###%###*+==-:···.....····:::::::···.........···::---==---::··.. ....···::::···... ...·::::::··.
..·:-+*#%%@@@@%%##*++=========+++****####******++++======++**#%@@@@@@@@@@@@@@@@@@@@%%#####%%%%%##*+=-::·.
..·:--==+++++===--:::·····:::---=====+++=====----::::::---==+*******************+++===========--::·..
...···········..............······::::·······.........····:::::::::::::::::················..... ...
..·.·...
..:·:::···...
..::===--::·..
··--+++==--:·.
..--***++==-:·.
..::+++++==-:·.
....····..... .................··-======-:·.
..··::-----:::·.. .... ..··::::::::::···········:::::::::::···......::------:·.
..··:-==++++++==-:··.. ........ .·::-=+*#######**++========+++++++++=--::·.......··::::::·.
..·:-+*%@@@@@@@@@@@@%#**+===-----------------===-----:::::::::--=+*#%@@@@@@@@@@@@@@@%%%%%%%%%@@@@@%%#*++=-:·.
.··:==+*********++==--:::::····:::::::--------::::····...····:--==+********+++==---------========--::·:·..
..··:::::::::::····..............············...... .....···········..... .............:·:··..
..··::··..
..··:::··...
..··--:::··..
..··----::··..
..··-----:::·.
..··------::·..
...·······.... ......····.............··········......··-------:··.
..··::----:::··.. ..·::--===++=====------=====+++++===--:::····:::---:::·.
..·:--=====--::··... ............ .··:-+*##%@@@@@%%###*****###%%@@@@@@%%#*++=-:::·:::::::::·.
..·:-=+*%%%@@@%%%##*++==--:::············:::----==----::··... ..··:--=+++**+++==----:---==+**#%%@@@@%%##*=-:·..
..··:-=++++**++++==--:::···...........····::::::::::··.... ...···::::::···.... ....··::--======-*+=-:·..
...···:::::::::····..... ......······...... ....... ........-:==-::·..
..::--::··..
.··:::···...
..······...
..······...
..·····....
..···.......
..····:::::····.... ....···········....··············..... ..··........
.·::--=====---::···.......·········.... ...··:--===++++=====-----====+++++++++==-::··..··........
..·:--==++===--::::··::::--===++++===---::::---=++*#%%@@@@@@%%##********##%@@@@@@@@@%%#*==-:····.......
..·::-=++++++=====--------:::::··········::--========--:·.. ...···::····... ..·:-=+*#%%@@@@@@#*=-:·.
...··::::-------::::::·····.... ....···::::::::··... ....·······... ..·::--==+++@%#*=-:·.
.......········....... ............. ........... ....··==##*+=-:·..
..--**++=-:·..
..::=+==--:·..
.··----:::·..
..::::::··..
..········..
............
...····:::::·····.........··········..... ......·······........................ . .........
..··::--====----:::::::::---====+++===---::::::::---====+++====---:::::::::----------::··... . ....
.··::--===----::::::::-==+*#%%@@@@@@@%%########%%@@@@@@@@@@@%#**++=======++**######*+==-:·..
..·:--=++*****+++++++++++++===--::···......···:::----::··.. ...·:::---:::··.. ..·:-=+*##%%@%#*=-:·.
...··::::--------------:::···.. ............ ...··:::----:::··... ..··::-==++@@%*+-:·.
..........·······..... ....·········..... ....··=+%@%*+=-·..
··==%%#*+=-:·.
.·-=#%#*+=-:·.
..--*#**+=-:·.
..:-+**+==-:·.
..::=++==--:·.
..·:===---::·.
....·········........·····:::::::::·····.........········....... ...............··----:::··.
...···:::::::::·········::--===+++++++===---------==========---::···......·····::::::·······:::::···..
......... ....··:::----:::··........··:--=+**#####****++++***##%%@@@@@@@%#**+=-::······:::--======---:::·······....
.·:-=+#%@@@@@@@@%%%%%%%%%%%%##*+=--:·.. ..... .··:--======--:·.. ..·:-==+++=-:·.
..·::-===========++++++++==--::·.. ..··::--=====---::·... ..··::+++=-:·..
.........···············... ....············.... ..::+*+=-:··.
..:-+*+==-:·.
..:-+*++=-:·.
..:-+*++=-:·..
..--**++=-:··.
..--**++=-::·.
..--**++=-::·.
............... .......·············.........··········............................--+*+==-::·.
...............··:::::-::::··.... ...····::::::::·······::::----=====---:::··········::::------------+++=--:··.
.···:::::::::---==+++++++=-::·.. ...···::::·········::--=++**#####**+==-::······::--==+++******+++++=--::·..
███████╗██████╗ ██████╗ ███╗ ██╗████████╗██╗███████╗██████╗ ███╗ ███╗ █████╗ ████████╗██╗ ██╗
██╔════╝██╔══██╗██╔═══██╗████╗ ██║╚══██╔══╝██║██╔════╝██╔══██╗████╗ ████║██╔══██╗╚══██╔══╝██║ ██║
█████╗ ██████╔╝██║ ██║██╔██╗ ██║ ██║ ██║█████╗ ██████╔╝██╔████╔██║███████║ ██║ ███████║
██╔══╝ ██╔══██╗██║ ██║██║╚██╗██║ ██║ ██║██╔══╝ ██╔══██╗██║╚██╔╝██║██╔══██║ ██║ ██╔══██║
██║ ██║ ██║╚██████╔╝██║ ╚████║ ██║ ██║███████╗██║ ██║██║ ╚═╝ ██║██║ ██║ ██║ ██║ ██║
╚═╝ ╚═╝ ╚═╝ ╚═════╝ ╚═╝ ╚═══╝ ╚═╝ ╚═╝╚══════╝╚═╝ ╚═╝╚═╝ ╚═╝╚═╝ ╚═╝ ╚═╝ ╚═╝ ╚═╝$ open /threads/12377626-9119-4704-98b8-49fa68a4ea7f▌ posts
FrontierMath · Discussion
Discussing FrontierMath
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.