Elfini Solver Verification