With electronic auctions gaining importance, economists have increasingly gotten interested in researching the impact of variations in auction protocols. However, the infinite number of possible auction configurations and the significance of details make this a hard and tedious task. Therefore...