simpleChoiceNoOracle_stubborn.owlltl 612 Bytes