These two cases were previously timeout cases (infinite running time) and hence not included in validation-test/compiler_crashers/