Evaluating machine-independent metrics for state-space exploration