Update on Z3 tests

src/main/java/common/ConfigurationTTool.java

...ain/java/tmltranslator/dsez3engine/OptimizationModel.java

src/main/java/ui/window/JDialogDSEZ3.java

...est/java/tmltranslator/dsez3engine/InputInstanceTest.java