Verifying (or not) the simple loop conjecture