-- |

module Modelling.ActivityDiagram.FindAuxiliaryPetriNodes.Config where

import Modelling.ActivityDiagram.FindAuxiliaryPetriNodes (
  FindAuxiliaryPetriNodesConfig (..),
  )
import Modelling.ActivityDiagram.Config (AdConfig(..))

{-|
points: 0.15
average generation time per instance: 2:00min
CPU usage: 120%
-}
task2023_41 :: FindAuxiliaryPetriNodesConfig
task2023_41 :: FindAuxiliaryPetriNodesConfig
task2023_41 = FindAuxiliaryPetriNodesConfig {
  $sel:adConfig:FindAuxiliaryPetriNodesConfig :: AdConfig
adConfig = AdConfig {
    actionLimits :: (Int, Int)
actionLimits = (Int
6, Int
6),
    objectNodeLimits :: (Int, Int)
objectNodeLimits = (Int
4, Int
4),
    maxNamedNodes :: Int
maxNamedNodes = Int
10,
    decisionMergePairs :: Int
decisionMergePairs = Int
2,
    forkJoinPairs :: Int
forkJoinPairs = Int
1,
    activityFinalNodes :: Int
activityFinalNodes = Int
0,
    flowFinalNodes :: Int
flowFinalNodes = Int
2,
    cycles :: Int
cycles = Int
0
    },
  $sel:countOfPetriNodesBounds:FindAuxiliaryPetriNodesConfig :: (Int, Maybe Int)
countOfPetriNodesBounds = (Int
0, Maybe Int
forall a. Maybe a
Nothing),
  $sel:maxInstances:FindAuxiliaryPetriNodesConfig :: Maybe Integer
maxInstances = Integer -> Maybe Integer
forall a. a -> Maybe a
Just Integer
2000,
  $sel:hideNodeNames:FindAuxiliaryPetriNodesConfig :: Bool
hideNodeNames = Bool
False,
  $sel:hideBranchConditions:FindAuxiliaryPetriNodesConfig :: Bool
hideBranchConditions = Bool
True,
  $sel:presenceOfSinkTransitionsForFinals:FindAuxiliaryPetriNodesConfig :: Maybe Bool
presenceOfSinkTransitionsForFinals = Maybe Bool
forall a. Maybe a
Nothing,
  $sel:printSolution:FindAuxiliaryPetriNodesConfig :: Bool
printSolution = Bool
True,
  $sel:extraText:FindAuxiliaryPetriNodesConfig :: Maybe (Map Language String)
extraText = Maybe (Map Language String)
forall a. Maybe a
Nothing
  }

{-|
points: 0.15
average generation time per instance: 3:30min
CPU usage: 100%
-}
task2023_42 :: FindAuxiliaryPetriNodesConfig
task2023_42 :: FindAuxiliaryPetriNodesConfig
task2023_42 = FindAuxiliaryPetriNodesConfig {
  $sel:adConfig:FindAuxiliaryPetriNodesConfig :: AdConfig
adConfig = AdConfig {
    actionLimits :: (Int, Int)
actionLimits = (Int
8, Int
8),
    objectNodeLimits :: (Int, Int)
objectNodeLimits = (Int
4, Int
4),
    maxNamedNodes :: Int
maxNamedNodes = Int
12,
    decisionMergePairs :: Int
decisionMergePairs = Int
3,
    forkJoinPairs :: Int
forkJoinPairs = Int
1,
    activityFinalNodes :: Int
activityFinalNodes = Int
1,
    flowFinalNodes :: Int
flowFinalNodes = Int
0,
    cycles :: Int
cycles = Int
2
    },
  $sel:countOfPetriNodesBounds:FindAuxiliaryPetriNodesConfig :: (Int, Maybe Int)
countOfPetriNodesBounds = (Int
0, Maybe Int
forall a. Maybe a
Nothing),
  $sel:maxInstances:FindAuxiliaryPetriNodesConfig :: Maybe Integer
maxInstances = Integer -> Maybe Integer
forall a. a -> Maybe a
Just Integer
2000,
  $sel:hideNodeNames:FindAuxiliaryPetriNodesConfig :: Bool
hideNodeNames = Bool
False,
  $sel:hideBranchConditions:FindAuxiliaryPetriNodesConfig :: Bool
hideBranchConditions = Bool
True,
  $sel:presenceOfSinkTransitionsForFinals:FindAuxiliaryPetriNodesConfig :: Maybe Bool
presenceOfSinkTransitionsForFinals = Maybe Bool
forall a. Maybe a
Nothing,
  $sel:printSolution:FindAuxiliaryPetriNodesConfig :: Bool
printSolution = Bool
True,
  $sel:extraText:FindAuxiliaryPetriNodesConfig :: Maybe (Map Language String)
extraText = Maybe (Map Language String)
forall a. Maybe a
Nothing
  }

