They are modeled over the regression tests that are provided for the GNU coreutils timeout(1) utility