Fix SolutionBase#run: while() -> for(;;)