Publishing a comparison of veriT and Z3 on QF_LRA.