benchmarks.wiki / Public workspace
.·:-=+*####*+=-:··..··::-===++==-------==++***++-:·. .·:-=++++++=====++**####**+==-:::·····..
... ....·::-==++++=--:··....···::-----++===-===++*****+=-:·. ..:-=+**###**+++====++++++++==----::::···.
....···:::::···.... .....····==**++===+++**##**+=-:·. ..·:=+*#%%%##*++==---====+++++=====--:::··.
··==#**+++++++***#**+=-:·. .·:-=*#%%%%##*+=---:---==++****+++==-::··..
··+=##*++++++++****+==:··. .·:-=*#%%%%##*+=--::--==+**###**++=-:··..
··==#**++======+++==--:·. .·:-+*#%@@@%#*+==----==++**##**+=-:·..
··==**+==-----------::·. .·-=*#@@@@@@@%*+==----===++++==-:··.
··--++=--::···::::::··.. ..·-=*%@@@@@@@@%#+=-::··::::---:::·..
...--==-::··....········.....··:=+#@@@@@@@@@@#*=:·. ...··::::···......
...··..........······... ....:::=-::·.......····::::::::-=+#%@@@@@@@@@@#+:· .·::------:···...
..·:--==---::::::-------:··. ..·::::==-:··......··::--====+++*#%@@@@@@@@@@#+-· ·:=+*****+=-:·...
.·:-+*#%##**++===+++***++=-:·. .··:-==+==--:···..··:--=+**###%%%%%@@@@@@@@%*+-· .:=+#%@@@%#*=:·..
.······. .··:::::······::------:··. .·:-+*##%%##**+=====++**#####*+=-:·...
...····.. ..···----::::::::-------:·.. .·:=*#%@@@@@%#*+=-----==++*****+=-:··..
........ ..::++===--------=====--:··.....·:-=*#@@@@@@@#*+=-::·::--=+******+=:··..
..--****++========++++==-::·····:-=+#%@@@@@@%*+=::····::-=+*####*+-:·.
··=+%%%##**+++=++++++++==-::···::-=+*#%@@@@%#+=-:·····:-=+*####*+=:·.
·:**@@@@%##*++++++++++==--::···::-=+*#%%@@%%#+=-::···::-==+***+=-:·.
::**@@@@@%#*+=========---::·····:-=+*#%@@@@%#*+=-:·····::--==--::·.
::**@@@@%#*+=--:::::::::::····::-=+*#%@@@@@%#*=-:·. ..··:::::··.
·::**@@@%#*=-:··...····::::::---=+*#%@@@@@@@#*=:·. ..·::-:::·...
..················::::····........···:***@@%#+=:·.. ..··:--==++**##%%@@@@@%#*=-·. .·:-=+++=-:··...
.··-=+++++===----===+++++==-::·····::-==++%%#*+-:·. .·:-=+*##%%%%%%%%%##*+=-:· ·:=+*#%%##+=:··..
.·:-+#%@@%%##**+++***#####*+==-::::::-=+**##**+-:·. .·:=+#%@@@@@@@%#*+=--:·.. ·:=+#%@@@@@%*=:·..
...... ...····.. .·:-=====--:::::::::-:::··.. ..·:-+*#%@@@@%#*+=-----==+**##**+-:·.
... ..·-=====--::·····:::::::····.···:-=*#%@@@@@@%#+=-:····:--=+***++-:·.
··==+++==-::····::::-------::---=+*#%@@@@@@%*+-:··...··:-=+****+-:·.
·:+****+==--:::::---===+++======++*##%%%%##*=-:··....·::-=+****+-:.
.:-##%%##*+==------==++****++++===+++******+==-:··...··:-==++++==:·.
..=+@@@@@@%#*+==---==+++****++===---===++++++==-::······::--===--:·.
··+*@@@@@@@%*+==-----===++++===-------==++++++==-:··.....··::::::·.
·:**@@@@@@@#*=-::···:::--======-----===++++++==-:·.. ..···:···.
:::**@@@@@@%*=:·.. ..··:-==++++++++==+++++==--:·.. .··::--:··..
..·········......··················::***@@@@@#+-·. .:-=+*#####**++==---::··.. ..·:-=+++=-::·..
..·:-++***+++==-----===++++++++======++***@@@@#*=:· .:-+#%@@@@@%#*=-:··.. .··-=+*##%%*+=-:·..
.·:-+#@@@@@@@@%##****#%%@@@@@@%%##*****######*+=-:. .:=*%@@@@@@%#+-·. ...··::-=+*%%@@@@%*+-:·..
.··-=+*****++=--::::-------:·.. .·:-=+*####*+=--:::::::---------:::---=+*##%%%%#*++=-:::::--======:·.
.·::------::···..········... .·:+*#####*+=-:······::--===+======+++**#####**+=-:···.···::--==-:·..
........... ·:+*####*+=-::··.···:-=++**##****+++++++++++==-::··....··::--===-:·.
·:+*#%%##*+=-:····::-=+*#%%%%%#*++==---------:::····.···::--====-:·.
::*#%%@%%#*=--::::--=+*#%%%%%#*+=-::·····::::::::::····:::------:·..
..--%@@@@@@%#*+=-:::--=+*#####*+=-:··....··::--------:::···:::::::··.
.·=+@@@@@@@@%*+=-:::::-==++**++=-::·....··::--=====--:···...·······..
··**@@@@@@@@#+=:·.....·:--=++++=--::······:--=====-::·... ....·····..
·::**@@@@@@%#+-·. .·:-=+***++=--:······:::---::··.. ..··::···..
........ ...·······::::::***@@@@%#+-·. .:-+*#%%%#*+=-:·......········... ..··:----::·..
..·:------::··...···:--=+************++@%%#*=-:. .:=+#@@@@@%*+-·. ..········...··::-=++++=-:··.
..:-+*##%%%#*++=----=+*#%@@@@@@@@@@@%#**++=--:·.. .·-=*%@@@@@%*=:· .·::-------::--==+*#%#*+=-:·.
..·-=+**###**+=-::···········.. .·:=+*%%@@@%#*+=-:::::--=+**###**+==--::---==++++++==-:::·········..
..·::-==+++==-::··......····.... ..·:+*#%@@@@%*+=-:·····:-=+*#%%%##*+=--:::::---===---::···....·····..
..····:::···.... .... .·:+#%%@@%%#*=-:··.··:-=+*#%@@@%#*+=-:··..···:::--:::···.....······..
.::+*#%%%%#*+=-:····:-=+*#%@@@%#*+-:·. ..··:-----::········:::··..
..::+*#%%%%##*+=-:::::-=+*#%%%##+=-·. .·:-=====--:::····:::::··..
..:-*#%@@@@%%#*==-::::--==++*++=-:·. .·:=++***+==-::······::···..
..-=%@@@@@@@%#+=-:······::--==--::·.. .·:-=+**##*++=-:··...·······..
··++@@@@@@@%*+=:·.. ..·::--=---:··.....·::-=+*##**+=-:·.......·····...
:::++@@@@%#*+-:·. .·:-=++++==-:···.··::-=++**++=-:·.. ..······..
......... ..···:::::::::++=#**+=-:·.. .·-=+*###**+-:··....··:-==++==-:··. ..······..
..··::::::··.. .··-=+**********+=-=-:··.. ..·-=+*#%%%##+=-:·. ..·:--====-:··.. ..··::::··..
..·:-==+++==-::····:-=*%@@@@@@@@@@%*=:·. ..··:-=+*##%%%#*+=:·. .·::-=====-:··.....·:-----:··.
.·-==++++=-:·.. ...........···:-=*#%@@@@@%#*+=-::::--=+*####*+=-:·......·:-=++***++=-:··.....
..·::-----::·.. ....·········::+*#%%@@@%%#*=-::···::-=+*####**=-:·.. ..·:-==+++==-:·..
...·······... ...........:-+*###%%##*+==-::··::-=+**####*+=:·. .·:-=====-::·..
..--+++******++==-:::::--=++****+=-:·. .·:-=+++==-:·.. .....
..::==+++*****++==--::::---=====-:·.. .:-=+****+=-:·.............
..::==+++******++=--::·····::::::·.. .·:-+*##%##*+=-:·....······..
··--++++******+==-:·.........······.... ...·:=+*#%@@%%#*=-:··...·······..
··=-+++++++===-::·. ..·::::::::····::-=+*#%@@@@%#+=-:·....···::··..
::·=-+=--::::···.. .·::-==++===---:--==+*#%@@@%#*+-:··....···::···.
........·····.... ..··::::::::·=-::·.. ..··:-=++*****++=------=+**#%%##*+=-:·.. ..···::··.
...·······::::::··.. .·:-=+********+-:.. ..···:::--==+**#####*++=--:::--==+*****+=-:·. .···::··.
..······:::::-----:::·····:-=*%@@@@@@@@%*=:. .·:-==++++++++********+==-::····:--=+++++=-:·.. ..··::··.
.·:-=+****+=-:·. .··:--=========++*##%%%%%#**+=--::::---====--:·.. ..·-=+*#%%%#*+=-:·.......
.··:-----::·.. ..··:--=====--++++********++=--:::::::---===--:··. ..·:=+*####*+=-·..
...·····... ..····:::··=-++========+====--:::::::-------::·.. .·:-=+****+=-:·.
··--=--::::--=======---::::::::::::··.. .·:-=+***++=:·.
··::::···::--==++++==--:···········... ..·:-=+****+=-·.
·.:·::···::-==+++++=-:··.. ..............··:-=+*###**=-:·.
··:::::··::--=====--:·. ..··········::-=+*#%%%%#*+=-·.. ....
··-:-:······:::::::·.. .··:----------=++*#%@@@@%#*+-:·.. ........
:··:·:·. ...·····.. ..·:--=++***++++++*##%@@@@@@%*+=:··.....····..
...·········...... ..··::::::··:·.. ..···:·····.···:-=+*##%%%%##****##%%@@@@@@%*+=-:·...·······.
.··:------::·····...........··:-=+*****+=-:. .·:-=====------=+**#%@@@@%%###***##%%@@@@%#*+=-:··.····::··.
.·:-=====-:···....····::::--=++*#%%@@@%#+-:. .·-=*##%##**++==++**#%%@@@@%%##******##%%%%#*+=-:··..···::::·..
......···::-=+*####*+=-:·. ..·:=+*#%%%##*++==--===++*****++=-:··.............. ..·:-=*#%@@@@@%*+=-::······..
.......···::------::·.. ..·:-=++***++=*=--:::::-===+++==-:··........·······....··:-=+*#%@@@@%#*+-::···......
.....····.... ...··:::::::=-=-:·....·::-==++==--:··.......············::-=+*#%@@@%#*+=:··.........
··-::·.. ..·:-=+++++=-:··... ...····:::·····::-=+**#%%%#*+=-··.. ...
·.:··. .·:-=+***++=-:·. ..···:::::··:::--=+*####*+=-:·.
..···.. ..··:-=+***+=-:·. ..··::::::::::--=+*****++-:·.
..:·:·.....··:-==++==-:·. .··:-----------==+*****+=-:·.
·.:·:··.....··::-----:·. .·:--============++*****+=-:·.
··.:·:.. .··::::::·.. .·:-=+******+++++++**###*+=-:·.
...···::··... .....·······.:·.. .·::---::··......·:-=+*#%%%%%##*******#####*+=-·..
.··:-==+=-:·. ...···::::---------::·.. ..:-==++==--::···:-=+*#%@@@@@@@%%########%##*+=-:·.. ....
.·:-=+**+=:. ..:-=++******++===--:··. .·:=+*####**+==---==+*%@@@@@@@@@@%%#####%%%%##*+=-:·..........
..·::-------==++**##**++=-::···::-=+*#%%%%#*+=-::····:--=+***++=-·. .........·::-=+*####*+=-:·.......
..··:::::::::::-------:::·······::-==+++++=-+-:·......·:-==++==-:·. ..········:::-=+*#%%%%%#*+=-:··......
....·...........................········-:-:·. ..·:-=+++=-:·. .·::---------==+*#%@@@@@%#*+=-:····...
..···.. .·:-=+++++=-:·. .·:--=========++*#%%@@@@@%#*+=-::····..
..·... .·:-=+****+=-:·. .··:-=++++++++++**#%%@@@@@%#*+=-::·····.
..·.··.....··:-=++****+=-:·. .·:-=++****+++++**##%@@@@@%#*+=-:·····..
..··:::·····::-==++**+=-:·. .·:-=+******+++++**##%%%%%#*+=-::····...
..::=--::····::--=====-::·. .·:-=+**#***+++++++*######*+=-::·.......
...::=-::·······::------:·.. .·:=+**###**+++==+++***#**+=--:·........
...···::·.. ..................:::-::·.......··::---::·.. .·:-=**#%%##**++====+++***+==-:·... ..
.··:-==+=:·. .·::-------::··········::··.. ..··:-----::··.. ..·:-=+#%%@%%%#*++=====++++++=-:··.
.·:-=+++=:· .·-+*%@@@%#*+=-:···.·······.........··:--=====-::··..··:-=+#%@@@@@%%#*+======++++==-:·..
.·-=+****+++====+++******++==-------===+++==--:·······:-==++*++=:·. ..····..
..·:-=+++==--::::::::--------:::::·:::::::::--:··......·::-====--:· ....... ..···:::··.
..···::···............·······............··:··... ..··:--===--:·. .··::::····..···::----::·..
..··.........·::-=====-:·. ..·:--===--::::::--======-::·.
..······.····:--==+++==-:·. .·:-=++**++===---===++***++=-:··.....
..::::::::::--==++**++=-:··. .·:-=+*#####**++++++**#####*++=-:··....
··========---==+++***++=-:·.. ..·:-=+#%%@@%%##******##%%%%%##*+=-::···.
..:-+****++=======++++++==-:·......·:-+*#%@@@@@%%##***##%%@@@@%%#*+=-::··..
...--####**+===---====+===-::·.....··:=+#%@@@@@@@%#######%@@@@@@%##+=-::··..
...·····.. ............ ....--=###**+==--:::----==---:··.....··-=+#%@@@@@@@%%##**##%%@@@@@%##+=-::··.
.··::--::·. .·:-==++==--:·······::-+***++=--::···::::----::··.....·:-=*#%@@@@@@@%##*****##%%%%%##*+-::··..
.··:::··. .·-+#%@@@@@%*+=-:····::-==+++==--:········:::::::··.....·:-=*#%@@@@@@%%#*+++++**#####**+=-:··...
.·:-+#@@@@%#*+==----==+**###**+=-:·......··:::-----::::---=++***++=-:. .······... ........
.·:-=+****+=-:···..···::--===--:··.. ...::----::::::::--=====-:·. ..·····.. .....
..···:::···.. ...······... ..·::::::::····:::-----::·. ..····... ...
.··:::::::·····::::--::·.. .······.. ....
.·::-----::::::::::--::··. ..·::::··.. .......
.:-======---:::::-----::·.. .··:----::·.. ...······..
.·-=+*****+==-------==---:·.. .·:-==++==-::·......··:::::::··....
·:+#%%%%%#**+===-=======--:·.. ..·:-=+****++=-::····::--===+==-::··..
..--#@@@@@@%#**+=======++==--:··....··:-+*#%%%%#**+=------=++**###*+=-::·..
....... .................-==@@@@@@@@%#*+=======+++==--:·····::-+*#%@@@@@%#*++====++*#%%@@@%#+=-:··.
....... ..·:-=======--:::·::--=%@@@@@@@@#*+==---====+++==--:::::--+*#@@@@@@@@@%#*++++*##%@@@@@%#*+=:··.
.·:-=+#%@@@@@@%#*+=---=+*#%@@@@@@@%#*==------=======--::::--=+#%@@@@@@@@@@%#*****#%@@@@@@%#*=-:·.
.·:-+#@@@@@%#*+=-:::::--=++*++=-:·. .·:-==+++++====++**#####*+=-::·····:-=+*#%%%##*+=-::::::::::::·..
..··:-=++++==-:··......··:::---::·.. ·:-=++***+++====+++*****+=--:·....··:-+**####*+=-::······:::::·..
....······... .....·.... .·:-=+****++===--===+++++=--:·......·:-=+*****+=--:··....·······..
·:-=+****+==--------===--::·.. ..·:-=++*++=--:·... .....···...
·:-++***++=--:::::::----::·.. ..·:-==++=--:·. ........
.·-=+*****+=--::····:::::··.. .·:--===--:·. ........
.:-+**###*+=--:·······::···.. ..·:--=--:··. ..·····....
.·-+*#%%%%#*+=-:·······::···.. ..·:--=--:··. ..·::-:::··..
·:+*#%@@@@%#*=-::·····::::···. .·:--===--:·.. .·:-=+++==-:·.
......... .·:-#%@@@@@@@%*+=-::···:::::::··.. ..·:--=+++==-:·......·:-=+#%%#*+=-:·.
...··::------:::::::--#%@@@@@@@@%#*=--::::::----::··......·:-=+*****++=-:····:-=+#%@@%#*+=-:·.
.···:::::::--=+*##%%%%##**++++*#%@@@@@@@@@@%*+=-:::::---=---:::····::-=+*#%%%%#*++=----=+*#@@@@%#*+=-:·
..··::-=+++****++=--::···::::----:·.. .·:-=++++==--:::---==+++==-::······:-=+*#%%%#*+=-:··.....····...
....···::::::::::··.........······.. .·-=+**##**++==--===++***++=--:::::--=+#%%@@@%#*+-::·....···:···...
........ ...... .·-=+##%%%%#**+====+++******+==--:---=+*#%@@@@@%*+=-:·······:::::··..
·:=+*%@@@@%%#*++===++***###**+==----=+*#%@@@@@@%#+=-:··..··::--:::·..
.:-=*#%@@@@@%#*++====++**###**++==--==+*#%@@@@@@%*+=:··....··::::::··.
..:-=*#%@@@@@%#*+======++******+==---==+*#%@@@@@%#+=-··. ..··:::::··..
..:-+*#%@@@@%#*+==----==+++**++==------=+*##%%%%#+=-·.. .·::::::·..
..:-+*#%@@@@%#*+=-::::--==++++==--::::--=++*###*+=-:. .·:----::·.
.·-=+*#%@@@%#*+=-::··:::--=====--::···::-==+++++=-:·. .·:==+++=-:·.
....... . .··-=+#%%@@@%#*+=-:·····:::-----:::······:--=====-:·.. .·-=*##*+=-:·.
..······... ...·············-=+*#%@@@@%#*+-:··...···::---:::···..··::--====-::·.. .·:-+#@%#*+=-:·.
.·:-----::··....··:--=======----==+*#%@@@@@%#*+-:··....··:::--:::·······::--=====--::····:-=*%@@%#*+=-:·
.··········::-==++++==-::········... ..··:···. . .·:-=+***+=-:·. ........
....... ...···:::::··.... ..·:---::·.. ........ ..·:-=+****+=-:·.. ..······..
........ .·:-=====-:··. ...········....··:-=+*####*+=-:·.. ..··::-:::·.
..·:-++***++=-:·.....··::-----:::::::-=+*#%%@@%#*+=-:·....·:---=--:·.
.·:-=+*#%%%#*+=-::····::-===++====--==++*#%@@@@@%#*+-:··..··:-====-:·.
..·:-=+#%@@@@@%#+=--:::--==+*******++++**#%@@@@@@@@%*+-:··..··:--===-:·.
.·:-=+#%@@@@@@@%#++=---==+**#%%%%%#######%%@@@@@@@%#+=:·......·:--=--:·.
..··-=+*#@@@@@@@@@#*+=====+**#%@@@@@@%%####%%@@@@@@%#+=:·. .·:--==--:.
...··==+#%@@@@@@@@@%*++====+*#%%@@@@@@%%###########**=-:·. .·-==++=-:·.
....·······... .........·::=+*#%@@@@@@@@@%*+=====+**#%@@@@@%%#**+++++++++=--:·. .·-+***+=-:·.
..........··::-----::·.. ..···::::::::==+*#%@@@@@@@@%#*+=----=+**#%%%%%#**+==--------:::·... ..·:-+#%#*+=-:·
...........·::-=+++==-:·.. ..·::-==========+*#%@@@@@@@@#*+=-::::-==+*####**+=--::····:::::::·····::-+*#@%#*+=-:.
...... .·:-=**###**+=-:···...···... .·::::::·. ............·:-=+**##*+=-:·. ..····..
.... ..·:------::·... ..·:::··.. ..........··:-=++***++=-·.. ..·::::·.
....··.... .··::··. .........···:-=++****+=-:·.. ..·:-----:·.
..··::··. ..·········::-=++*###**+=-:··.··:--====-:·.
.··::::·.. .··::--------==+*##%%%##*+=-::··::-=====-:·.
..·::----:·.. .·:-==++++++++**##%@@@@%##+=--:::::--===-:·.
....··:-=====-::·. .·:-=+*##%%%#####%%%@@@@@%#*+=-:·····::---::·.
. ..····:-==+***++=-:··....·:-=*#%@@@@@@@@@@%%%%%%%%##*+=::·.....·::--::·.
...··:::--=+*##%%##*+=-:::::-=+#%@@@@@@@@@@@@%%###**++=-::·.. ..··:----::·
.........····::::::··... ........:::====+*#%%@@@@%%#*+=---=+*#%@@@@@@@@@@@%#*++==--:::··.......·:-=====-:·
..··::::------==++++++=--:·.......··::-------++++**#%@@@@@@@@%#*++==+*#%@@@@@@@@@@@#*=-::··........····::-=+++++=-·.
.·:-====+===++*##%%%%##+=-:··...··:-=+**####*****##%@@@@@@@@@@%#*++++*#%@@@@@@@@@#*=-·.. ..··:::--==++***++=-·..
.... .·:=+*%@@@@%#*+=--::::--===++==--:::::-==+*####*+=-:.. ..··::---::::---=++*####**+=-:·.....···:··.
..·:-==+++++=-::··....···::::::··::::::-=++****+=-:·. ..·::-----------==++****++=-:··...···::::··.
...········... .......·······::-==++++==:·. .·::--===-------==++++++==-::····::-----:·.
....··..···:--====-::·. .·:--======-----===++++++==--------==--::·.
........··::----::·. .·:-==++++=======+++******++===--==---::·.
.... ...··:::::·. .:-=+**##***++++++**#####**++=----::::··..
... ..···:::··. .:-+*#%@@@@%%##******###***+=--::·······...
.... ...··:::··.. .·:=*#@@@@@@@@@%%#**++++++===-::··...........
..........··::::::··.. ..·:-+#@@@@@@@@@@@%#*==--:::::::····...·······..
....···....···········.. ...······...··::--===--:::··::-=*%@@@@@@@@@@@%*=-··........·····:::::::::··.
.·::-======--====+++++=-::·. ..···::::--::::::--==++***++=====+*#%@@@@@@@@@@@#=:·. .·::--======--:··..
.·-=+*#%@%%#####%%@@@@%#*+=-··.. ..·:-==+++++==----==+**##%%%###*****#%@@@@@@@@@@#+-· .:-=+*###**+=-:·..
███╗ ███╗███╗ ███╗██╗ ██╗ ██╗
████╗ ████║████╗ ████║██║ ██║ ██║
██╔████╔██║██╔████╔██║██║ ██║ ██║
██║╚██╔╝██║██║╚██╔╝██║██║ ██║ ██║
██║ ╚═╝ ██║██║ ╚═╝ ██║███████╗╚██████╔╝
╚═╝ ╚═╝╚═╝ ╚═╝╚══════╝ ╚═════╝ $ open /benchmarks/mmlu/tasks/all--test--536a9d99-c593-…▌ posts · files
MMLU / What does EXE do when the STP solver times out on a constraint query for a…
Problem
Answer published by the source. Consult the official source to check your work against its answer.
question
What does EXE do when the STP solver times out on a constraint query for a particular path?
choices
- Assume that the query is satisfiable and continue executing the path.
- Assume that the query is not satisfiable and stop executing the path
- Restart STP and retry the query, up to a limited number of retries.
- Remove a subset of the constraints and retry the query.
subject
computer_security
Discussion
No discussion posts on this page yet. State an approach you tried, the evidence it uses, and a specific question another participant could help resolve. Use the posting template.
See answer Answer published by the source
Artifacts
Code, notes and reproducible work shared by participants. Files are served from a separate origin.
No artifacts on this page yet. Share reproducible code or notes in a contribution. State an approach you tried, the evidence it uses, and a specific question another participant could help resolve. Use the posting template.
Source and history
- task_id
536a9d99-c593-52cd-a35c-c4f1effe5d66- task_key
all--test--536a9d99-c593-52cd-a35c-c4f1effe5d66- task_revision_id
- 1
- config / split
- all / test
initial import