adaptive probabilistic alldiff