Update appendix with results for m4