[rules-dev] [solver] ITC2007 competition results