If you lose in an auction, you should get back half the tokens you wagered (rounded down).