Dummy Competition State for the sr-comp suite of tools