We want to first categorize these based on run time (wall clock). If we are over our allotted time budget, we can begin to cut down on them based on determinism and correctness value.