Delete sbox-synthesis-results-1.txt