Dynex SAT benchmarks for YalSAT 1.0.1 include no multithreaded resultsgithub.com/dynexcoin1 pointares-austria3 years ago