Add full Z3 experimental results