This is as would be expected if it were real. Advantage isn't a black and white thing, because the comparison starts against 'any task done the best we know how to do using the most resources we happen to be willing to throw at it, even if we don't have a means to check that the output was correct', and ends at 'useful output you can formally verify where you have a strong reason to believe no classical algorithm would be effective.'