common {
    time-horizon = 10
    parallel = "true"
    parallel-core = 4
}
dreal {
    precision = 0.000001
}