Compare commits

..

2 Commits

Author SHA1 Message Date
Johannes Merl
02c372bef0 fix Iris 2024-05-09 10:53:57 +02:00
Johannes Merl
d0243b331d weights #3 2024-05-09 10:44:09 +02:00
3 changed files with 12 additions and 12 deletions

View File

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

View File

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

View File

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