Математическое моделирование равновесной кристаллизации базитовых расплавов – верификация программы Криминалдоклад на конференции