Index: /ModelTranslator/resources/scripts/dimacsExample.bat
===================================================================
--- /ModelTranslator/resources/scripts/dimacsExample.bat	(revision 427)
+++ /ModelTranslator/resources/scripts/dimacsExample.bat	(revision 428)
@@ -1,2 +1,2 @@
 @echo off
-java -Dde.uni_hildesheim.sse.easy.logging.level=INFO -Dde.uni_hildesheim.sse.easy.logging.file="TranslationLog.txt" -Xms1175m -Xmx1175m -jar ModelTranslator.jar -in input/Linux.tsv -out output/Linux_x86_2.6.33.3.dimacs -v 2.6.33.3 -comment "X86 translation of Linux 2.6.33.3 using KConfigReader"
+java -Dde.uni_hildesheim.sse.easy.logging.level=INFO -Dde.uni_hildesheim.sse.easy.logging.file="TranslationLog.txt" -Xms1175m -Xmx1175m -jar ModelTranslator.jar -in input/Linux.tsv -out output/Linux_x86_2.6.33.3.dimacs -optAll -v 2.6.33.3 -comment "X86 translation of Linux 2.6.33.3 using KConfigReader"
Index: /ModelTranslator/resources/scripts/dimacsExample.sh
===================================================================
--- /ModelTranslator/resources/scripts/dimacsExample.sh	(revision 427)
+++ /ModelTranslator/resources/scripts/dimacsExample.sh	(revision 428)
@@ -8,3 +8,3 @@
 #
 #
-java -Dde.uni_hildesheim.sse.easy.logging.level=INFO -Dde.uni_hildesheim.sse.easy.logging.file="TranslationLog.txt" -Xms8000m -Xmx8000m -XX:ParallelGCThreads=1 -XX:ConcGCThreads=1 -jar ModelTranslator.jar -in input/Linux.tsv -out output/Linux_x86_2.6.33.3.dimcas -v 2.6.33.3 -comment "X86 translation of Linux 2.6.33.3 using KConfigReader"
+java -Dde.uni_hildesheim.sse.easy.logging.level=INFO -Dde.uni_hildesheim.sse.easy.logging.file="TranslationLog.txt" -Xms8000m -Xmx8000m -XX:ParallelGCThreads=1 -XX:ConcGCThreads=1 -jar ModelTranslator.jar -in input/Linux.tsv -out output/Linux_x86_2.6.33.3.dimacs -optAll -v 2.6.33.3 -comment "X86 translation of Linux 2.6.33.3 using KConfigReader"