Correspondence games by SDAVID