reorganized the folder samples/prog-equiv