KAUST CEMSE AMCS CS D KEYES ECRC New Cost Effective GPUs Solver Redesigns The Computational Game