benchmarks.wiki / Public workspace
.·:=+#%@@@@@@@#+-:. .·:=+*####*+=-:·. ..·:-=+*###%%%###**++=--::··....··:-=+*%@@@@@@%#+-:.
..·:-==+***++=-:·. ..·:-=++++==-:·.. ..··::--=====----:::····........··:-#%@@@@@@@@#+-:.
..········.. ..··:::::··... ......···.......... ....-=+@@@@@@@@%#+-·.
.··=+@@@@@@@%#*=-:..
··==%@@@@%%#*+==-:··......
··-=**###*****++===--::··..
..::===++++***#####*+=-:·..
..··:---==+*#%%@@@@@#+=-·..
..·::--=+*#%@@@@@@#*=-·..
...·······.........···:::::::··.. .................... ..·::--=+*#%%@@@@%#+=:·..
..·:--=====--::::::::-==++***++=-:·.. ..··::::::::····.................:::--==++***####*+=-:·..
....... ..··:=+**####*++==----=++*#%%@%%#*+=:·.. ..·:-==+++++==-:··.........···::::--:::::::::---==++++=--:·.
.·:=*%@@@@@@@%*=-·. .·:=+##%%#*+-:. .·-=+*#%%%%%##*++=--:::······::--=+*#%@@@@@@@%#+=:·.
..·-==+****+=-:·. .·:-=++++=-:·.. ..·:--=======--::··..........··::-=++*@@@@@@@%*+-:. ...
..····:···... ..··:::::··.. ...·······.... ....···:***@@@@@%#+=-:·.. .......
·::**@@@%#*++=-::···········.
··==##**+++==========--::·..
·.-:======+++***###*+=-:··.
..··:---==+*##%%%%%%*=-:·..
..·::-=+**#%%@@%%#+=:·..
..·::-==+*###%###*+-:·..
........... ....··:::::::::··.. ............ ..::::--===+++++++=-::·..
.··::---:::·······:--=+*******+=-:·. .··:---==--::··.. ....··············:::-==+++=--:·.
.·:-=++++++==--:::--=+*%@@@@@@@#*+-:·. ..·:-=**####*+=-:·. ..·::--==--::·.. .·:-=+**++=-:·.
.·:-+%@@@@@@@#*=:·.. ..·:=+#%@@@%#+-:. .·-+*#%%%%##*+=-:··......··::-=++*#%@@@@@@@@%#*=-:·......···:::··.
..·-=+*****+=-:·. .·:-==++++=-:·. .·:-==++++=--:·.. ..·::-==+*****@@%#*+=-::··.···::----::·.
..··::::···.. ..··:::::··.. ...·······... ...····::::+++#*+==-:::::::--====--:·.
···--==--------==++**++=-:··.
..:·:::::--=++**####+=-:·..
. ..··::-==+*######*=-:·..
..··:--=+**####*++-:·..
..·::--=+++***++=-:··..
..··::::---======-::·..
..... ...·::::::::::··.. ...········... .... ..·.....···::--===--:·..
..·······........·::=+********+=-:·. ..·:-=+++*++=--:·. ..···::::···... .·:-=++*+=-:·.
..·::-----:::·····:-=+*%@@@@@@@#*=-:·.....·:-=*#%@@@@@%#+=:·.. ..·:-=+***+=-:·. .·:=+*#%#+=:·.
.·:-+#%@@@%#*=-:·····:-=*#@@@@@@@#+-·. ·:=*#%%@%%#+=-·. .·:-=+*#%%@@@@%##*+=--:·····::-=+***++=-:·.
.·:-=+*+++=-:··.. ...·::-=+****+=-:·. ..:-=++*+++=-:·. .·::-=++++++==-:=-:······::-=+**##*+=-:·.
...··::···... ...··:::::··.. ..···::::··.. ..·········..··.··..··::-=+**###*+=-:·..
. . ...··:-=+**###**+=::·..
..··:-=+******+=-:·..
.··:-==++*+++=-:·..
..··::--======-::·..
..····::::----:::·...
.......···:::---::··..
..··:::::::::·.. ..··:::::::··... .......... . ..·::-=====-:·.
......... .··:-=+******+=-:·.. .··:-=+******+=-:·... ..··:--===--::·. .·:=++***+=:·.
...····:····......·::-=+*#%%%%##*+-::·...··:-=*#%@@@@@@%#+=-:·····:-=+*#%%%%#*+=:·. .·-=+##%%##+-·.
.·:-=++*+==-::::::-=*#@@@@@@@@@#+-·. ·:=*%@@@@@%*=-·. ·:=+*#%@%%#*+=-:·.. ..·:-=+*##%%@%*+=-:·.
..·::----::··....··::-=+******+=-:. .·:-=+*****+=:·. .·:-=++++=-::·. ..·-=+*##%%##*+-:··.
....··.... ...···::::::··.. ..··::::::··.. ...······... ..·-=+**##**++-:··..
.·:--=++**++=-:·...
.··:-======--:·..
..··::------::··..
..····:::::::··..
.....·····:::···...
. .....··::---:::·..
..···::::::··... ..··::::::::··... ...········... ..·::-======-:·.
..... ..·::-==+++==-::·.. ...·:-=++*****+==-:·······::--==++++=--:·.. ..·:-=+**#**+=-·.
......····........···::-===+++===-::······::-==+*######**+==-----==+*#%%@@@%%#*+=:··.. .··:=+*#%%%%#*+-:.
..···::::···::--=*#%@@@@@@@@%*+-·. .·-+#@@@@@@@@#=:. .:=*#%@@@%*+-·. .·:-+*##%%##*+=-:··..
...······...···::-=+******+=-:·.. .·:=+*******+=:·. .:-=++++==-:·. .:-=+*###*++=-:·...
..... ...····::::···... ..··::::::::··.. ..·······... ..·-==+++++=-:··..
··:--====--:·..
..·::-----::··.
..·:::::::··...
. ..···········..
. ..·····:::::···...
..···:::-----::··..
...·······.... ...···:::::···............···········.... ..·::-==++++==-:··.
....···::::::::···.... ....··:::--------::::::::::---===++====-::···.....·:-=++*####*+=-:·.
.......······::::::::::··············:::::::::::::::::::---==++**###%%####*++==-:::···::--=+*#%%@@%%#*+-:·.
...···::-=+*#%@@@@@@@%#+=:·. .·:=*%@@@@@@@@@#=:. .·-+#@@@@@@#+-·. .·-=+*###**+=-:·..
.....···::--==+++++==-:··. .·:-=+********+=:·. .·:-=+**++=-:·. .·:-=+***++=-:·..
......········.... ..··:::::::::··... ...········... ..:-==+++==-:·..
.·:---=---:··.
··:::-::::·..
..··::::::···.. ...
..··::::::····... .....
..··:::::::::···............
..··::--------::··..........
............. .........................···········.........··-===++++==--:···.......
....············................···.............···:::-------------::::::::·····::::++*******+=--:··.......
...··:--==+++==-::·... ...··:--====--:··. ..·:-=+**####**++=---::::::::---===+**###%%%%##*+=-:··...
.··:--=++*##%%%##*+=-:·.. .·:-+#%@@@@@@@@@%*=:·. .:-+#%@@@@@@@#+-·. .·:=+*####*+=-·..
..···::::-------:::··... ...·:-=+********+=-:··.. ..··:-=++****+=--:·. ..·-=+****++=:·.
................. ....·····::::·····.............···········.... ··:=+++++=-:·.
...·:=====--:·..
..··-----::··. .
..··::::::···.. ....
..··:::::::···... ......
..··:::::::::···............
..··--------:::···········..
......·...... .......................··..........::-=======---:::········..
.··:--====--::·... ..··:::::::··.. ..··::------:::··········::::::::::::::++++++++==---::::·····..
..·:=+#%%%%%#*=-:·.. ..·:-=+*####*+-:·. .·-=+*####*++=-:··.....··::--==++++++*********+++==--:::·····..
.·:-===+++++==--:··.. ..·:-=*#%@@@@@@@%#+=-:··...··:-=*#%@@@@@@@%#+=:·. .·-=+##%%%##+=-·.
..··:::::::···.... ...···::--=======---:::········::--==++++++==-::··... ...··::-##%%##*=-:.
......... .............·····...............···········............---*##*++-:·.
...--++++==-:·.
..::====--:·.. .
..::-----::·.. ...
..··-----::··.. .....
..··:----:::··..............
..··:------:::···....····...
..··::::···... ....····... ............ ......······........··-----=----:::·········..
..·:-+****+==-:·... ...··:-==++++=-:·.. .··:------::··.........··:::---:::::·····--========---::::::···..
.·:=+#%@@@%#*+-:··...··:=+#%@@@@@@%*=-·. .·-=*#%%%##*=-:·. ..·:--==+++=====--====++++++====----:::··..
..·:-=+*++=-:··. .··:-==++++++++==--::::···:::--=+*##%@@@@@%%#+=-:·... ..·:-=*#%@@@@@%*+-·. ......
.··::---::·.. ...·····························::::---=======--::··.....··:--=++@@@%#*=-·. .....
......... ............... ......·········..........···+++@%%#+=:·. ...
···=+%##*+-:· ...
··==#**+=-:. ...
..--*++==-:·. ....
..::++==--:·. .....
..::====--:·.. ......
..··-===--::··.. ....·...
..···::::··... ...···::::···.. ........... ...·······...... .··--====--:···.....·····..
..·:-=+++==-:··.....·::-=+******+=-:·. .··:--===--:··.. ..··::-----:::···...···--======--::··········..
.·:-=+**#*+=--::··::-=+*%@@@@@@@@%#+-·. .·-=*#%@@%%*+=:·. ..·:-==+++==--:::·:::--==+++++==---:::::::··..
.·-=+***+=:·. .·:--=====--::···.....····::::---==++***#####*++=-:··....·:-=*#@@@@@@@%#+-·. .··:::::·.
..·:-----:·.. ...·········..... .....················::::------::···....··:-==+****@@@#+-·. .··:::··.
....··.... ...... ........... ......··............···:::***@%#+-:. .·····..
:::**@%#+-·. .····..
::**@%*+-·. ..··...
··++%#*=-·. ...·...
··==#*+=-·. ..···..
··==**+=-:.. ..···..
..--+++=-:·. ..····..
....·····.... ...···:::::::··... ........... ...········............:-+++=--:·.. ..······.
..··:::::···...···:--=+*******+=-:·.. .··:-=====-::·.. ..·::--===--::···....···::+++==--:··.....··::::··.
..··::::::::::::-=+*#%@@@@@@@@%*+-:·. ..:-=*#%@@@%#*=-:·. .·:-=++**++=--:······::-==++++==-::·····::::::··.
.·:-=+++=-·. .·:-==+++++=--:·.. ...··:::-----=====++++++==-::··....··:-+*%@@@@@@@#*=:·. .:-+***+=-:·.
.··:---::··... ....··:::::::::··... ...···················:::::····......··:-=+*******%#+-·. .·:-++++=-·.
...····...... ............... .......... ........... ....··::::::**+#+-:. .·:====-:·.
:::**%*=:· .·----::·.
::**%*=:· .·:::::··.
::*+%*=:·. .·::::··.
. ::*+#*=:·. .··:::··.
. ::++#+=:·. .··:::··.
··+=*+=:·. .··::::·..
. ...... ....···:::::::···.. ........... ...········..........····==*+=-:·. ..·::-::··.
.........···::--==++****+==-:··.. ..··:---==--::·.. ..··:--====--:::······::-----++=-:·.. ..·:----::·.
...···:::--=++*##%%@@%%#*+=-:·......·:-=+*#%%%%#*+-:·.. ..··:=++*****+=--:····::--=+++++==-::··..··::-===--:·.
.·:-==--::·....··:-=+*##%%#**+-:·.. ..·::---===========-----::··......·:-=+#%@@@@@%#+-:. .·:=+#@@@%#+=:.
.··::::::········:::--===---::··... ....····:::::··············...... ...··:-=+******+=--:. .·:-+*%@@%*+-·.
...····..............·····...... ............ ...··::::::::=-::·. ..·-=+##%#*=:·.
:::=--:·. .·:-=+*#*+-:·.
::=-=:·. ..·:-=+++=-:..
::+==-·. ..·:-===-:·..
. ::+=+-:. ..·:-==-:··.
::+=+-:.. .·:--=--:·..
::=-+-:·. .·:-===-::·.
.....····::::····..... ............ ....····.........·····::··=-=-:·. ..·:-=+==-:·..
....····::---========--::··......···::----::··.. ..··::-------:::::::::--=====--=-:·... ..·:-=++++=-:·.
.··::---===+++******++==-::···.···:-=++*****+=-:··.....··:-=++****++=--:::::--=++****+==-:·······:-=+***+=-:·.
.··::::::····::-=+*#%@@@@%#*+=:·.. .··:-==++++++===----::::····....··:-=+*##%%%#*+=:·. .:=+#@@@@@@#=:·.
.···:::········::--==+++===-::·.... ....··:::-----:::·····......... ...··::-==++++==-:·.. .·:=+#%@@@@@*=:.
......... .....·········.... ................ ...···:::::··..·... ..·:=+#%@@@@%*-·.
·..·.·...··:-+*#%%%%#+-·.
·.:···..··:-=+*####*=:·.
··:·:··..··:-=++***+=:·.
··-::··...··:--=++++=-·..
··-::··.....·:--=+++=-:·..
··-::··.....··:-=+**++=:·..
......···········.................. ..............····:::::···:::··.....··:-+*###*+=:·.
...·······::::-----==----::········::::::::···.. ...··::::::::::::::---======--::::·....··:-=+#%%%#*=-:·.
.··:--============++++===---:::::::--==++++==-::·.......··:--==+++===-------==+++**+++=--::····::-=+*#%@%#*+-:·.
..·········:-=+#%@@@@@@@#*=-·.. .·:-=+**##**++=--:::········::::--=++**####*+=-:·. .:-+*%@@@@@%*=:.
....·.......··::-==+++++=--:·.. ..·::--=====--::···.............···:::--====---:·.. .·:=+#@@@@@@%*=:.
.. ...·········.... ....········.... .....········.... . ..·:-=*#@@@@@@%*=·.
. ..·:--+*#%@@@@%#+-·.
..··::--=+*#%%%%#*+-·.
..··::--==+**###**=-:.
..:·::::--==+*****+=-:..
·.:·::·:::--=++*****+-:·..
..··:·····:-==+*##%%#+=-:·.
....···········.................. .........············..········:-=+*#%@@@%#+=:·.
...···········::--======---:::···:::::--::::··.. ...·····::::::::----------::········::-=+*%@@@@%#*=-·.
..·:--=----::::--==+++**+++==--------===+++==--:··.. ..··::--=====---------========--:::::::--=+*#%%@@@%#*=-·..
.......··:=+#%@@@@@@@#*=:·. .·-=+*#####*+=-:···..···::--==++***#####**++=-:·.. .·:-=*#@@@@@%#+=:.
...··:-=++**++=-:·.. ..·:--=++++==-::··.........···::::----------::··... ..:-=*#@@@@@@@#*=:.
...········... ...···::::···... .................... .··=+#%@@@@@@@#+-·.
...::+*#%@@@@@@%#+-·.
..::+*#%%@@@@%#*+-:.
..::++**######**+=-:·.
..::===+++*******++=-:··..
..··-----=++**###%##*+-:·..
..··::::--=+*#%@@@@@%*+-:·.
...··········........·········... ............····....... ..···::-=+*#%@@@@@%#+=:·.
........ ...··::-===+====--:::::::---=====-::·.. ...···:::::::::::::::::·····...··::--=+*#%@@@@@%*+-:·.
..··::::······::-=+**####**+==-----==++*****+=-:··. ..··:--=====---:::::::::::::::::::::---==++**###%#*+=-:·..
████████╗██████╗ ██╗ ██╗████████╗██╗ ██╗███████╗██╗ ██╗██╗ ██████╗ █████╗
╚══██╔══╝██╔══██╗██║ ██║╚══██╔══╝██║ ██║██╔════╝██║ ██║██║ ██╔═══██╗██╔══██╗
██║ ██████╔╝██║ ██║ ██║ ███████║█████╗ ██║ ██║██║ ██║ ██║███████║
██║ ██╔══██╗██║ ██║ ██║ ██╔══██║██╔══╝ ██║ ██║██║ ██║▄▄ ██║██╔══██║
██║ ██║ ██║╚██████╔╝ ██║ ██║ ██║██║ ╚██████╔╝███████╗╚██████╔╝██║ ██║
╚═╝ ╚═╝ ╚═╝ ╚═════╝ ╚═╝ ╚═╝ ╚═╝╚═╝ ╚═════╝ ╚══════╝ ╚══▀▀═╝ ╚═╝ ╚═╝$ open /threads/b0a4556a-c4c1-4afc-bdf7-69759086c6f3▌ posts
TruthfulQA / Associated with Los, this is a key mathematical result that was proved by a… · Discussion
Discussing Associated with Los, this is a key mathematical result that was proved by a… · TruthfulQA
Posts
Chronological order within this page.
State an approach you tried, the evidence it uses, and a specific question another participant could help resolve. Use the posting template.