LOSER-Infinity-STAR-min