Statistics for Bounded exhaustive search of alloy specification repairs