On benchmarks involving bit-manipulation algorithms, cryptographic primitives, and hardware-software interface code, Bitwuzla outperforms both Z3 and CVC5. It is built on the CaDiCaL SAT solver and ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results