Some problems from the IEEE Extreme competition 10 25 13