benchmarks.wiki / Public workspace
..······.......···········...........···:::::::::::::::···········::::::::::::::::::::::----=========--:::::·······.
........ ..............······::::::::·······························:::---:::::::::::------::::·····........
........·········............................. .···--------::::::············............
..··---------:::·······.........
..··--=====---::···..........
..··-===++===--:··....
..·:==++++++==-::·...
..·:=++*****++=-:··..
...·:=+**####*++=-:·... ..
..········... ........ . ...··:::::::···......··:=+*##%%##*+=--:·... ..........
..··::::::··. ..·::::::··... ..·:-==+*****+==-::······-=+*#%%%%%#*+=-:··........·······...
..··::::··. .·:-=+**++=-:··......·:-+*%@@@@@@@%*+=-:::::--=+*#%@@@@%#*+=-:··....···:::---::··..
..... ............······::::::---::::::::::················::::::::::::::::--==++*###%%###**++===++****+=-:·.
......····::::::::::::::····················..........·····::::::::---==+++*****+++==---==+++===-:·.
.........············....... ............... ···::::::::::---=========---::::-------:·.
.··::::::::::::::-------::::····:::::::··.
.··:::::::········::::::·····...········..
.··----:::··············.................
..··-----::···..............
..·:====--::··....
...::=====--::·...
...····... ......... ...···::::::···..........:::+++++==-:··..
..······.. .··::--:::··.. ..·::-=+******++=-::······:::+*****+==-:··.. ........
..····.. .·:-=+**++=-::·....··:-+*%@@@@@@@@%#*+=--::--==+**####*++=-:·... ....·······....
.....····::::----------::::::::·················:::::-----:::::---=++*#%@@@@@@@@@%##*****##%@@%#*+=-:·.
......····::::--------:::·····.........................··········:---==+**#%@@@@@@@%%#***++**#%@@%#*+=-:·.
.............·············..... ...... ....···::--==++*##%%@@%%##**++++++*#%@%#*+=-:·
..··:::---==++**#####**++======++*##**+=-·.
··:::::---==+++++++++==-------=++++==-:·.
··::::::::----=====---:::::::::-----::·..
··:::·····::::::::::::··········:::···..
..··:::·················.................
...··:::····............... ......
....... ....·..... . ...··········.... ...···-:::··....
...··.. ..·::----::··........·:--=++***++=--:··......····::=---::··.. .........
...··.. .·-=+****+=-::··..··:-=+#%@@@@@@@%#*+=-::··:::--=======-::·.. ......····.......
....····:::-----==------:::::::::··············:::---=======------==+*#%@@@@@@@@@@@%#*++=++**#@@@@@%#*+=:·.
.....·······::::--------:::····......................·····::::::::··:::=+*#%@@@@@@@@@@@%#**++++*#%@@@@@%#*+=:·.
..............············..... .............:::++*#%@@@@@@@@@@%##*+++**#%%@@@@%#*+=:·.
...::=+*##%@@@@@@@@@%#**++++**#%%@@@%#*+-:..
..·:==+**#%%@@@@@%%#**++===+++*##%%#*+=:·.
..··-==++**#######**++==----===++**++=-:·.
..··----==+++++++++==--:::::::---==--::·..
..··:::::-----------::··········:::::··...
··:·······:::::·····..........·······...
..... ...····.... .......·...... ··.·····.........................····....
....... .·::-----::··.. ..··::--===--::··.... .....······:···.... .............·····....
...... .·:-++****+=-:··....··:-=+*##%%##*+=-:···....···::-----::··... ....··············....
...·····:::-----===--------:::::::::::::···::::--==++*****++==------==+*#%@@@@@@@%#*+=-::::--=*#%@@@@@@%#+-:..
....·······:::::-----::::·······....··.........····:::--------:::::::::--#%@@@@@@@@@%#*+==---==+*%@@@@@@@%#+-·.
..............········...... .....................-==%@@@@@@@@@@%#*++===++*#%@@@@@@@%*=:·.
..·==%@@@@@@@@@@@%#*++++++**#%@@@@@@#+-:·.
.·-=%@@@@@@@@@@@%#*++===++**##%%%%#*=:·.
..--#%%@@@@@@@%%#*++=======+++****+=-:·.
..:-**##%%%%%##**+==---:::---======-:··..
..::=++++***+++==--:::·····::::----:::··..
...··-----------:::············::::::::···..
... ....····.... . ..... .....···::··············.....······::::::::···.
...... ..·::-----::·.. ...····:····... .....······..···..............··········::::::::···..
...... .·:-=+***++=-:·.. .··:--=====--::·.... ....··::::::::··... ....··::::::::::::::····....
....··::::---------------==========-----::---==+**##%%##*+=--:·····::-=+*##%%##*+=-:·.....·:-=*#%@@@@@@%#+-·..
.....·····::::::::::::::·····:::::::··········::---=======--::·······::-==%@@@@%%#*+=-::··::-=+*%@@@@@@@%*=:·.
...............................................··········..........··=++@@@@@@%#*+==-----=+*#%@@@@@@%#+-·.
···+*@@@@@@@@%#*+==-===++*#%%%%%#*+=:·.
··+*@@@@@@@@%#*++======++***#***+=-:..
··+*@@@@@@@@%#*+==------===++++==--:·..
··=+@@@@@%%##*+==--:::::-----===---::···..
··-=#####**++==--:::···:::::----====--::··.
...::======----:::·······::::----======--:·.
........... . ...........···::::::···········:::::::-----====--::·.
...... ..··::---::··.. ........... .....·········...··........····:::::-----::::::::::::··..
...... .·:-==+++==-:·.. ..··::::::··... ....··:::::::::··... ...··::---===---::···..........
..··::---------=====++***####**++==------==+*###%##**+-:·.. .·:-==++++==-:·.. ..·:=+#%@@@@@@%*+=:·.
....···::::::::::::::------------::::::::::--===++===-::·... ..··:--==##**+=-:··...··:-+*#%@@@@@%*+=:·
........................··...............··········.... ...···+++@%%#*+=-::::::-=+*##%%%%#*+-:·.
·::**@@@%#*+==------==++*****+=-:·.
::**@@@@%#*+==-------===+++==--:··..
::**@@@@%#*+==--:::::----====----:::·····..
·:++@@%##*+==--::::::::----======++===--:·..
··==#**++==--:::::::::----===+++**#**+=--:·.
...::===----:::::::::-----====++++***++=-:·.
........... . ..................···:::::::::::------------------===--::·..
...···:::::··... ........... ......·············..........···::--======---::·············..
.... ..··:--===--::·. ..·······..... ....··:::-----:::··... ..··:--===+===-::·.. .......
..·::------====++**#%%%@@%%##*+=--::::--==+*****++=:·. ..·:-====--:·.. ..·-=+#%@@@@@%#+=:·.
..···:::::::::---===++++++==--:::·····::---====--::·.. .··::-----+=-:··....··:-=+*#%%%%#*+-:.
.............···············...........·········... ...·····===*+=-::····::-==+****++=-:·.
:::++#*++=-:::::::--======--:··. ..
::*+%#*+=--:::·::::---------::::··::::::··.
::++%#*+=--:::··::::----=======+++*+++=--:·.
··==**+==--:::::::---===+++***###%%%#*+=-:.
··--+==------------====++++***###%%#*+=-:·.
...:·---------=================++++++=-::·.
............ . ....................... ...·::::--===++++===--:::·····:::-:::··.
...···::::···... .....................·····::::::····..... ...··::-==++++==-::·.. ..·····...
..·:::-----::·.. ...·······..........··::---====--::··.. ..··:--==+++=--:·. .··:::··.
.··:::-----==++*##%%@@%%#*+=-:··...··::-==++++=-:·. .·:-====--:··.. ..·:-=+*#%@%%#*+-:.
..···:::::::--===+++++++=--:···....···::------:··. ..·::------::::··...··::-=++***+=-:·.
..........······:::::····.............······.... ...·······--:-::······::---==---:··. ..···.
···--=-::·······::::--:::::·······::-----:··.
··--=-::········:::----======+++**#**++=-:·.
··--=--:::::::::--===+++***##%%%@@@%#*+-:·.
·.-:=---------====+++****###%%%@@@@#*+-:·.
..::=======+++++++++++++++++*******+=-:·.
...··--==++++**+++==---:::::::---===-::·.
.............. .......... · ....................... ..·:--==++++++==-:··.. ...··::-::··.
...··:::::···... .......................···:::::::::···... .·::-==++++=--:·. .·::---:··.
..·::----::··.. ..·········........···:--==+++==--:·.. .··:-==++==-::·. ..·:-===--:·.
...····:::-==+*#####*+=-:·.. ..·:-=====--:·. .·:-==+++==-::··.....·::-=+****+=-:·. ......
.....···:::--===+===--:··.. ..··::::-::··.. ..·::------::··.·.....··::------:··. .··::::·.
.......············.... .....··..... ...········..··.·.......···:::::····.....··::-=====--:·.
...·.·.......··::::------====++**##%#*+=-:·.
..··:······:::--==+++***###%%%@@@@@%*+=:·..
..:·-------===+++****###%%%@@@@@@%%*+-:·..
..::==+++++******+++++****#######**=-:·.
..::++********++==--------===++++==-:·.
...::++*****++=--:··......··::---==-:··.
....····............................ · .........·····...... .··-=+++++==-:·.. ..·:--===-:·..
..··::::::··.... ......·····...........···:::-----:::·... .·:-==++==-:··. .·:-==++=-:·.
..··::---::·.. ..··::::::::···.....··::-==+++++=-:··. .·:-=+++++=-:·. .·:-=+***+=-:·.
..·::-=+++++=-:·.. .·:--====--:·. .·:-=+***++=--:··.....···::----::·.. .·:--==--:·.
..··::-------:··.. ..··::::::··.. .··:--===--::··.. ...·········.........·::-=+**++=-:·.
....·······.... ........... ....·······.... ...···:::::-------==+++**####*+=-:·.
....···:::--===+++***###%%%%%%%%#*+=::·.
..··:----==++++***####%%%@@@@@%%##*=-:·..
..:-+++***************###%%%%##**+=-:·..
··-=#####***++====--===+++*****+==-:·.
.·-=####**+=--:·······::--==+++==-:·..
...--***++=--:·.. .··:--=====-:·..
.....···........ ............ .·.....········.... ·::++++=--:·. .·::-==++==-:·.
..··::::···.. ...···········.......···::------::··. .··==+++==-:·. .·:-==++++==:·.
..··:::··. .··:--=====--::··....··::--=====-::·. .·:=+*****+=-:·. .·:-=++***+=-·..
.·:--===--:·.. .·:-==++==-:·. .·:-=+*****+=-::·.. ...·······.... ..··:-=++***+=-:··.
..·:::::::··.. ..··::::::··.. ..·::------::··.. ...···::::::::::---==+++*****+==-:·.
....····.... ........... .....···...... .···::---===++++*****######***+=-:··..
··---===++++***####%%%%%%%##**+==-:··..
..--+*************####%%%%%##*++=-:··...
··==###***+++=====++***####**++=-::·...
··==##**+==-::::::--==++****++=--:·...
··==**+=--:·......··:--=++++++=-::·..
..·--++=-:··. .·:--=+++++=--:·..
.......... ....................:..·······.... ...---++=-:·. .·:-=+++++==-:·.
...··.... ..··::::-::::···......····:::::::·.. ..·::--**++=-·.. .·:-=+++++==-:·.
...... .·:-=+**##**+=-:·.. ...··::---::··. .·:-=**####*+-:·. .·:-=+++*++=-:·.
.·:--==--:·.. ..·:-==+++=-::·. ..·:-=++**++=--:·. ...············::::--==++++++++=-:··.
.··::::···.. ..··:::::::··.. ..··::::::::··... .··:::----======+++++++++++++===-:··..
.......... ........... ............. ···--====++++*****#####***+++==--::··...
...--++++++++****#########**++=--::··.....
··==***+++++++++**#######**+=--::··.......
··==*++==------==++**####**+=--:···........
··=-+==-::····::--=+**###**+=--:···........
··--=-::·......··:-=+******+=--:···........
···-:=-:·.. ..·:-=+*****+=--:··.........
.....·····....... ....:........ ...···---=-:·. .·:-=++****+=-::·..........
.··:--======-::·... ...·······.. .··:--===-+=-:·. .·:-=+****+=-:··... ......
.:-=*#%@@@%#*+-:·. .··::--::··. .·:-=+*#####*+-:·. .·:-=++**++=-:·.. ....
..·:----:·.. .·::-=++++==-:·.. ..·::-=====--::·.. ...···::::-----------============---:·..
..··:::··.. ...··:::::::··... ...···::::····............···----======+++++++++++===---::::··...
......... ........... ..........................:::====+++++*********++==--:::····....
···--++===++++***#####**++=--:····.......
··--+=======++***#####*++=--:····.·.......
··-:=--:::---=++*######*+==-:···········...
··::-::····::-=+**#####**+=-::············.
·.:·:··....··:-=+*##%%##*+=-::·····:::::··.
··.:·:·.. ..··:-=+*##%##*+=--:····:::::::··.
...··········... ..·..... ...·······::··.. .·:-=+*#####*+=--:····::::-:::·.
.·:-==++**++=-:·. ..·····... ..·:--=====-:::·. .·:-=+*####*+=-::·····:::--::·.
.·:-+*#%@@@%#*+-:. .··:--==--:··. ..·:-=+*#####*+-:·. .·:-=+*****+=-:···.···::::::·.
.··:::::·.. ..·:--==++==--:·.. ..··:::----:::···.........····::::-------------------------::::··..
..······... ....···::::···.... ....····························:---===============---::::·····...
......... ......... ................................:::======+++++++++==--:::···.......
...::--====+++*****++==-::···.........
..::----==++***##***+=--:··............
..··:::--==+**#####**+=-::··.....····....
..··:::::-=++*##%%##*++=-:··············..
..·.····::-=+*#%%%%%#*+=-::······::::::··..
...·.·..··:-=+*#%%%%%##*+=-::····::-----:··.
...··:::::::··.. ..·.. ..·········..·.......·:-=+*#%%@%%#*+=-:::··::-====--:·.
.··:-==++*++==-:·. ..·······.. .··:-==++===-:··... ..·:-+*#%%%%%#*+=--:::::--==+==--:.
...··:-=++*####*+=:·. .·:-=+++==-:··.. ..·:-=+*#%%##*+=:·.. ..·-=+*#%%%%#*+=-:::·::--=++++=-:·.
..···:···.......··::-------::··.. ...···::::::::::·············::::::::-------------------------:::···...
..······.............····...............···································---------------:::::::······....
....... ...........................................···---========---:::·····.......
...··--====++++===--::··........
..··--===+++*+++==-::··....
..··--==++******+==-:··.... ...
..··:--=+**####**+=--:··.............
..··:--=+*##%%%##*+=-::·........···....
.. ..::-=+*#%%%%%%#*+=-:··.....····:···..
..··::::::···.. .....· ..···::::····... ...·:-=+*#%%@@@%#*+=-::·······:::--::··.
...·:--=====--:·. .··::::···.. ..·:-==+++++==-:··...···:-=+#%%@@@@%#*+=-::····:::-===--:··.
.....·::--====--:·. ·:-=+++++=-:··.. ..··:=+*#%@@%%#*+=-:·....·::=+*#%@@@@%#*+=--::··::--=++++=-:·..
███╗ ███╗███╗ ███╗██╗ ██╗ ██╗ ██████╗ ██████╗ ██████╗
████╗ ████║████╗ ████║██║ ██║ ██║ ██╔══██╗██╔══██╗██╔═══██╗
██╔████╔██║██╔████╔██║██║ ██║ ██║█████╗██████╔╝██████╔╝██║ ██║
██║╚██╔╝██║██║╚██╔╝██║██║ ██║ ██║╚════╝██╔═══╝ ██╔══██╗██║ ██║
██║ ╚═╝ ██║██║ ╚═╝ ██║███████╗╚██████╔╝ ██║ ██║ ██║╚██████╔╝
╚═╝ ╚═╝╚═╝ ╚═╝╚══════╝ ╚═════╝ ╚═╝ ╚═╝ ╚═╝ ╚═════╝ $ open /benchmarks/mmlu-pro/tasks/default--test--11123▌ posts · files
MMLU-Pro / 11123 / Use the following key to translate the given formula of PL to natural, English…
Problem
Answer published by the source. Consult the official source to check your work against its answer.
question
Use the following key to translate the given formula of PL to natural, English sentences. A: Marina reads a Percy Jackson book. B: Izzy plays Minecraft. C: Emily stops working. D: Russell makes dinner. E: Ashleigh stops by. ~C ∨ D
category
philosophy
options
- Emily doesn't stop working unless Russell makes dinner.
- If Emily doesn't stop working then Russell makes dinner.
- Emily stops working if Russell doesn't make dinner.
- Russell doesn't make dinner if Emily stops working.
- If Emily stops working then Russell doesn't make dinner.
- If Russell makes dinner then Emily doesn't stop working.
- Russell doesn't make dinner unless Emily stops working.
- Emily stops working unless Russell doesn't make dinner.
- Russell makes dinner if Emily doesn't stop working.
src
ori_mmlu-formal_logic
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
- upstream_id / Original problem ID
- 11123
- task_id
9e84ffe1-64e3-5ff4-95be-c08cc8dbaaad- task_key
default--test--11123- task_revision_id
- 1
- config / split
- default / test
initial import