VerifyReal backend is running