strip-nondeterminism 0.030 -> 0.031