Update threads

dmnverifierapi/src/main/resources/application.properties

@@ -6,7 +6,7 @@ quarkus.http.cors.origins=http://localhost,http://dmn.fg-bks.uni-koblenz.de,http
 quarkus.http.cors.headers=accept,authorization,content-type,x-requested-with
 quarkus.http.cors.methods=GET,POST,OPTIONS
 # Amount of threads for calculating the verifications
-verifier.threads=8
+verifier.threads=4
 # No parallel execution in dev mode
 %dev.verifier.threads=1
 # Active or inactive the verifier, default value is true