This commit is contained in:
Johannes Merl 2024-05-09 09:31:56 +02:00
parent 50a3bfef6f
commit 3594faeb5f
3 changed files with 12 additions and 12 deletions

View File

@ -89,10 +89,10 @@ lE =
maxDepth = 8, maxDepth = 8,
weights = weights =
ExpressionWeights ExpressionWeights
{ lambdaSpucker = 1, { lambdaSpucker = 0,
lambdaSchlucker = 2, lambdaSchlucker = 10,
symbol = 30, symbol = 100,
variable = 10, variable = 5,
constant = 5 constant = 5
} }
} }

View File

@ -56,10 +56,10 @@ lE =
maxDepth = 8, maxDepth = 8,
weights = weights =
ExpressionWeights ExpressionWeights
{ lambdaSpucker = 1, { lambdaSpucker = 0,
lambdaSchlucker = 2, lambdaSchlucker = 10,
symbol = 30, symbol = 100,
variable = 10, variable = 5,
constant = 5 constant = 5
} }
} }

View File

@ -77,10 +77,10 @@ lE =
maxDepth = 8, maxDepth = 8,
weights = weights =
ExpressionWeights ExpressionWeights
{ lambdaSpucker = 1, { lambdaSpucker = 0,
lambdaSchlucker = 2, lambdaSchlucker = 10,
symbol = 30, symbol = 100,
variable = 10, variable = 5,
constant = 5 constant = 5
} }
} }