Then portions of the arrays are printed, specifically, those portions of the arrays containing the most relaxed events observed. The general type of information is embodied in a histogram. For each entry in the arrays a value d is calculated. A d value represents the difference betweeen an observed value of an operand and the smallest value the operand could have had without relaxed behavior being detected. Negative values of d indicate relaxed behavior.
Nonnegative values indicate strong behavior.
If the goal of a design is to achieve strong behavior, then zero values represent ideal behavior, and positive values represent less than ideal behavior. The d values for each test are plotted in a histogram. A made up example for Test T700 is shown below. Test T700 looks for write operations being performed nonatomically. On this run the arrays were 200000 entries long.