Results of trunk_gcc4@silicon-docker