How does the performance of Z3 compare to, let's say, the CSP modules in Sicstus prolog?

thanks