Vampire is winning at least one division of the world cup in theorem proving CASC since 1999. All together Vampire won 17 titles: more than any other prover. We traditionally take part in the following two divisions of the competition: * The FOF division: unrestricted first-order problems. This division was ranked second in importance after the MIX division before 2007 and is now recognised as the main competition division. * The CNF division: first-order problems in conjunctive normal form. This division was called MIX before 2007 and recognised as the main competition division. We also participate in other, more special competition divisions but Vampire is not specialised for them so our achievements are mostly modest.