An error correction solver for linear systems: Evaluation of mixed precision implementations