diff --git a/c/termination-crafted/Collatz.yml b/c/termination-crafted/Collatz.yml
index dd6f3a69d02..ea95500599f 100644
--- a/c/termination-crafted/Collatz.yml
+++ b/c/termination-crafted/Collatz.yml
@@ -6,7 +6,6 @@ input_files: 'Collatz.c'
 properties:
   - property_file: ../properties/no-overflow.prp
     expected_verdict: false
-  - property_file: ../properties/termination.prp
 
 options:
   language: C