Results of trunk_gcc4@silicon-docker at 2018-02-13 22:12:13 +0900