Auto-commit:  added synthesis results as appendices