It seems that the ladder updates are slow. Is it intentional that each bot gets one match per hour? Is it processing power determined? If the latter, can we som

It seems that the ladder updates are slow. Is it intentional that each bot gets one match per hour? Is it processing power determined? If the latter, can we somehow contribute cycles to it? I've got a piece of iron sitting mostly idly, so I could spare a VPS. I guess many people here could pledge something similar for a fun project like this.