testing the ASM shows that the randomization for the greedy algorithm (if everything is zero) is necessary