Visualizations
Bound updates over time
Each mark is a published improvement to a bound. Rows are constants, grouped by problem. Hover for a constant's history.
Lower bound
Upper bound
Bounds meet (exact)
Closing the gap
Each column is a constant, and its bar spans the values still possible. The bottom and top lines are its first lower and upper bounds, and the middle line is its true value. Each later improvement moves a bound one step toward the middle, so the spacing counts improvements, not their size. Steps are even on each side: once the true value is known, the last bound lands on the middle; until then, the true value counts as one more step. A bar running off the edge has no bound on that side yet.