benchmarks.wiki / Public workspace
......... ....···::::::-::::::·······:::---::·.. .·-=+*###**+==-----==+++**+++++========--::··.
........................······.. .:-+*#%%%%#**+=====+++******++++====+++*++==-:·..
...... ·:-#%@@@@%#*++====++++***+++=========++*#***+=-:·.
..·++@@@@%#*+===-==========---::::::--=++*###*+=-:·.
·:++@%#*+=--:::--------:::····.····:--=+*###*+=-:·.
··==*=--:·····:::::::···... ..··:-=+*###*+=-:·.
·.:·:··.....···::····.. ..·::-=+*##*+=-:·.
. . . ...···::::··.. ..··:-=+****+=-:·.
..··::----::··.. ...·::-=++++++=-:·.
..........................····::::::::::··.. .·:--=++++==--:··.. ....···::-==+++==--:·.
...··::::::----::::::::::::---=++********+=:·. .......··:+*###%##*++=-::··.......·····:::---======-::·.
..·::-==+++++++++=========++**#%@@@@@@@%#+-·. ..····::--=+*#%@@@@@@%%#*+=--:::···::::::-------======--::·..
.·::---==-::··... ..··:--=======-:··. .........··-=*%@@@@@@@@@%#+=--:::---===+++********++=-:·..
...·······... ...·······... .........···:-=@@@@@@@@@@#*+-::····:::--===+++++******+=-::·.
............··+**@@@@@@#*=-:·.......··:::---=====+++++++=--:·..
·::**@@%#+=:·.. ...···:::::---====+++==-::·.
··==+=-:·. .....······:::--==+===--:·.
..···.. ............···::--====--:·.
. .......... ....··::--==---:··.
...·········..... ...··::------:··.
....···::----=----:::··.... ....··:------:··.
......··············:::::···.. .......··-==++********++==--::··...........··:-----::··.
....···:::-----==-----=========-:·. ..·::---------=##%%@@@@@@%%##*++==--::···......···::-----::·.
...··::--==+++***+++++++++*****+=-·. .:-+*#%%%%%%%%%@@@@@@@@@@@@@@%%##**+==---:::·······::::----::··.
.·:-=+*###**++==--::··... ..··::--==--:·. .·:-=+***###%@@@@@@@@@@@@%*+=-:·.....···:--=++*##%%%%#*+=-:·.
..·::--===---::···.. ...·······.. .·::-===+====+++*@@@@@@@%#*=-:·. ..··:-=++*##%%%%#*+=-:·.
....·····..... ....... ..····:::········==+%%#*+=-:·. ..·::-=+**##%%%#*+=-:·.
...--==-:·. ..·:--=++*###%#*+=-:·.
..····. ..··:--==+***#*+==-:·.
... ..··::--==++*+==-:··.
... ....··:::--=====-::·..
..·.·.. ............····::::----::··..
..:·-::········::::::········.....······::::···...
...·········........... ..··········--+=================---:::·····.....········...
.··::-------::··········.. .·-=+*******+++===*****##########***++==--::····.......·.......
.·::-=+++++=--:::::::::::··. .·-=*%@@@@@@@@@@@%%%####%%%%@@@@@@@@@%%##**+==--::····.............
.··::---=----------::::···........··:--=====-:·.....·:-+*%@@@@@@@@%%%%%%%%%%%##**+=--::········::--==++**####*+=-:·.
...··:::--::::::::····.... ...·::-----::···..··::-=+++*+++==-----+++++++==-::·.. ..··:--=+**##%%%#*+=-:·.
.....······........ ....·······.........·········.......···---:::··. ..·:-=+**#%@@%#*+=-:·.
..····.. ..·:-=+*#%@@%#*+=-:·.
..··.. .·:-=+*#%%@%#*+=-:·.
.····.. ..·:-=+*#%%%#*+=-·.
..:·::·. .·:--=+**#**+=-:·.
··-:--:·.. .··:--=++++=--:·..
··=-==-:··.. ..··::---==--:··..
......... ...... ....···:::::::::·=-+==-::···... ....···:::::::··..
..··:::::···.....···::::::······::-=++*********++==-++==---:::::·······.....··············...
..:--=++==---:::--=++++++==--::--=+*#%@@@@@@@@@@%##**++===========--------:::::::::::::····...
..····.... ...···:::----::::--=+*##%@@%#*+=-:···::-=+*#%%%##*++==--------=====++++++++******************+==-::·.
..............····:::::::::::::--=++***++=-:··.....··::-----:::···..·····::::::::::::-----====++++******###*++=-::·.
..............······.....·····:::::··... ......... .....·········......·····:::--==+++**###%#**+=-:·.
...···...... ...··::--=++**#%%%#*+=-:·.
..·····... ..·::-==+*##%%#*+=-:·.
..··:::··.. ..·:--=+*#%##*+=-:·.
..::=--:··.. ..·:--=+*#**+=-:·.
··--+==-:··. ..·:--=+++==-:·.
··==*+=--:·.. .··:--==--:··.
...............············....········:::···==*+==-:··. .··:::--:··.
.·:--===---::::--====+===--::::::::---===++++++====*+==-::·.. ..···:::::·..
·:=*#@@@@@%##******####**+=--::::::--==+**#########**+++=--::··... ...··::::::::·..
..····... ..·-=+#%%@@@@@@@%@@@@@@%#*=-·. .·:--=+++++==-:::········:::--=++*##%%@@@@@@@@@@@@%%##*+=-:··.
.......... ...·:--=+*******++++++====-:·. .··::::::::···.·........···::--=++*##%%@@@@@@@@@@@@%%%#*+=-:·.
............···::::::::::·······.... ............ .............··::--==+**##%%%@@@@@@@@@%%%#*+=--:·.
. .............···::--==++**###%%%%%%%%%%%#*++=-:·.
. ..··..........····::---==+++*******######*+==-:·.
..··:·····.........····::::----=====++++***+==-:·.
..:·-::::····...........·······:::::---=====--:·..
..::=---:::···....... ........···:::----::·..
··--+===--::···... ...··:::::··.
..··:::::············:::::······...........·····--+++==--::···.. ..··::::··..
..·-=+*******+==--:::----------:::··········::::-------*+++==--::··... ..··:::::··.
.·:=+#@@@@@@@@@@#+=--::::------:::···......···:::--==++++++++++===--::··.. ..··:--===-::·..
..··::::··.....··-=*%@@@@@@@@@@%#+=--::··. .·:-===+++===--::····.....·····:::--===++**##%%%@@@@%*+=-:·.
...···········::-=+*********+-:··... .··::-------::·::··...........···::--==+**##%@@@@@@@@@%#*=-:·.
............··:::::::::·... ...··········..:····... ...··::-==+*##%@@@@@@@@@@@%#+=-:·.
·..····.. ...··::-=++*#%%@@@@@@@@@@@#*+=-:·.
..····.. ..··::-=++*#%%@@@@@@@%%##*=--:·..
..··:·... ...··::-==+**########**++==-::··.
..:·:··...........···::-==++++**+++===----::··...
..:·::···........···:::---======---::::·······..
..::-:::··········:::::------::::············...
.......··:::::::::··..........····················.......::---::::::::::::::::::::::····...····::::··.
.··:::::--==+********=-:··.......···:::-------:::::::::::::::::::-------------------::::····..····::----:··.
.·:-=++***##%@@@@@@@@%*=:·. ..··:::::::::::::·····::::::-------=============-----:::·······::--==++=-:··.
..·::-==+===---=+*#%@@@@@@@%*=:· ..··::::-------:::::::·······..........··::-=+*##%@%#*+-:·.
.··:::--::::::--=++***+=-:·. ...····:::::::::--::::·····..............··:--=+*#%@@@@%#*=-:·.
...............·····... .......········..:::-::···..... ...··::-=+*#%@@@@@@%#+-:·..
··.::-::··... ..··:-=+*#%@@@@@@@%#+-:·..
··-:-::··.. ..··:-=+*#%%@@@@@%#*=-:·...
··-:--:·... .··:-=+*##%%%%%#*+==:··...
··-:=-:··.. ..··:-=+*##%%##**+=-::··....
··--=-:··.. ..··:-==+**####*+==-::····....
··--=-::··........··:--=+**###**+==-::·······...
..··::················.... ....····:::::::::::::::::···-:=--:·········::-==+**###**+==-::····:::··..
.·:-=+++==---:::-----:::·... ..··::--===+++********++++==---:=--::::::::--==++**###**++=--::::::::-::·..
.·:-=+****+=------==---:·.. .··:--==++***###########***++===---::::---==++**#####**+=--::::::-----:··..
..··:-==+==--::::--=+****+=-·. ...·····...... ....····:::::::::::····.......··::-=+*##*+=-:..
...······......··::---::·.. ...·········....... .....··············..........··:-=+*#%%%*+-:·.
......... ................... .......·········...... ..··:-=+*#%@@@#*=-·..
..······........ ..·:-=+*#%@@@@%*=-·..
..··:·····..... .··:=+*#%@@@@%#*=:·..
..:·-::···.... ..·:-+*#%@@@@%#*+-:·..
··::=--::··... ..·:-+*#%@@@@%#*+-:·...
··--+=--::··... ...·:-=+*#%@@@@@#*+-:·...
··=-++=--:···.....··:-=+*%@@@@@@%*+-:·.........
..·······.. . ......····:::::::::::::::::·==*+==-::······:--=+#%@@@@@@#*+-:·............
..·::---:·.. ....................···::--==++**************++==*+==--:::::--=+*#%@@@@@%#*+-:·......······...
.··::::··. ..··········..........··::--=++*#%%@@@@@@@@@@@@@@%%#*++==---:---=+**#%@@@@%#*=-:·......·:::::···...
...···.......·:-=++**++=-:·. ..··::----------::···..... ......····:::::::::::···..···:-=++++=-:·..
..·:--=====-::·.. ...··::::::::::::···.... ....·····::·····.....··:-=+*#%#*+-:·.
...··::::···... ......·······....... ....·······.......··:-=*#%@@@#+=:·.
................·::=+*#%@@@@%*=:·.
...............·:-=+#%@@@@@%*+-·.
................··:-=*#%@@@@@%*+-·.
.......·········..···::-+*#%@@@@@%*=-·.
..:::::::::·······::-=+*#%@@@@@%*=:·.
..::--------:::::::--=+*#%@@@@@#*=:·. ......
.... .................··············.......--+++====-------==+*#%@@@@%#*=:·. .··::··..
...... ...········:::::::::::::-----------==========-**+++===----==+*#%%@@@%#+=:·. ..·:----:··.
..····.. ..··:::--------------------====++++****#############**++===----==+*##%%%##+=:·. .·:-=++=--:··.
.··::::--=++*#%%%@%%#*+=-::···...····::---===+++++*******++++==--::···........···::-------::···::-=+**++=:·.
..·::::---==++*****++=--:··.........····::::-------------:::::··:···... ...··:::----:::::::-=+**#%#+=-·..
..·······:::::::::···.... .......··········......... ..... ...··:::::::::::--=+*#%%%#*=:·.
..··:::::::::--==+*#%%%#*+-·.
..··::::::::---=+**#%%%#*=-·.
..··::::-------=+*##%%%#*=-·.
..··::--------==+*##%%%#*=-·. ...
..··::--------===+*##%%%#*+-:. ..···.
.··::---=========++**#%%%#*+-:·. .··::::·.
.......···········....... ..::--===========++**#%%%#*+=:·. .·:--=--:·.
....·... ....···::::-------------:::····.......····===+++++======++*##%%##*=-·.. .·:-=++==-:·.
.·::---::··.. ....···::----===+++++++++++++===---:::::::::--===++++++=======+**##%##*=-:·. .··-=++++=-:·..
.·-+#%%@%%%%#####%%%%%%%%##**+++==-------------===+++**###%%%%%%%%##*++=-::·......·::-=++**++==-::::--====-:·..
.·:-=+*****++++++++++++====----:::::·········::::::-----======+====**+=--:··... ...·:--=+++++==--:::--=====-:·.
...···:::::··············..........................··············--:=-:··.. ..·:-==++++==--:::---====-:·.
·..:·:·.. ..·:-======---:::---====--:·.
..·.. .··:-=====---:::--===+==-:··.
.·:--=====------==+++++=-:·... .....
.·::-======----==++***++=-:·......····.
.·::-==++======++**###**+-:··....···:::·..
.·:-==++++++++++**##%##*+=:··.....·:::-::·.
......········..... ..·:-=++*****++***##%%%#*+=:·. .·::---::·.
...······... ...··:::---------:::··.. .:-=++**##******###%%##*=-:.. .·:-----:··.
.·::-====--:··.. ...··:--==+++***+++==-:··.. ..·:-=+*#####*******####*+=:·. .·:-==--::·..
.:=*#%@@@@@@%##*+++++++++***#############*****++++++++==+++++++****#####**+==-::::::--=+*###**=-:·.. ..·····..
.·:-==+****+==---:::::-----=================-------------------=====###**+==-:·····::-=++**++=-:·. ..··:::··..
...···::···.............························.......··········===**+=-:··.....·::-==+==-:··.. ...·::----::·...
···--=-::·.. ..·:--===--:··...··:--==++=--:··..
·.:·:·. ..·:--===--::··::--=++***++=-::··...
.... .·:-======------=+**####*++=--::···..
.·:-=++**++++=+++*######*+=--::······..
.·:=+*#####******######*+=-:···...·····..
.·-=*#%@@@%%#########**+=-:·. ...····..
................. ·:=+#%@@@@@@%###****++=-:·. ..····..
....··........ ....····::::::::::··.. .-=*%@@@@@@@%#**+++==--:·. .······..
..···::---:::···.... ....··::---======--:··. .·:-+#%@@@@@@%#*+==---::··. .·:::::··..
.·:=+#%@@@@@%#*++=--:::::::::::---===+++****##########***++===----==++**####**+==--::---====-:·. .··::::··.
.··:-=+*+++==--::············:::::----=======++++======----:::::::--***#***+=-::······::---:··. .·:-=++==-:·.
...·······....... .........························.........·---**+==-:·.. ..·::---::·......·:-=+*#%##*+-:·.
...-:=-:··. ..·:--==--:::·::-=+*#%%@@@%#*=-:·.
..···.. .:-=++*+++======+*#%%@@@@@@#*+=-:·.
. . .·:=+*#%%##**++++**##%%%%%##**+=-:··..
.:-+#%@@@@@%##************++=---:···....
.·-+#%@@@@@@@%#*++++======--::··..........
.:=*%@@@@@@@@%*+==---::::···..
..........······.................... .:=*%@@@@@@@@#+=-:····....
.......·····:::::::::::::::················... ..·:*%@@@@@@@#*=:··..
..............······::::-------------::::::::::------:::··....··-=*#@@@@@@%*=-·.. ....
..··:-=+******++==--::··... ...··:--=++*###%%###*++=--::::--=++****+=-:··......·····.. .·:-==+==-:·.
..··:--==-----:::···.... ...···::---===+++===--::·······-==++==-::·. ..··::::::···.···:-=+#%%#*+=-:·.
...······....... ......·············...... ..···----:··. .··:-=+++==------=+*#%@@@%#*+=-:·.
..··::··. ..:-=+*####**++===++*#%@@@@@%#*+=-:·.
..·... ..·-=*#%@@@@%#**++=+++*#%%@@@@@%#*+=-:·.
.......··-=*#@@@@@@@%#*+==-===++**##%%%%#*+=-:·.
....··:-+#%@@@@@@@%*+=-::::::--====+++++=--:··..
..·:-=+#@@@@@@@@#+=:··......···:::::::::···....
.·-=+#%@@@@@@#*=:·. ...........
...... .....······:::::::····..... ......... ·:+*#%@@@@%*+-·.
............. ......··:::--==+++++++++==-:::··············.....··::*#%%%%#+=:·.
...·····...........···::-==+**#%%%%%%%##*+==-::::::::---:::··...·::-+*####*+-:·. ........
....···:::::::::::·····........ .....··::-==+******++=-:·.....··:--===--:·......·::-------:::::::-=++++==-:·.
....·············....... ...···::-------::··.. .·::----::······:--=++***++===--===+*#%%#*+=-:·.
.............. .....······... ...:------:::::--=+*##%%##**+=====++*#%@@%#*+=-:·.
··====------=+*##%@@@%%#*+==---==+*#%@@@%#*+=-:·.
..::++======++*#%@@@@%#*+=--:::::-==+*#@@@%#*+=-:·.
..--+=====++*#%%%%%#*+=-:··....··:-=++*#%@%#*+=-:·.
·.-:=====++*#####*+=-:·. ..·:-==+*####*+=-:·.
..:·----=++****+=-:·. ..··:--==++++==-:·..
. ..::--=++++==-:·. ..··:::-------::··.
.....···............ ........···::::::::::···... ........ ..:--=+++==-:·. ...····:::::::···...
..··::----::::············:::--=++*********+=-:··............. ...·-=++*++=-:·. ..····:::::······....
.·:--===+==---::::::::::--=+*#%@@@@@@@@@@#*+-:·.............. ..·:-=+*###**+-:··.. ...··:::-----:::···...
███████╗██╗███╗ ███╗██████╗ ██╗ ███████╗ ██████╗ █████╗
██╔════╝██║████╗ ████║██╔══██╗██║ ██╔════╝██╔═══██╗██╔══██╗
███████╗██║██╔████╔██║██████╔╝██║ █████╗ ██║ ██║███████║
╚════██║██║██║╚██╔╝██║██╔═══╝ ██║ ██╔══╝ ██║▄▄ ██║██╔══██║
███████║██║██║ ╚═╝ ██║██║ ███████╗███████╗╚██████╔╝██║ ██║
╚══════╝╚═╝╚═╝ ╚═╝╚═╝ ╚══════╝╚══════╝ ╚══▀▀═╝ ╚═╝ ╚═╝$ open /threads/7d40e0d8-5552-4aa8-857d-15d86adb7802▌ posts
SimpleQA / How many papers did Jan Kalicki publish on logical matrices and equational logic… · Discussion
Discussing How many papers did Jan Kalicki publish on logical matrices and equational logic… · SimpleQA
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.