{-|
points: 0.15
average generation time per instance: 2:24min
CPU usage: 104%
-}
task2024_47 :: FindAuxiliaryPetriNodesConfig
task2024_47 :: FindAuxiliaryPetriNodesConfig
task2024_47 = FindAuxiliaryPetriNodesConfig {
  $sel:adConfig:FindAuxiliaryPetriNodesConfig :: AdConfig
adConfig = AdConfig {
    actionLimits :: (Int, Int)
actionLimits = (Int
6, Int
6),
    objectNodeLimits :: (Int, Int)
objectNodeLimits = (Int
4, Int
4),
    maxNamedNodes :: Int
maxNamedNodes = Int
10,
    decisionMergePairs :: Int
decisionMergePairs = Int
2,
    forkJoinPairs :: Int
forkJoinPairs = Int
1,
    activityFinalNodes :: Int
activityFinalNodes = Int
0,
    flowFinalNodes :: Int
flowFinalNodes = Int
2,
    cycles :: Int
cycles = Int
0
    },
  $sel:countOfPetriNodesBounds:FindAuxiliaryPetriNodesConfig :: (Int, Maybe Int)
countOfPetriNodesBounds = (Int
21, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
27),
  $sel:maxInstances:FindAuxiliaryPetriNodesConfig :: Maybe Integer
maxInstances = Integer -> Maybe Integer
forall a. a -> Maybe a
Just Integer
2000,
  $sel:hideNodeNames:FindAuxiliaryPetriNodesConfig :: Bool
hideNodeNames = Bool
False,
  $sel:hideBranchConditions:FindAuxiliaryPetriNodesConfig :: Bool
hideBranchConditions = Bool
True,
  $sel:presenceOfSinkTransitionsForFinals:FindAuxiliaryPetriNodesConfig :: Maybe Bool
presenceOfSinkTransitionsForFinals = Maybe Bool
forall a. Maybe a
Nothing,
  $sel:printSolution:FindAuxiliaryPetriNodesConfig :: Bool
printSolution = Bool
True,
  $sel:extraText:FindAuxiliaryPetriNodesConfig :: Maybe (Map Language String)
extraText = Maybe (Map Language String)
forall a. Maybe a
Nothing
  }

{-|
points: 0.15
average generation time per instance: 3:51min
CPU usage: 108%
-}
task2024_48 :: FindAuxiliaryPetriNodesConfig
task2024_48 :: FindAuxiliaryPetriNodesConfig
task2024_48 = FindAuxiliaryPetriNodesConfig {
  $sel:adConfig:FindAuxiliaryPetriNodesConfig :: AdConfig
adConfig = AdConfig {
    actionLimits :: (Int, Int)
actionLimits = (Int
8, Int
8),
    objectNodeLimits :: (Int, Int)
objectNodeLimits = (Int
4, Int
4),
    maxNamedNodes :: Int
maxNamedNodes = Int
12,
    decisionMergePairs :: Int
decisionMergePairs = Int
3,
    forkJoinPairs :: Int
forkJoinPairs = Int
1,
    activityFinalNodes :: Int
activityFinalNodes = Int
1,
    flowFinalNodes :: Int
flowFinalNodes = Int
0,
    cycles :: Int
cycles = Int
2
    },
  $sel:countOfPetriNodesBounds:FindAuxiliaryPetriNodesConfig :: (Int, Maybe Int)
countOfPetriNodesBounds = (Int
31, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
41),
  $sel:maxInstances:FindAuxiliaryPetriNodesConfig :: Maybe Integer
maxInstances = Integer -> Maybe Integer
forall a. a -> Maybe a
Just Integer
2000,
  $sel:hideNodeNames:FindAuxiliaryPetriNodesConfig :: Bool
hideNodeNames = Bool
False,
  $sel:hideBranchConditions:FindAuxiliaryPetriNodesConfig :: Bool
hideBranchConditions = Bool
True,
  $sel:presenceOfSinkTransitionsForFinals:FindAuxiliaryPetriNodesConfig :: Maybe Bool
presenceOfSinkTransitionsForFinals = Maybe Bool
forall a. Maybe a
Nothing,
  $sel:printSolution:FindAuxiliaryPetriNodesConfig :: Bool
printSolution = Bool
True,
  $sel:extraText:FindAuxiliaryPetriNodesConfig :: Maybe (Map Language String)
extraText = Maybe (Map Language String)
forall a. Maybe a
Nothing
  }

