Before revision:  The Laghos proxy app is analyzed and a significant divergent floating-point variability is identified in their code base. Our bisect algorithm pinpointed the problematic function with as little as 14 program executions.
After revision:  The Laghos proxy app is analyzed and a significant divergent floating-point result-variability and successful root-causing down to the problematic function with as little as 14 program executions.