Index: /ModelTranslator/test/de/uni_hildesheim/sse/trans/out/DimacsWriterTest.java
===================================================================
--- /ModelTranslator/test/de/uni_hildesheim/sse/trans/out/DimacsWriterTest.java	(revision 219)
+++ /ModelTranslator/test/de/uni_hildesheim/sse/trans/out/DimacsWriterTest.java	(revision 220)
@@ -71,5 +71,5 @@
             + "c 2 b" + IvmlKeyWords.LINEFEED
             + "c 3 c" + IvmlKeyWords.LINEFEED
-            + "p CNF 3 2" + IvmlKeyWords.LINEFEED
+            + "p cnf 3 2" + IvmlKeyWords.LINEFEED
             + "3 -2 1 0" + IvmlKeyWords.LINEFEED
             + "-3 2 -1 0" + IvmlKeyWords.LINEFEED, stringWriter.toString());
Index: /ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java
===================================================================
--- /ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java	(revision 219)
+++ /ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java	(revision 220)
@@ -560,5 +560,5 @@
         
         // Model has one variable with prompt and default -> Thus, model must not contain a constraint
-        Assert.assertTrue("Error; Model must not contain any constraints!", result.contains("p CNF 1 0"));
+        Assert.assertTrue("Error; Model must not contain any constraints!", result.contains("p cnf 1 0"));
     }