Поиск контрпримеров к ВТФ - не лучший способ проверки процессора.
Даже если допустить, что таковые существуют (вопреки имеющемуся доказательства их отсутствия), то как можно трактовать то факт, что в исследуемом диапазоне таковых не нашлось? Не нашлось, потому что не было? Или не нашлось, потому что процессор сбойнул?
Одной из лучших программ для проверки процессора считается prime95, которую можно скачать на
mersenne.org, подключившись к проекту GIMPS (Great Internet Mersenne Prime Search).
Делается это так. Прежде чем использовать Ваш комп для поиска поиска новых чисел Мерсенна, его загружают расчетами с уже известным результатом просчета и сравнивают полученный ответ с эталонным.