printf "Cleaning the core sets";
let benchmark_start := _ampl_time;

for{t in FRAMES}
{
  let maxload := min(1,max{(i,j) in Core[t]} Link[t,i,j]);
  let Core_clean[t] := {(i,j) in Core[t]: Link[t,i,j]>=maxload-eps};
}

printf " ... ";

let FRAMES_quit := {t in FRAMES: Core[t] diff Core_clean[t] within {}};
for{t in FRAMES}
{
  let Core[t] := Core_clean[t];
}

let benchmark_stop := _ampl_time;
printf "done in %f seconds\n",benchmark_stop - benchmark_start;