Compare commits

..

3 Commits

Author SHA1 Message Date
Johannes Merl
e604bc6d88 fix Iris 2024-05-09 10:54:23 +02:00
Johannes Merl
3a3588c442 reduce population to fix memory issues in higher depth case 2024-05-09 10:15:03 +02:00
Johannes Merl
ed4a8af54b variation 3 2024-05-09 09:21:13 +02:00
4 changed files with 14 additions and 14 deletions

View File

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

View File

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

View File

@@ -77,10 +77,10 @@ lE =
maxDepth = 9, maxDepth = 9,
weights = weights =
ExpressionWeights ExpressionWeights
{ lambdaSpucker = 0, { lambdaSpucker = 1,
lambdaSchlucker = 10, lambdaSchlucker = 2,
symbol = 100, symbol = 30,
variable = 5, variable = 10,
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