Merge branch 'sely/my-changes' into 'master'

sely added 3 new decfiles: 15874050 -...

See merge request !898 (merged)

(cherry picked from commit 1a31ead8)

386c6c9f sely added 3 new decfiles: 15874050 -... 29aeaddb Modified files to include Generator Cuts 0b946c7a fixing broken pipeline test 9c7d03a2 increasing CPU time for 15874050 6b5d7846 increasing CPU time for 15874050 without less than sign 682feacd added generator cuts for 15876040 1f711dde increasing cputime for 15876040 due to timeout in pipeline test