-- |

module Modelling.ActivityDiagram.MatchPetri.Config where

import Modelling.ActivityDiagram.Config (AdConfig(..))
import Modelling.ActivityDiagram.MatchPetri (MatchPetriConfig(..))

import Data.GraphViz.Commands           (GraphvizCommand(..))

{-|
points: 0.15
average generation time per instance: 40:00min
CPU usage: 100%
-}
task2023_39 :: MatchPetriConfig
task2023_39 :: MatchPetriConfig
task2023_39 = MatchPetriConfig {
  $sel:adConfig:MatchPetriConfig :: 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
2,
    forkJoinPairs :: Int
forkJoinPairs = Int
1,
    activityFinalNodes :: Int
activityFinalNodes = Int
0,
    flowFinalNodes :: Int
flowFinalNodes = Int
2,
    cycles :: Int
cycles = Int
1
    },
  $sel:countOfPetriNodesBounds:MatchPetriConfig :: (Int, Maybe Int)
countOfPetriNodesBounds = (Int
0, Maybe Int
forall a. Maybe a
Nothing),
  $sel:maxInstances:MatchPetriConfig :: Maybe Integer
maxInstances = Integer -> Maybe Integer
forall a. a -> Maybe a
Just Integer
10000,
  $sel:hideBranchConditions:MatchPetriConfig :: Bool
hideBranchConditions = Bool
True,
  $sel:petriLayout:MatchPetriConfig :: [GraphvizCommand]
petriLayout = [GraphvizCommand
Fdp],
  $sel:petriSvgHighlighting:MatchPetriConfig :: Bool
petriSvgHighlighting = Bool
True,
  $sel:auxiliaryPetriNodeAbsent:MatchPetriConfig :: Maybe Bool
auxiliaryPetriNodeAbsent = Maybe Bool
forall a. Maybe a
Nothing,
  $sel:presenceOfSinkTransitionsForFinals:MatchPetriConfig :: Maybe Bool
presenceOfSinkTransitionsForFinals = Maybe Bool
forall a. Maybe a
Nothing,
  $sel:withActivityFinalInForkBlocks:MatchPetriConfig :: Maybe Bool
withActivityFinalInForkBlocks = Maybe Bool
forall a. Maybe a
Nothing,
  $sel:printSolution:MatchPetriConfig :: Bool
printSolution = Bool
True,
  $sel:extraText:MatchPetriConfig :: Maybe (Map Language String)
extraText = Maybe (Map Language String)
forall a. Maybe a
Nothing
  }

{-|
points: 0.15
average generation time per instance: 40:00min
CPU usage: 100%
-}
task2023_40 :: MatchPetriConfig
task2023_40 :: MatchPetriConfig
task2023_40 = MatchPetriConfig {
  $sel:adConfig:MatchPetriConfig :: AdConfig
adConfig = AdConfig {
    actionLimits :: (Int, Int)
actionLimits = (Int
8, Int
8),
    objectNodeLimits :: (Int, Int)
objectNodeLimits = (Int
5, Int
5),
    maxNamedNodes :: Int
maxNamedNodes = Int
13,
    decisionMergePairs :: Int
decisionMergePairs = Int
3,
    forkJoinPairs :: Int
forkJoinPairs = Int
2,
    activityFinalNodes :: Int
activityFinalNodes = Int
0,
    flowFinalNodes :: Int
flowFinalNodes = Int
3,
    cycles :: Int
cycles = Int
3
    },
  $sel:countOfPetriNodesBounds:MatchPetriConfig :: (Int, Maybe Int)
countOfPetriNodesBounds = (Int
0, Maybe Int
forall a. Maybe a
Nothing),
  $sel:maxInstances:MatchPetriConfig :: Maybe Integer
maxInstances = Integer -> Maybe Integer
forall a. a -> Maybe a
Just Integer
2000,
  $sel:hideBranchConditions:MatchPetriConfig :: Bool
hideBranchConditions = Bool
True,
  $sel:petriLayout:MatchPetriConfig :: [GraphvizCommand]
petriLayout = [GraphvizCommand
Fdp],
  $sel:petriSvgHighlighting:MatchPetriConfig :: Bool
petriSvgHighlighting = Bool
True,
  $sel:auxiliaryPetriNodeAbsent:MatchPetriConfig :: Maybe Bool
auxiliaryPetriNodeAbsent = Maybe Bool
forall a. Maybe a
Nothing,
  $sel:presenceOfSinkTransitionsForFinals:MatchPetriConfig :: Maybe Bool
presenceOfSinkTransitionsForFinals = Maybe Bool
forall a. Maybe a
Nothing,
  $sel:withActivityFinalInForkBlocks:MatchPetriConfig :: Maybe Bool
withActivityFinalInForkBlocks = Maybe Bool
forall a. Maybe a
Nothing,
  $sel:printSolution:MatchPetriConfig :: Bool
printSolution = Bool
True,
  $sel:extraText:MatchPetriConfig :: Maybe (Map Language String)
extraText = Maybe (Map Language String)
forall a. Maybe a
Nothing
  }

{-|
points: 0.15
average generation time per instance: 23:20min
CPU usage: 103%
-}
task2024_45 :: MatchPetriConfig
task2024_45 :: MatchPetriConfig
task2024_45 = MatchPetriConfig
task2023_39

