frb100-40 After Two Decades: An Optimality Certificate and a Preregistered Search Study

Onur Uğurlu

For more than 20 years, the Model-RB benchmark frb100-40 remained an open challenge; since 2014, its public record had stood at 99 of 100 variables. We give a directly checkable 10…