kburns/solver_timing archive