{-|
points: 0.15
average generation time per instance: 1:06:10h
CPU usage: 102%
-}
task2024_46 :: MatchPetriConfig
task2024_46 :: MatchPetriConfig
task2024_46 = MatchPetriConfig
task2023_40

{-|
points: 0.08
average generation time per instance: 18:16min
CPU usage: 105%
-}
task2024_70 :: MatchPetriConfig
task2024_70 :: MatchPetriConfig
task2024_70 = MatchPetriConfig {
  $sel:adConfig:MatchPetriConfig :: AdConfig
adConfig = AdConfig {
    actionLimits :: (Int, Int)
actionLimits = (Int
6, Int
6),
    objectNodeLimits :: (Int, Int)
objectNodeLimits = (Int
7, Int
7),
    maxNamedNodes :: Int
maxNamedNodes = Int
13,
    decisionMergePairs :: Int
decisionMergePairs = Int
1,
    forkJoinPairs :: Int
forkJoinPairs = Int
1,
    activityFinalNodes :: Int
activityFinalNodes = Int
0,
    flowFinalNodes :: Int
flowFinalNodes = Int
1,
    cycles :: Int
cycles = Int
0
    },
  $sel:countOfPetriNodesBounds:MatchPetriConfig :: (Int, Maybe Int)
countOfPetriNodesBounds = (Int
0, Maybe Int
forall a. Maybe a
Nothing),
  $sel:maxInstances:MatchPetriConfig :: Maybe Integer
maxInstances = Integer -> Maybe Integer
forall a. a -> Maybe a
Just Integer
10000,
  $sel:hideBranchConditions:MatchPetriConfig :: Bool
hideBranchConditions = Bool
True,
  $sel:petriLayout:MatchPetriConfig :: [GraphvizCommand]
petriLayout = [GraphvizCommand
Fdp],
  $sel:petriSvgHighlighting:MatchPetriConfig :: Bool
petriSvgHighlighting = Bool
True,
  $sel:auxiliaryPetriNodeAbsent:MatchPetriConfig :: Maybe Bool
auxiliaryPetriNodeAbsent = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
  $sel:presenceOfSinkTransitionsForFinals:MatchPetriConfig :: Maybe Bool
presenceOfSinkTransitionsForFinals = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
  $sel:withActivityFinalInForkBlocks:MatchPetriConfig :: Maybe Bool
withActivityFinalInForkBlocks = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
False,
  $sel:printSolution:MatchPetriConfig :: Bool
printSolution = Bool
True,
  $sel:extraText:MatchPetriConfig :: Maybe (Map Language String)
extraText = Maybe (Map Language String)
forall a. Maybe a
Nothing
  }

{-|
points: 0.08
average generation time per instance: 14:13min
CPU usage: 104%
-}
task2024_71 :: MatchPetriConfig
task2024_71 :: MatchPetriConfig
task2024_71 = MatchPetriConfig {
  $sel:adConfig:MatchPetriConfig :: AdConfig
adConfig = AdConfig {
    actionLimits :: (Int, Int)
actionLimits = (Int
8, Int
8),
    objectNodeLimits :: (Int, Int)
objectNodeLimits = (Int
5, Int
5),
    maxNamedNodes :: Int
maxNamedNodes = Int
13,
    decisionMergePairs :: Int
decisionMergePairs = Int
3,
    forkJoinPairs :: Int
forkJoinPairs = Int
2,
    activityFinalNodes :: Int
activityFinalNodes = Int
0,
    flowFinalNodes :: Int
flowFinalNodes = Int
3,
    cycles :: Int
cycles = Int
3
    },
  $sel:countOfPetriNodesBounds:MatchPetriConfig :: (Int, Maybe Int)
countOfPetriNodesBounds = (Int
0, Maybe Int
forall a. Maybe a
Nothing),
  $sel:maxInstances:MatchPetriConfig :: Maybe Integer
maxInstances = Integer -> Maybe Integer
forall a. a -> Maybe a
Just Integer
2000,
  $sel:hideBranchConditions:MatchPetriConfig :: Bool
hideBranchConditions = Bool
True,
  $sel:petriLayout:MatchPetriConfig :: [GraphvizCommand]
petriLayout = [GraphvizCommand
Fdp],
  $sel:petriSvgHighlighting:MatchPetriConfig :: Bool
petriSvgHighlighting = Bool
True,
  $sel:auxiliaryPetriNodeAbsent:MatchPetriConfig :: Maybe Bool
auxiliaryPetriNodeAbsent = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
False,
  $sel:presenceOfSinkTransitionsForFinals:MatchPetriConfig :: Maybe Bool
presenceOfSinkTransitionsForFinals = Maybe Bool
forall a. Maybe a
Nothing,
  $sel:withActivityFinalInForkBlocks:MatchPetriConfig :: Maybe Bool
withActivityFinalInForkBlocks = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
False,
  $sel:printSolution:MatchPetriConfig :: Bool
printSolution = Bool
True,
  $sel:extraText:MatchPetriConfig :: Maybe (Map Language String)
extraText = Maybe (Map Language String)
forall a. Maybe a
Nothing
  }