DOC example semilinear, appropriate dgp, some result statistics