tokens: As for SAT , authors of , have proposed a portfolio based approach , named SATzilla , where a distribution of problem instances and a set of component solvers are taken as input to construct a portfolio that optimizes a given objective function , such as , mean runtime or number of instance solved .