They're probably Silurana tropicalis (formerly Xenopus tropicalis) or Silurana epitropicalis.