Slightly simplyfied extedsolver and fixed variables names in list
comparator. #151