Added a sentence about results through the deterministic thread bounding algorithm