igneum-labs fb288b9599 adv-mixer: SAT row final (three CaDiCaL runs, 6,455 s, undecided: bound on solver reach), logs in the branch ... Internal adversarial pass, not an independent review. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>		2026-10-07 21:14:46 +00:00
..
logs/adv-mixer	adv-mixer: SAT row final (three CaDiCaL runs, 6,455 s, undecided: bound on solver reach), logs in the branch	2026-10-07 21:14:46 +00:00
report-mixer.md	adv-mixer: SAT row final (three CaDiCaL runs, 6,455 s, undecided: bound on solver reach), logs in the branch	2026-10-07 21:14:46 +00:00