kilo logical inferences per second