Check out Sarek’s thesis in the evaluation section: https://sarsko.github.io/_pages/SarekSkotåm_thesis.pdf https://sarsko.github.io/_pages/SarekSkotåm_thesis.pd

Check out Sarek’s thesis in the evaluation section: https://sarsko.github.io/_pages/SarekSkotåm_thesis.pdf https://sarsko.github.io/_pages/SarekSkotåm_thesis.pdf. In general it’s roughly at the level of microsat so worse than minisat and kissat, but not garbage either.