Compare commits

..

3 Commits

Author SHA1 Message Date
Johannes Merl
75d29d3bcd fix Iris 2024-05-09 10:54:23 +02:00
Johannes Merl
194568095f reduce population to fix memory issues in higher depth case 2024-05-09 10:15:00 +02:00
Johannes Merl
bb403f7f1c variation 2 2024-05-09 09:17:39 +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 = 10, { lambdaSpucker = 1,
lambdaSchlucker = 1, lambdaSchlucker = 2,
symbol = 20, symbol = 30,
variable = 100, variable = 10,
constant = 5 constant = 5
} }
} }

View File

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

View File

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