Needed to relax the precision for the verification results a little bit, there turns out to be more variation between machines and versions than expected as the convergence criteria are set rather loose to finish in a short enough time.