Приведены результаты вычислительного эксперимента по оценке сложности доказательства невыполнимости 3-КНФ логических формул, порождаемых с использованием последовательностей случайных чисел.
Продемонстрирована зависимость сложности доказательства не-выполнимости формул от соотношения числа дизъюнктов к числу переменных. Вычислительный эксперимент проведен для диапазона числа пе-ременных от 256 до 512. Выявлена экспоненциальная зависимость меди-анной сложности доказательства невыполнимости формул от числа пе-ременных, притом что знаменатель показателя экспоненты линейно за-висит от отношения числа дизъюнктов к числу переменных.