Index: /ModelExtender/src/de/uni_hildesheim/sse/model_extender/in/DimacsReader.java
===================================================================
--- /ModelExtender/src/de/uni_hildesheim/sse/model_extender/in/DimacsReader.java	(revision 218)
+++ /ModelExtender/src/de/uni_hildesheim/sse/model_extender/in/DimacsReader.java	(revision 219)
@@ -31,5 +31,5 @@
     private static final Pattern VARIABLE_PATTERN = Pattern.compile("^c ([0-9]+) ([\\S]+)$");
     
-    private static final Pattern META_PATTERN = Pattern.compile("^p CNF ([0-9]+) ([0-9]+)$");
+    private static final Pattern META_PATTERN = Pattern.compile("^p CNF ([0-9]+) ([0-9]+)$", Pattern.CASE_INSENSITIVE);
     
     private static final Pattern CONSTRAINT_PATTERN = Pattern.compile("^([\\x2D]?+[0-9]+[ ]?+)+0$");
Index: /ModelTranslator/src/de/uni_hildesheim/sse/trans/out/DimacsWriter.java
===================================================================
--- /ModelTranslator/src/de/uni_hildesheim/sse/trans/out/DimacsWriter.java	(revision 218)
+++ /ModelTranslator/src/de/uni_hildesheim/sse/trans/out/DimacsWriter.java	(revision 219)
@@ -97,5 +97,5 @@
         }
         
-        writer.append("p CNF " + variableDeclarations.size() + " " + constraints.size());
+        writer.append("p cnf " + variableDeclarations.size() + " " + constraints.size());
         writer.append(IvmlKeyWords.LINEFEED);