Conesequences of $\forall k\in \mathbb N \space NP\not\subseteq TISP(poly(n),n^k)$ Does $\forall k\in \mathbb N \space NP\not\subseteq TISP(poly(n),n^k)$  has any separation of classes or consequences?


  My main question is can use this to show that $P \neq NP$ or some thing useful about $P \neq NP$ .
This would imply that L⊊NP since L⊆TISP(poly(n),n^k) k∈N