Compare commits

..

4 Commits

Author SHA1 Message Date
Johannes Merl
9d7efe596c fix Iris 2024-05-09 10:54:23 +02:00
Johannes Merl
54e45a31d2 reduce population to fix memory issues in higher depth case 2024-05-09 10:15:12 +02:00
Johannes Merl
76a6c6c840 variation 4 2024-05-09 09:25:45 +02:00
Johannes Merl
4835d3ff51 variation 2 2024-05-09 09:25:45 +02:00
4 changed files with 14 additions and 14 deletions

View File

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

View File

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

View File

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

View File

@@ -8,8 +8,8 @@ import Pipes
import Pretty import Pretty
import Protolude hiding (for) import Protolude hiding (for)
import System.IO import System.IO
-- import LambdaDatasets.IrisDataset import LambdaDatasets.IrisDataset
import LambdaDatasets.NurseryDataset -- import LambdaDatasets.NurseryDataset
-- import LambdaDatasets.GermanDataset -- import LambdaDatasets.GermanDataset
import Debug.Trace as DB import Debug.Trace as DB
import qualified Data.Map.Strict as Map import qualified Data.Map.Strict as Map