Manul in forkmode can reach ~450-500 exec/sec on Ubuntu 16.04 AFL++ in forkmode can reach ~2500 exec/sec on the same machine. We need to understand why it is happening. Is it a general python issue or some inefficiency in Manul code?