############################################################################
## 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

############################################################################