file for Rebench 0.6