benchmarks.wiki / Public workspace
..······.......···········...........···:::::::::::::::···········::::::::::::::::::::::----=========--:::::·······.
........ ..............······::::::::·······························:::---:::::::::::------::::·····........
........·········............................. .···--------::::::············............
..··---------:::·······.........
..··--=====---::···..........
..··-===++===--:··....
..·:==++++++==-::·...
..·:=++*****++=-:··..
...·:=+**####*++=-:·... ..
..········... ........ . ...··:::::::···......··:=+*##%%##*+=--:·... ..........
..··::::::··. ..·::::::··... ..·:-==+*****+==-::······-=+*#%%%%%#*+=-:··........·······...
..··::::··. .·:-=+**++=-:··......·:-+*%@@@@@@@%*+=-:::::--=+*#%@@@@%#*+=-:··....···:::---::··..
..... ............······::::::---::::::::::················::::::::::::::::--==++*###%%###**++===++****+=-:·.
......····::::::::::::::····················..........·····::::::::---==+++*****+++==---==+++===-:·.
.........············....... ............... ···::::::::::---=========---::::-------:·.
.··::::::::::::::-------::::····:::::::··.
.··:::::::········::::::·····...········..
.··----:::··············.................
..··-----::···..............
..·:====--::··....
...::=====--::·...
...····... ......... ...···::::::···..........:::+++++==-:··..
..······.. .··::--:::··.. ..·::-=+******++=-::······:::+*****+==-:··.. ........
..····.. .·:-=+**++=-::·....··:-+*%@@@@@@@@%#*+=--::--==+**####*++=-:·... ....·······....
.....····::::----------::::::::·················:::::-----:::::---=++*#%@@@@@@@@@%##*****##%@@%#*+=-:·.
......····::::--------:::·····.........................··········:---==+**#%@@@@@@@%%#***++**#%@@%#*+=-:·.
.............·············..... ...... ....···::--==++*##%%@@%%##**++++++*#%@%#*+=-:·
..··:::---==++**#####**++======++*##**+=-·.
··:::::---==+++++++++==-------=++++==-:·.
··::::::::----=====---:::::::::-----::·..
··:::·····::::::::::::··········:::···..
..··:::·················.................
...··:::····............... ......
....... ....·..... . ...··········.... ...···-:::··....
...··.. ..·::----::··........·:--=++***++=--:··......····::=---::··.. .........
...··.. .·-=+****+=-::··..··:-=+#%@@@@@@@%#*+=-::··:::--=======-::·.. ......····.......
....····:::-----==------:::::::::··············:::---=======------==+*#%@@@@@@@@@@@%#*++=++**#@@@@@%#*+=:·.
.....·······::::--------:::····......................·····::::::::··:::=+*#%@@@@@@@@@@@%#**++++*#%@@@@@%#*+=:·.
..............············..... .............:::++*#%@@@@@@@@@@%##*+++**#%%@@@@%#*+=:·.
...::=+*##%@@@@@@@@@%#**++++**#%%@@@%#*+-:..
..·:==+**#%%@@@@@%%#**++===+++*##%%#*+=:·.
..··-==++**#######**++==----===++**++=-:·.
..··----==+++++++++==--:::::::---==--::·..
..··:::::-----------::··········:::::··...
··:·······:::::·····..........·······...
..... ...····.... .......·...... ··.·····.........................····....
....... .·::-----::··.. ..··::--===--::··.... .....······:···.... .............·····....
...... .·:-++****+=-:··....··:-=+*##%%##*+=-:···....···::-----::··... ....··············....
...·····:::-----===--------:::::::::::::···::::--==++*****++==------==+*#%@@@@@@@%#*+=-::::--=*#%@@@@@@%#+-:..
....·······:::::-----::::·······....··.........····:::--------:::::::::--#%@@@@@@@@@%#*+==---==+*%@@@@@@@%#+-·.
..............········...... .....................-==%@@@@@@@@@@%#*++===++*#%@@@@@@@%*=:·.
..·==%@@@@@@@@@@@%#*++++++**#%@@@@@@#+-:·.
.·-=%@@@@@@@@@@@%#*++===++**##%%%%#*=:·.
..--#%%@@@@@@@%%#*++=======+++****+=-:·.
..:-**##%%%%%##**+==---:::---======-:··..
..::=++++***+++==--:::·····::::----:::··..
...··-----------:::············::::::::···..
... ....····.... . ..... .....···::··············.....······::::::::···.
...... ..·::-----::·.. ...····:····... .....······..···..............··········::::::::···..
...... .·:-=+***++=-:·.. .··:--=====--::·.... ....··::::::::··... ....··::::::::::::::····....
....··::::---------------==========-----::---==+**##%%##*+=--:·····::-=+*##%%##*+=-:·.....·:-=*#%@@@@@@%#+-·..
.....·····::::::::::::::·····:::::::··········::---=======--::·······::-==%@@@@%%#*+=-::··::-=+*%@@@@@@@%*=:·.
...............................................··········..........··=++@@@@@@%#*+==-----=+*#%@@@@@@%#+-·.
···+*@@@@@@@@%#*+==-===++*#%%%%%#*+=:·.
··+*@@@@@@@@%#*++======++***#***+=-:..
··+*@@@@@@@@%#*+==------===++++==--:·..
··=+@@@@@%%##*+==--:::::-----===---::···..
··-=#####**++==--:::···:::::----====--::··.
...::======----:::·······::::----======--:·.
........... . ...........···::::::···········:::::::-----====--::·.
...... ..··::---::··.. ........... .....·········...··........····:::::-----::::::::::::··..
...... .·:-==+++==-:·.. ..··::::::··... ....··:::::::::··... ...··::---===---::···..........
..··::---------=====++***####**++==------==+*###%##**+-:·.. .·:-==++++==-:·.. ..·:=+#%@@@@@@%*+=:·.
....···::::::::::::::------------::::::::::--===++===-::·... ..··:--==##**+=-:··...··:-+*#%@@@@@%*+=:·
........................··...............··········.... ...···+++@%%#*+=-::::::-=+*##%%%%#*+-:·.
·::**@@@%#*+==------==++*****+=-:·.
::**@@@@%#*+==-------===+++==--:··..
::**@@@@%#*+==--:::::----====----:::·····..
·:++@@%##*+==--::::::::----======++===--:·..
··==#**++==--:::::::::----===+++**#**+=--:·.
...::===----:::::::::-----====++++***++=-:·.
........... . ..................···:::::::::::------------------===--::·..
...···:::::··... ........... ......·············..........···::--======---::·············..
.... ..··:--===--::·. ..·······..... ....··:::-----:::··... ..··:--===+===-::·.. .......
..·::------====++**#%%%@@%%##*+=--::::--==+*****++=:·. ..·:-====--:·.. ..·-=+#%@@@@@%#+=:·.
..···:::::::::---===++++++==--:::·····::---====--::·.. .··::-----+=-:··....··:-=+*#%%%%#*+-:.
.............···············...........·········... ...·····===*+=-::····::-==+****++=-:·.
:::++#*++=-:::::::--======--:··. ..
::*+%#*+=--:::·::::---------::::··::::::··.
::++%#*+=--:::··::::----=======+++*+++=--:·.
··==**+==--:::::::---===+++***###%%%#*+=-:.
··--+==------------====++++***###%%#*+=-:·.
...:·---------=================++++++=-::·.
............ . ....................... ...·::::--===++++===--:::·····:::-:::··.
...···::::···... .....................·····::::::····..... ...··::-==++++==-::·.. ..·····...
..·:::-----::·.. ...·······..........··::---====--::··.. ..··:--==+++=--:·. .··:::··.
.··:::-----==++*##%%@@%%#*+=-:··...··::-==++++=-:·. .·:-====--:··.. ..·:-=+*#%@%%#*+-:.
..···:::::::--===+++++++=--:···....···::------:··. ..·::------::::··...··::-=++***+=-:·.
..........······:::::····.............······.... ...·······--:-::······::---==---:··. ..···.
···--=-::·······::::--:::::·······::-----:··.
··--=-::········:::----======+++**#**++=-:·.
··--=--:::::::::--===+++***##%%%@@@%#*+-:·.
·.-:=---------====+++****###%%%@@@@#*+-:·.
..::=======+++++++++++++++++*******+=-:·.
...··--==++++**+++==---:::::::---===-::·.
.............. .......... · ....................... ..·:--==++++++==-:··.. ...··::-::··.
...··:::::···... .......................···:::::::::···... .·::-==++++=--:·. .·::---:··.
..·::----::··.. ..·········........···:--==+++==--:·.. .··:-==++==-::·. ..·:-===--:·.
...····:::-==+*#####*+=-:·.. ..·:-=====--:·. .·:-==+++==-::··.....·::-=+****+=-:·. ......
.....···:::--===+===--:··.. ..··::::-::··.. ..·::------::··.·.....··::------:··. .··::::·.
.......············.... .....··..... ...········..··.·.......···:::::····.....··::-=====--:·.
...·.·.......··::::------====++**##%#*+=-:·.
..··:······:::--==+++***###%%%@@@@@%*+=:·..
..:·-------===+++****###%%%@@@@@@%%*+-:·..
..::==+++++******+++++****#######**=-:·.
..::++********++==--------===++++==-:·.
...::++*****++=--:··......··::---==-:··.
....····............................ · .........·····...... .··-=+++++==-:·.. ..·:--===-:·..
..··::::::··.... ......·····...........···:::-----:::·... .·:-==++==-:··. .·:-==++=-:·.
..··::---::·.. ..··::::::::···.....··::-==+++++=-:··. .·:-=+++++=-:·. .·:-=+***+=-:·.
..·::-=+++++=-:·.. .·:--====--:·. .·:-=+***++=--:··.....···::----::·.. .·:--==--:·.
..··::-------:··.. ..··::::::··.. .··:--===--::··.. ...·········.........·::-=+**++=-:·.
....·······.... ........... ....·······.... ...···:::::-------==+++**####*+=-:·.
....···:::--===+++***###%%%%%%%%#*+=::·.
..··:----==++++***####%%%@@@@@%%##*=-:·..
..:-+++***************###%%%%##**+=-:·..
··-=#####***++====--===+++*****+==-:·.
.·-=####**+=--:·······::--==+++==-:·..
...--***++=--:·.. .··:--=====-:·..
.....···........ ............ .·.....········.... ·::++++=--:·. .·::-==++==-:·.
..··::::···.. ...···········.......···::------::··. .··==+++==-:·. .·:-==++++==:·.
..··:::··. .··:--=====--::··....··::--=====-::·. .·:=+*****+=-:·. .·:-=++***+=-·..
.·:--===--:·.. .·:-==++==-:·. .·:-=+*****+=-::·.. ...·······.... ..··:-=++***+=-:··.
..·:::::::··.. ..··::::::··.. ..·::------::··.. ...···::::::::::---==+++*****+==-:·.
....····.... ........... .....···...... .···::---===++++*****######***+=-:··..
··---===++++***####%%%%%%%##**+==-:··..
..--+*************####%%%%%##*++=-:··...
··==###***+++=====++***####**++=-::·...
··==##**+==-::::::--==++****++=--:·...
··==**+=--:·......··:--=++++++=-::·..
..·--++=-:··. .·:--=+++++=--:·..
.......... ....................:..·······.... ...---++=-:·. .·:-=+++++==-:·.
...··.... ..··::::-::::···......····:::::::·.. ..·::--**++=-·.. .·:-=+++++==-:·.
...... .·:-=+**##**+=-:·.. ...··::---::··. .·:-=**####*+-:·. .·:-=+++*++=-:·.
.·:--==--:·.. ..·:-==+++=-::·. ..·:-=++**++=--:·. ...············::::--==++++++++=-:··.
.··::::···.. ..··:::::::··.. ..··::::::::··... .··:::----======+++++++++++++===-:··..
.......... ........... ............. ···--====++++*****#####***+++==--::··...
...--++++++++****#########**++=--::··.....
··==***+++++++++**#######**+=--::··.......
··==*++==------==++**####**+=--:···........
··=-+==-::····::--=+**###**+=--:···........
··--=-::·......··:-=+******+=--:···........
···-:=-:·.. ..·:-=+*****+=--:··.........
.....·····....... ....:........ ...···---=-:·. .·:-=++****+=-::·..........
.··:--======-::·... ...·······.. .··:--===-+=-:·. .·:-=+****+=-:··... ......
.:-=*#%@@@%#*+-:·. .··::--::··. .·:-=+*#####*+-:·. .·:-=++**++=-:·.. ....
..·:----:·.. .·::-=++++==-:·.. ..·::-=====--::·.. ...···::::-----------============---:·..
..··:::··.. ...··:::::::··... ...···::::····............···----======+++++++++++===---::::··...
......... ........... ..........................:::====+++++*********++==--:::····....
···--++===++++***#####**++=--:····.......
··--+=======++***#####*++=--:····.·.......
··-:=--:::---=++*######*+==-:···········...
··::-::····::-=+**#####**+=-::············.
·.:·:··....··:-=+*##%%##*+=-::·····:::::··.
··.:·:·.. ..··:-=+*##%##*+=--:····:::::::··.
...··········... ..·..... ...·······::··.. .·:-=+*#####*+=--:····::::-:::·.
.·:-==++**++=-:·. ..·····... ..·:--=====-:::·. .·:-=+*####*+=-::·····:::--::·.
.·:-+*#%@@@%#*+-:. .··:--==--:··. ..·:-=+*#####*+-:·. .·:-=+*****+=-:···.···::::::·.
.··:::::·.. ..·:--==++==--:·.. ..··:::----:::···.........····::::-------------------------::::··..
..······... ....···::::···.... ....····························:---===============---::::·····...
......... ......... ................................:::======+++++++++==--:::···.......
...::--====+++*****++==-::···.........
..::----==++***##***+=--:··............
..··:::--==+**#####**+=-::··.....····....
..··:::::-=++*##%%##*++=-:··············..
..·.····::-=+*#%%%%%#*+=-::······::::::··..
...·.·..··:-=+*#%%%%%##*+=-::····::-----:··.
...··:::::::··.. ..·.. ..·········..·.......·:-=+*#%%@%%#*+=-:::··::-====--:·.
.··:-==++*++==-:·. ..·······.. .··:-==++===-:··... ..·:-+*#%%%%%#*+=--:::::--==+==--:.
...··:-=++*####*+=:·. .·:-=+++==-:··.. ..·:-=+*#%%##*+=:·.. ..·-=+*#%%%%#*+=-:::·::--=++++=-:·.
..···:···.......··::-------::··.. ...···::::::::::·············::::::::-------------------------:::···...
..······.............····...............···································---------------:::::::······....
....... ...........................................···---========---:::·····.......
...··--====++++===--::··........
..··--===+++*+++==-::··....
..··--==++******+==-:··.... ...
..··:--=+**####**+=--:··.............
..··:--=+*##%%%##*+=-::·........···....
.. ..::-=+*#%%%%%%#*+=-:··.....····:···..
..··::::::···.. .....· ..···::::····... ...·:-=+*#%%@@@%#*+=-::·······:::--::··.
...·:--=====--:·. .··::::···.. ..·:-==+++++==-:··...···:-=+#%%@@@@%#*+=-::····:::-===--:··.
.....·::--====--:·. ·:-=+++++=-:··.. ..··:=+*#%@@%%#*+=-:·....·::=+*#%@@@@%#*+=--::··::--=++++=-:·..
███╗ ███╗███╗ ███╗██╗ ██╗ ██╗ ██████╗ ██████╗ ██████╗
████╗ ████║████╗ ████║██║ ██║ ██║ ██╔══██╗██╔══██╗██╔═══██╗
██╔████╔██║██╔████╔██║██║ ██║ ██║█████╗██████╔╝██████╔╝██║ ██║
██║╚██╔╝██║██║╚██╔╝██║██║ ██║ ██║╚════╝██╔═══╝ ██╔══██╗██║ ██║
██║ ╚═╝ ██║██║ ╚═╝ ██║███████╗╚██████╔╝ ██║ ██║ ██║╚██████╔╝
╚═╝ ╚═╝╚═╝ ╚═╝╚══════╝ ╚═════╝ ╚═╝ ╚═╝ ╚═╝ ╚═════╝ $ open /benchmarks/mmlu-pro/tasks/default--test--11221▌ posts · files
MMLU-Pro / 11221 / 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. ~(A ⊃ B) • (B ⊃ ~E)
category
philosophy
options
- It's not true that Marina reading a Percy Jackson book causes Izzy to play Minecraft, but it is true that if Izzy plays Minecraft, Ashleigh won't stop by.
- It's not true that Marina reads a Percy Jackson book only when Izzy plays Minecraft, but Izzy plays Minecraft only when Ashleigh stops by.
- Marina's reading a Percy Jackson book has no effect on whether Izzy plays Minecraft, but if Izzy does play Minecraft, Ashleigh will not stop by.
- If Marina reads a Percy Jackson book, then Izzy doesn't play Minecraft, but if Izzy does play Minecraft, Ashleigh won't stop by.
- It's not the case that Marina's reading a Percy Jackson book entails that Izzy plays Minecraft, but Izzy's playing Minecraft does entail that Ashleigh doesn't stop by.
- Marina's reading a Percy Jackson book does not entail that Izzy plays Minecraft, but Izzy plays Minecraft provided that Ashleigh doesn't stop by.
- If Marina doesn't read a Percy Jackson book, then Izzy doesn't play Minecraft, and Izzy's playing Minecraft means Ashleigh does stop by.
- Marina reading a Percy Jackson book doesn't entail Izzy playing Minecraft, but if Izzy doesn't play Minecraft, Ashleigh stops by.
- Marina's reading a Percy Jackson book entails that Izzy plays Minecraft, and if Izzy plays Minecraft, Ashleigh stops by.
- If Marina doesn't read a Percy Jackson book, then Izzy plays Minecraft, which entails that Ashleigh doesn't stop by.
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
- 11221
- task_id
071fffab-ecb1-5f38-9ff8-20e486829774- task_key
default--test--11221- task_revision_id
- 1
- config / split
- default / test
initial import