added some files for multi-objective and to run the external verification