{-|
points: 0.08
average generation time per instance: 1:51min
CPU usage: 122%
-}
task2024_72 :: FindAuxiliaryPetriNodesConfig
task2024_72 :: FindAuxiliaryPetriNodesConfig
task2024_72 = FindAuxiliaryPetriNodesConfig {
  $sel:adConfig:FindAuxiliaryPetriNodesConfig :: AdConfig
adConfig = AdConfig {
    actionLimits :: (Int, Int)
actionLimits = (Int
6, Int
6),
    objectNodeLimits :: (Int, Int)
objectNodeLimits = (Int
4, Int
4),
    maxNamedNodes :: Int
maxNamedNodes = Int
10,
    decisionMergePairs :: Int
decisionMergePairs = Int
2,
    forkJoinPairs :: Int
forkJoinPairs = Int
1,
    activityFinalNodes :: Int
activityFinalNodes = Int
0,
    flowFinalNodes :: Int
flowFinalNodes = Int
2,
    cycles :: Int
cycles = Int
0
    },
  $sel:countOfPetriNodesBounds:FindAuxiliaryPetriNodesConfig :: (Int, Maybe Int)
countOfPetriNodesBounds = (Int
21, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
27),
  $sel:maxInstances:FindAuxiliaryPetriNodesConfig :: Maybe Integer
maxInstances = Integer -> Maybe Integer
forall a. a -> Maybe a
Just Integer
2000,
  $sel:hideNodeNames:FindAuxiliaryPetriNodesConfig :: Bool
hideNodeNames = Bool
False,
  $sel:hideBranchConditions:FindAuxiliaryPetriNodesConfig :: Bool
hideBranchConditions = Bool
True,
  $sel:presenceOfSinkTransitionsForFinals:FindAuxiliaryPetriNodesConfig :: Maybe Bool
presenceOfSinkTransitionsForFinals = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
False,
  $sel:printSolution:FindAuxiliaryPetriNodesConfig :: Bool
printSolution = Bool
True,
  $sel:extraText:FindAuxiliaryPetriNodesConfig :: Maybe (Map Language String)
extraText = Maybe (Map Language String)
forall a. Maybe a
Nothing
  }

{-|
points: 0.08
average generation time per instance: 3:28min
CPU usage: 112%
-}
task2024_73 :: FindAuxiliaryPetriNodesConfig
task2024_73 :: FindAuxiliaryPetriNodesConfig
task2024_73 = FindAuxiliaryPetriNodesConfig {
  $sel:adConfig:FindAuxiliaryPetriNodesConfig :: AdConfig
adConfig = AdConfig {
    actionLimits :: (Int, Int)
actionLimits = (Int
8, Int
8),
    objectNodeLimits :: (Int, Int)
objectNodeLimits = (Int
4, Int
4),
    maxNamedNodes :: Int
maxNamedNodes = Int
12,
    decisionMergePairs :: Int
decisionMergePairs = Int
3,
    forkJoinPairs :: Int
forkJoinPairs = Int
1,
    activityFinalNodes :: Int
activityFinalNodes = Int
1,
    flowFinalNodes :: Int
flowFinalNodes = Int
0,
    cycles :: Int
cycles = Int
2
    },
  $sel:countOfPetriNodesBounds:FindAuxiliaryPetriNodesConfig :: (Int, Maybe Int)
countOfPetriNodesBounds = (Int
31, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
41),
  $sel:maxInstances:FindAuxiliaryPetriNodesConfig :: Maybe Integer
maxInstances = Integer -> Maybe Integer
forall a. a -> Maybe a
Just Integer
2000,
  $sel:hideNodeNames:FindAuxiliaryPetriNodesConfig :: Bool
hideNodeNames = Bool
False,
  $sel:hideBranchConditions:FindAuxiliaryPetriNodesConfig :: Bool
hideBranchConditions = Bool
True,
  $sel:presenceOfSinkTransitionsForFinals:FindAuxiliaryPetriNodesConfig :: Maybe Bool
presenceOfSinkTransitionsForFinals = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
  $sel:printSolution:FindAuxiliaryPetriNodesConfig :: Bool
printSolution = Bool
True,
  $sel:extraText:FindAuxiliaryPetriNodesConfig :: Maybe (Map Language String)
extraText = Maybe (Map Language String)
forall a. Maybe a
Nothing
  }