• не выдает результат при неверных входных данных

В соответствии со свойством результативности алгоритм всегда должен выдать результат или вывод о том, что решения не существует

• выдает одинаковые результаты при одинаковых входных данных

Это свойство детерминированности (определенности) алгоритма.

• выдает результат при различных входных данных

• используется несколькими пользователями

Массовое использование готового алгоритма не является свойством самого алгоритма.