Updated Linux properties

Author: AlexanderSchultheiss

docker-resources/variability_analysis_Linux.properties

@@ -22,12 +22,12 @@ log.console = false
 log.level.main = STATUS
 # For a minority of commits the build process can get stuck. We stop KernelHaven after the timeout and consider the
 # commit to be an error commit
-extraction.timeout = 60
+extraction.timeout = 600
 
 ###  Analysis Parameters ###
 # How many commits should be analyzed in parallel? Warning: each task requires a considerable amount
 # of resources
-analysis.number_of_tasks = 1
+analysis.number_of_tasks = 3
 
 # The folders which are considered by KbuildMiner can be specified manually with the following property. Normally,
 # they are determined automatically, which we consider to be the best option in most cases