电脑开机时间为9秒，这可能是一个比较快的速度。通常情况下，电脑开机速度在10秒到30秒之间，具体取决于电脑的配置和使用情况。如果你的电脑配置较高，并且进行了适当的系统优化，那么开机速度可能会更快。

不过，电脑开机速度并不是衡量电脑性能的唯一标准，还需要考虑电脑的整体性能和使用体验。