############################################################################ ## Configuration for Iterated Race. ############################################################################ parameterFile <- "lingeling-paramseters-irace.txt" logFile <- "./irace.Rdata" trainInstancesDir <- "" trainInstancesFile <- "training-lingeling.txt" configurationsFile <- "lingeling-candidate-default.txt" targetRunner <- "lingeling-target-runner" targetRunnerRetries <- 3 expName <- "Lingeling" digits <- 2 elitist <- 1 testType <- "t-test" determinist <- 1 capping <- 1 maxTime <- 172800 maxBound <- 300 boundDigits <- 2 sampleInstances <- 1 budgetEstimation <- 0.003 ############################################################################