# Reference for a circuit lower bound for slightly superexponential time

It is known that $EXP$ doesn't have circuits of size $n^k$. On the other hand proving $10 n$ lower bound on circuit size for $E$, $NE$ or even $E^{NP}$ is a known open problem.

My question is following: do we know any non-trivial lower bounds for any of the following classes?

• $Time(2^{n \sqrt{\log(n)}})$
• $NTime(2^{n \sqrt{\log(n)}})$
• $Time(2^{n \sqrt{\log(n)}})^{NP}$

Instead of $n \sqrt{\log(n)}$ could be any function in $o(n \log{n})$. After $n \log{n}$ the straightforward diagonalization should start working.