benchmarks.wiki / Public workspace
.·:-=++**++=:·. .·-=*###*+-:·. .·:-=+****+=-:·.......···::::::::··.... ...··::--==++*****++=-:··..
..·:-======-::·.. ..·:-=+++==-··. ..·:-=+%%%#*+=-:·····::--=======--::··... ...··::--===++====-:··...
..··:::::···.. ...··::::··.. ...··:***@%#+=--:::--==+**####**++=-::·... ...··:::---------:··....
:::**%#*+=----=++*#%@@@@@@%%#*+=-::·.. ....···::::::::···.....
::+=*+==--==+*#%@@@@@@@@@@@%#*+=-:··.. ....··········.......
··-:=-----=+*#@@@@@@@@@@@@@@#*+=-::·... ....................
..····::-=+*#@@@@@@@@@@@@@@@%#*+=-:··... ...................
..·:-=+*%@@@@@@@@@@@@@@@%#*+=--:··................. ..........
..·-=+*%@@@@@@@@@@@@@@@%#*++=--::····...................······..
...··... ...··... ..·-=+*#%@@@@@@@@@@@@@%%#**+==--:::::···················::::··..
.·::--::·.. ..··:::::·.. ..·:=++*#%%@@@@@@@@@@%%##**++====------------:::::::::-----::··..
.·:==+++=-:·. .·:-====-:·. .·::-=++**###%%%%%%####****+++++++++++++++++===============-::·..
..·-=+**++=-:·. .·:=*%@@@@%#+-:····:-+*%@@@@%#*=-:·.......···:::---:::::··········::--==++*###%%%%###*+=-:··..
..·:-====--:·.....·:-=+*****+-:··...·:-=++***+%#+=-:··...···::--=====---:::···......···::--=++***#####***+=-::··.
..···::···... ....··::::::··.. ...··:::::+=-+=-:·····::--==+++++++==--:···..........··::--==++*****+++==-::··.
:··-:-::···::--=+**######**+==-:··... ...··::--==========--:::··.
..······::--=+*#%%@@@@%%#**+=-:··.. ...··::::--------:::···..
. ..···::-=+*#%@@@@@@@@@%#*+=-:··. ....···············...
.··:-=+*#%@@@@@@@@@@%%*+=-:··. ..................
.·:-=+*#%@@@@@@@@@@@@%#*+-::·. ..
··:-+*#%@@@@@@@@@@@@@%#*+=-:·.. ....
....... ...····.... .·:-=+*#@@@@@@@@@@@@@@%#*+=-:··.. .........................
..·:::::··... ...··:------::·.. ··:-=*#%@@@@@@@@@@@@@%%#*+=-::···....·····::::::··········::::···..
..·:=++++=--:·····:--=+****++=-:·. ..·:-=+*#%%@@@@@@@@@@@@%#*++=--:::::::---=========---:::---=====--:·.
..·:=+++=-:·.....·:=*%@@@@@%#+=-:::-=+#%@@@@@@@%*+=-:···..···:::---=========------------====+++****###****+=--:··.
..·::--::··....·:-=+*****+=-:·····::-=+*****+==+=-::······:::--===+++++====----::::::::----==+++*****#****++=--:·.
......... ...···:::::··... ...···::::···-:·:·······::--==+++****+++===--::::······:::---==+++********++=--:·.
.....·...···::-==+***###***++==--::····.....···:::--==+++++++++==--:··.
....··:-==+**###%%###**+==-::··...........··::---=======---::··..
..··:-=++*##%%%%%%%#**+=--:··.. ..···::::::::::···...
..·:-=+**#%%@@@@@%%##*+=-:··.. ..·········...
..·:-=+**#%@@@@@@@@%#**+=-:·.. ...·····...
.·:--=+*#%@@@@@@@@@%#*+=-:··. ...····...
....... .....·····.... .·::-=+*#%@@@@@@@@@%%#*+=-:·.. ..···:::···.. ..······..
..··:::::·········::--=====--::··.. .·::-=+*#%%@@@@@@@@@%#*+=-:··........··::------::··....··:-=====-:·.
..·:-==+===-----==++**######*++=-:··... ...··::-=+*##%@@@@@@@@%%#*+=--:···..···:--=++***++=--:::::-=+*%@%#*+=-·.
.··:::::·.. ..·:=+#%%%%#*+--::::-=+#%@@@@@@@@%#*+=-:::······:::::--------=----------:::::::----==++++*****+==-::·.
....... ..·:-==+++=-::··..··::-=++*****+==--=--:::::::::----=============----::::······:::---==+++*****+==-::·.
..········... ....··········..:··::···:::---==++++****++++===--:::···.....···::--==++++++++==-::·..
.. ..·····::--==++**######***++=--::··.........··::--==++++===--:···..
..··::--=+**##%%%%%%###*++=-::··.. ..··::--====--:::··....
..··::-=+**#%%@@@@@@%%#*+==-:·.. ..·::-----::··...
..··:-=+*##%@@@@@@@@%%#*+=-:··. .··::----::·..
..·::-=+*#%@@@@@@@@@%%#*=-:··.. ..·::----::·.. .....
..·:-=+*#%@@@@@@@@@@%#*+=-:·.. ..··:--===-::·. ..··::··..
.....................··...... .··:-=+*#%@@@@@@@@@%#*+=-:·......··:-==+++==-:·.. .·:-=+++=-:·..
...···:::::·::::::----------::···.. ..·:-=+*##%@@@@@@@%#*+=-::·....··:-=++****+=-:··..··:-+*%@@%#*=-:·.
..··:--========++++********++==-::··.. ..·::-=+*#%%@@@@@%##*+=-:···.··::-=*##%%%#*+=-::·::=+#%@@@@@%#*=-:·.
... .·::-====-::··..··:-=+*#%%@@@@@%#**+=-::··.... .....···::-----------:::······::--==+++**+++=-::··..
.··::::::···.....··::--==++++++==--::--::····......·····::::--------:::··.........·::--==+++===-::··...
........... .....···········...:··::·········:::::------------::··.. ..·::--====--::··......
...··::·::::::----=====++++===--::·.. .··:------:··..........
..··::::---==+++********++=--:·. ..·:------:··.. ......
..··:::--=++**###%%%%##**+=-:·.. ..·:-====-:··. ...··..
..··::-==+**#%%@@@@@@%%#*+=-:·. .·:-==+++=-:·. .··:::··.
..··:--=+*#%%@@@@@@@@@%#*+-:·.. ..·:-=+****+=-:·. ..·:-==--:·..
.·::-=+*#%@@@@@@@@@@@%*+=-:·....·::=+*##%#*+=-:·....·:-=+*#*+-:·..
............................. .·:-==*#%@@@@@@@@@@@%*+=-:·····:-=*#%@@%%#+=:··..··-=+#%%@%#+-:·...
...··:::::::::::::::::::::::···... ··:-=+*#%@@@@@@@@@%#*=-::···::-+*#%@@@@#*=-:····:-+*%@@@@@%*=-:··..
..··:-----------===========---::··.. ..·::-=+*#%@@@@@@@%#*=-::····:-=*#%@@@@%*+-:····:-+#%@@@@@@#*=-::···.
......... ..··:--=++++++++==-::··.. ..··:--=++****++=--:··....··:--=++++==-:··......
..................···:::-------:::···.·... ..··:--===++==--:··. ..·::-===--:·.. ....
.......... .........·····....... ...... ...··::--=====--:··. ..·:----:··. ......
..... ....··::--======--:·.. .·::---::·. .······.
..........···::--==+++++==-:·. .·:-===-::·. ..·:---::·.
.......···::--=++*****++=-:·. .·:-=++++=-:·.. ..·:-=+++=:·..
....···::--=++*######**+=:·.. ..:-=*####*=-:·...·:-=+*##*+-:·.
..···::-==+*##%%@@@%#*+=-:·.. ..·:-=*#%@@%#*+-:····:-=*#%%%#*=:·.
..·::--=+*#%%@@@@@@%#*=-:··..··-=+#@@@@@@#*=-:···:-+*#%@@%#*=:·...
...................······......... ...::-=++*#%@@@@@@@%#*=-::···:-=*%@@@@@@%*=-····:-=*#%@@%%*+=:·......
..···::::·····:::::::------:::::···...........::-=+*#%%@@@@@@%#*+=-:··::-=*#@@@@@@#*=:·...·:-+#%@@%%*+=::·...··..
..··:::::::::::::---====+++====--:::····..····::-=+*##%@@@@@%#*+=-:····:-+*%@@@@%#+-·.. ..·-=*#%%%#*+-:···.······..
...···::::::::::::····..........··::-=+*##%%@%%#*+=-:·.....·::-=++++=:·. ....
. .........···.............. ....··:--=+*##%%%##*+-:·. .·:-====-:·. ..····.
........ . ...··:--=+**####*+=-:·. .·:-==--:·. .::--::·.
..··:-==+**##**+=-·. .·:-===--·. .·-=+++=-:·.
..··:-=++**#**+=-:. .·:=++++=-:·. .·:=+#%%#*=-·.
..·:--=+*****+=-:·. .:-+*###*+-:·...·:-+#%@@@@#+-:..
.··:-=+**##**+=-:·. .·-=*#%@%%*+-:···:-=+#@@@@@%#+-·..
..·:--=+**##**+=-··. .·:=+#@@@@@%*=-:··:-=+#%@@@@%#+=:·..
..··:-=+**###*+=-:··....·-=*%@@@@@%*+-:···:-=*#@@@@%*+-:·.. ...
...···························..... .··:-=++*###**+=-:·...··-=*%@@@@@%*=-··..·:-+*#%%%#*=-·.. .....
..··::-----------======++=====--:::··.... .··:--=+**##**+=-:··..··:=+#%@@@%#+-:·. .·:-=**##*+-:·. ..····.
..··:::-------===++**###%%%%###**+==-::········::--=+***#**+=-:··...·:-=*#%%%#*=:·. .·:-=+**+=-:·. ..··:::·.
.··:--=++**#####***++==------==+*#%%@@@@@@%#*=-:·...·:-=+*##*+=:· .·::::·..
...··::::----+++====----==++*#%@@@@@@@@%*=-:·....·:-=+***+=:· .·:===-:·..
... ......:::---------==+*#%@@@@@@@@%*+-:·.. ..·:=+***+=:·. ·:=+*#*+=:·.
··:::::::--=+*#%@@@@@@@%*+-:.. .·:-+****+-:. .·-+*%%@%#+-:·.
....···::-=+*#%%@@@@%#*=-·.. .·:-+*##*+=-·.. .·:=*%@@@@@%*=:·..
..··:-=+*##%%%#*+=:·. ..:-+*###*+=:·...·:-+*%@@@@@%#+-:·...
..·:-=+*****+=-:·. .:-+*#%%#*=-:·..·:-+*%@@@@@%#+=-··.....
..·:-==+++=-:·.. .·-+*#%%#*+-:··.··:=*#%@@@@#*+-:·.........
.·::--==--:·. .·-=*#%%#*+-:·...·:-=*#%%%#*+=:·.. ......
...···:::::::::::·······...... .··:----::·.. .·-=*####*+-:·....·:-=+*##*+=-·. ...··..
..·::-=+++++++++++++++====---::···... ..·::---::·.. .·:=+*###*=-:.. .·:-=+**+=-:·. ..·····.
.·::-=+*######%%%%%%%%%%%###**+==-::··... ...··::----::·... ..·:=+**#*+=-·. ..·:-=+++=-:·. .··:::··.
..··:-=+*#%@@@@@@@@@@@@@%#*+===-===+*#%@@@@@@@%#+=-::::-=*#@@@@@#+=:. .·:-=+*+=-:..
..··:--=++********@@%##**+++**#%@@@@@@@@@@%#+=-:::-=*#%@@@@#+-:. .·:-+*##*+-:·.
...······:::+++###****##%@@@@@@@@@@@@%*+--::-=+*%@@@%#+-:. .·:=+*#%%#*=:·.
···=-******#%%@@@@@@@@@@@%*=-::::-=+#%%%#*+-·. .·:=+#%%%%#*+-·..
..::==+++*#%@@@@@@@@@%#+-:····:-=+*##**=-·. .·:=+#%@@%%#+=-:·...
..··:--=++*#%@@@@%#*+-:·.....·:-++*++=:·. .·:=+#%@@@%#*=-:··.......
..··:--=+*****+=-·. .·:-=++=-:·. .·:-+*#%%%#*+=-:··.........
..··:-----::·. .·:-===-:·.. ..:-=*##%%#*+=:··.......····.
..·····.. .·:-===-::·. ..·:=+*###*+=-:·.. ..······.
...···:::::····.... .... .·:-====-:·......·:-++****+=-:·. .···::··..
.··:-==+****++==--:::··.... .... .·:-=++++=-:··...··:-=+***++=-:·. .··:::::·.
.·:-=+*#%@@@@@%%#**++==--:::···.... .......... ..·:-=+****+=-::····:--=+****+=-:·. .··::::::·.
.···:::-----------===++**##%@@@@@@@@@@@@@%#*++=------=+*#%@@@@@@@#*+====+*%@@@@@@@@#+=:···::=+*#%%%#*+-·.
...·················:::---==++**********++%#**++++**#%@@@@@@@@@@%#*+++*#%@@@@@@@@#+-··..··-=+*#%%#*+=:·.
.......... .......····::::::::::+++#####%%@@@@@@@@@@@@@%#*++**#@@@@@@@#+-:.. ..·-=+*###*+=-:·.
:··+=##%%@@@@@@@@@@@@@@#*+====+*#%%%%*+-:. .·-=+****+=-:·..
··==##%%@@@@@@@@@@@#+=-::::--=++++=-:. .·:-=++*++=-:·..
..--+**#%%@@@@%#*=-:·.....·::---:·. .·:==++++=-:·... ....
..·:-==+++++==-:.. ..····.. .·:-=++++=-:··.. .......
..·:::::··. ..··.. .·:-=+++++=--:·.. ...····..
.... .·····.. .··:-=+***++=-:··.. ..·······.
....·····.... .·:::::::······:-==+**##**+=-:··.. ...··:::::·.
.··:---===--::··.. ..·:--======-------=+**#####**+=-:··... ...··::---::·..
.·:-=+**##*++=-::··.. ......··:--=+***##**++++++++**##%%%%#**+=-:··.......··::------:·..
..··:-++**#########****++++++++++++*******+++==--::::::-=+*#%@@@@@%#**++*#%@@@@@@@@@@%#+=---=+*#%@@@@@@%*+=:·..
..··:--============----------------======----:=====++*#%@@@@@@@@@%%####%@@@@@@@@@%*+-::··:-=+*##%%##*+=-:·..
..·················........··············---***##%@@@@@@@@@@@%##*##%@@@@@@@#*=:·.. ..·:-=+++++==-:··.
···==##%@@@@@@@@@@@%#*+++++**###*+=-·. .·:------::·..
··==#%%@@@@@@@%#*+=-:::::-----:·. ..·:::::··..
··--*#####**+=-:··............ .···::···.
..::====--::·.. .··::::··.. ..
. ·.···... ..·::----::··. ....
............··::--======--:··. .......
............ ..···::::::::---==++*******++=-::·.. ....··...
...··:::::···.... ........... ....···::--==+++++++*****##%%%%%%%##*+=--:··... ....······..
..··:-----::··... ..····::···.. ..··::---===++**###%%%%%%%%%%%@@@@@@@@@%##*+==-::···......···::::···.
.··:-=+**######***++==---:::·······::::::::::::::·::::-==+**####***++**#%@@@@@@@@@@%**+==++*#%@@@@@@@@@@%#*+=-:··..
..·:-==++++++====---:::····........············----=++*##%%%%%##***##%@@@@@@@@%#+=--:::--=+*##%%%%%##*++==-::··...
...··::::::::······...... ..........:::=++*##%%%%%%###****##%%%%%#*+=-:·.....··:--==+++++==--::::····....
...--***###%%###**++++++++++==-:·.. ..··:::::::···..............
··--********++==---::::::···. .......... .......
·.--+++====--::···...... ... ......
..:·--::::···... .... .....
. ..·····... ....···.... .....
.......... ....·········:::::::::::··.. .....
...··········..............······.... ..·····......···::--===========++++===--::·.. .....
.··:--===---::···....···:::-----::··.. ...::::::::::::--=++**################**++=--:·.. ......
.··:-==+==--::··.....··:-==++++=-:··. .··:-=======--===+*#%%@@@@@@@@@@@@@@@%%%%%##*+==-:·.. ......
...··::-----------:::::····...........······:······::::-----=======+**#%%@@@@%%#**+++++**#%@@@@@@@@@@@@@@@%#+=-:·.
..···::::::::::::····.... ...........:::::---======++++**####%###*++==----==++*#%%@@@@@@@@@@%%%#*+=-:·..
...·········....... ....···::---===+++++++++*****+++==-:::····::--==++**########*****+==-:··.
...··---==++++++++++====----::···........··:::---============++==--::·.
..::-==+++++++===--:::····.... ...·······::::::::---==---::·.
..::==++++++=--::··........ ..............··::-----::·..
..::=++++==-:··.... ...... ..··:::::::··.
..::====--:·... .............. ..··:::::··.
...::==-::·.. ...··:::::::·····........ ..··::::··.
...···::::::···.......···:::::::··... ..:::--:·... ...··:--======----:::::·····... ..··:::··.
.·:-==+**++=--::····::-==+***++=-:·. ..···:::-::·.....··:-=+*******+++====-----:::··.. .···:··..
.·:-=+*##*+=--:····:-=+*#%%%#*+-:·. .·:-====-::··..··:-=+*#%%%%%%##***++++++====--::·.. ..·····.
...····:::--------::···.. ...···:::···.........···:::-----===+++++++++++++++**##%@@@@@@@@@@@@@%#*+=:·..
...······::::::···... ......... ...·::--==========++++++++++===++++**#%%@@@@@@@@@@@@%#**=-:·.
............... .··:-==++++++++======++++===========++**##%%%@@@@@@@@%%#**=-:·..
..:-=+*####**++=============----------===++**###%%%%%%%###**+=-:·..
..::+##%%%%#**+==-------------:::::::::::--===+++****#####****+=-::·..
.·==%@@@%%#*==-::::::------::::··········:::---====+++++******+==-::·.
··++@@%#*+=-:······:::---::::···........·····::::---====+++++*++==-:··.
··++%#+=-:·.....··:::---:::···..............·····::::----==++++++=--:·.
···=-=-:.. ..·::-----::···....... ............·····:::--==++++==-:·.
...···:::···.......··::::::::··... ....··.:···. .·::-------::···........ ........···::-=+++++=-:·.
.··:-==++==-::····:--=+*****+=:·.. ..··:::··. .·::-======--::···........... ...··::-======-:·.
.:-=++*++=-:····:-=+#%%@%#*=:· .·::--::·. .·:-=++++++==--::·····.......... ..··:-====--:·.
...··::--==++++==-:··. .··:::::·. .··:::::::····:::---==============++++********++==-::·.
...··:::------::··. ...····.. .·:--=====--------==+++***+++++++++++++**********++==-::·.
.....······.... ..... ..:=+*####*++======++***#####***+++++++++*****###****+==--:·..
.:-#%@@@@%#**++=+++**###%%%###***++++++++******##****+++=--:··..
··**@@@@@@#*+++=+++*##%%%%%%##***++++++++++***********+++==-::··..
::**@@@@#*+======+**##%%%###**++++======++++**********+++==---:··....
::**@%*+=-::::--=+**#####**+++============++++*******++++====--:::··..
::+-+-:·....·::-=+++***+++===----------====++++++++++++++======---::·..
··.·.. ..·:--=======---::::::::::----=====++++++++++++++++++==--:·.
...·····... ...··::::::··.. ...···... .··:--------:::·········::::----==============++++***++=-:·.
..·::::::·.....·:-=++**++-:·. ..··::··. ..·::----:::···........····::::-----============++*****+=-:·.
.·:::::··....·:-=*####*=:. .··:::·. .·:::--:::···.... .....···::::--------------===+*****+=-:·.
...·::-=++++++=-:·. .·:-====-:·. .·:--==--:··.....··:::-------:::············:::::----::::··..
..··::--=====-::·. .·::--::·.. ..-=+****+=--::::::--==+++++++==--:::··········:::::::::::···..
...····:····... ...···... .:-=%@@%%#*+==---==+**##%%%%##**+==--::::······::::::::::···...
··:**@@@@%#*++=++**#%@@@@@@@@@%##*+==---::::::::::::::::····...
::**@@@%**++++**#%@@@@@@@@@@@@%#**+===---:::::::::::::····....
::**@#*+====+**#%@@@@@@@@@@@@@%##*++===------::::::::·····.....
::=-+--:::-==*#%@@@@@@@@@@@@@%%#***++====--------:::::·····...........
·.·.·...··:-=+*#%@@@@@@@@@@%%###***+++=======------::::·············..
..·-=+**#%%%%%%%%####*****+++++++========----::::::::---::::·.
... ..···:···.. ........ .·:-=++***********++++++++++++++++++++====---------=====--:·.
..... .·:--===--·. .··::··.. .·:--==================++++++++++++++++++==========+++++=-:·.
... .·:=+***+=:· .··::::·. .··::::::::::::::::----====++++*********++++++==++++***++=-:·.
██████╗ ██████╗ ██████╗ ██╗ ██████╗
██╔══██╗██╔═══██╗██╔═══██╗██║ ██╔═══██╗
██████╔╝██║ ██║██║ ██║██║ ██║ ██║
██╔══██╗██║ ██║██║ ██║██║ ██║▄▄ ██║
██████╔╝╚██████╔╝╚██████╔╝███████╗╚██████╔╝
╚═════╝ ╚═════╝ ╚═════╝ ╚══════╝ ╚══▀▀═╝ $ open /threads/9aae61a2-3a7a-4970-bf5d-a04b9410d3c6▌ posts
BoolQ / is 0 in the set of natural numbers · Discussion
Discussing is 0 in the set of natural numbers · BoolQ
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.