Theories that provide designers to compare proposed designs through execution times and error rates