Challenges in computational lower bounds | Arena Library | Arena