-- |

module Modelling.PetriNet.PetriFindConflictPlaces.Config where

import Modelling.PetriNet.Types (
  AdvConfig (..),
  AlloyConfig (..),
  BasicConfig (..),
  ChangeConfig (..),
  ConflictConfig (..),
  GraphConfig (..),
  FindConflictConfig (..),
  )
import Data.GraphViz.Commands           (GraphvizCommand(..))

{-|
points: 0.2
average generation time per instance: 20:00min
CPU usage: 100%
-}
task2023_24 :: FindConflictConfig
task2023_24 :: FindConflictConfig
task2023_24 = FindConflictConfig {
  $sel:basicConfig:FindConflictConfig :: BasicConfig
basicConfig = BasicConfig {
    $sel:places:BasicConfig :: Int
places = Int
6,
    $sel:transitions:BasicConfig :: Int
transitions = Int
5,
    $sel:atLeastActive:BasicConfig :: Int
atLeastActive = Int
3,
    $sel:flowOverall:BasicConfig :: (Int, Int)
flowOverall = (Int
14, Int
16),
    $sel:maxTokensPerPlace:BasicConfig :: Int
maxTokensPerPlace = Int
2,
    $sel:maxFlowPerEdge:BasicConfig :: Int
maxFlowPerEdge = Int
2,
    $sel:tokensOverall:BasicConfig :: (Int, Int)
tokensOverall = (Int
2, Int
7),
    $sel:isConnected:BasicConfig :: Maybe Bool
isConnected = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True
    },
  $sel:advConfig:FindConflictConfig :: AdvConfig
advConfig = AdvConfig {
    $sel:presenceOfSelfLoops:AdvConfig :: Maybe Bool
presenceOfSelfLoops = Maybe Bool
forall a. Maybe a
Nothing,
    $sel:presenceOfSinkTransitions:AdvConfig :: Maybe Bool
presenceOfSinkTransitions = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
False,
    $sel:presenceOfSourceTransitions:AdvConfig :: Maybe Bool
presenceOfSourceTransitions = Maybe Bool
forall a. Maybe a
Nothing
    },
  $sel:changeConfig:FindConflictConfig :: ChangeConfig
changeConfig = ChangeConfig {
    $sel:tokenChangeOverall:ChangeConfig :: Int
tokenChangeOverall = Int
2,
    $sel:maxTokenChangePerPlace:ChangeConfig :: Int
maxTokenChangePerPlace = Int
1,
    $sel:flowChangeOverall:ChangeConfig :: Int
flowChangeOverall = Int
2,
    $sel:maxFlowChangePerEdge:ChangeConfig :: Int
maxFlowChangePerEdge = Int
1
    },
  $sel:conflictConfig:FindConflictConfig :: ConflictConfig
conflictConfig = ConflictConfig {
    $sel:addConflictCommonPreconditions:ConflictConfig :: Maybe Bool
addConflictCommonPreconditions = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
    $sel:withConflictDistractors:ConflictConfig :: Maybe Bool
withConflictDistractors = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
    $sel:conflictDistractorAddExtraPreconditions:ConflictConfig :: Maybe Bool
conflictDistractorAddExtraPreconditions = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
    $sel:conflictDistractorOnlyConflictLike:ConflictConfig :: Bool
conflictDistractorOnlyConflictLike = Bool
True,
    $sel:conflictDistractorOnlyConcurrentLike:ConflictConfig :: Bool
conflictDistractorOnlyConcurrentLike = Bool
False
    },
  $sel:graphConfig:FindConflictConfig :: GraphConfig
graphConfig = GraphConfig {
    $sel:graphLayouts:GraphConfig :: [GraphvizCommand]
graphLayouts = [GraphvizCommand
Neato],
    $sel:hidePlaceNames:GraphConfig :: Bool
hidePlaceNames = Bool
False,
    $sel:hideTransitionNames:GraphConfig :: Bool
hideTransitionNames = Bool
False,
    $sel:hideWeight1:GraphConfig :: Bool
hideWeight1 = Bool
True
    },
  $sel:printSolution:FindConflictConfig :: Bool
printSolution = Bool
True,
  $sel:uniqueConflictPlace:FindConflictConfig :: Maybe Bool
uniqueConflictPlace = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
  $sel:alloyConfig:FindConflictConfig :: AlloyConfig
alloyConfig = AlloyConfig {
    $sel:maxInstances:AlloyConfig :: Maybe Integer
maxInstances = Integer -> Maybe Integer
forall a. a -> Maybe a
Just Integer
2000,
    $sel:timeout:AlloyConfig :: Maybe Int
timeout = Maybe Int
forall a. Maybe a
Nothing
    },
  $sel:extraText:FindConflictConfig :: Maybe (Map Language String)
extraText = Maybe (Map Language String)
forall a. Maybe a
Nothing
  }

{-|
points: 0.2
average generation time per instance: 20:00min
CPU usage: 100%
-}
task2023_26 :: FindConflictConfig
task2023_26 :: FindConflictConfig
task2023_26 = FindConflictConfig {
  $sel:basicConfig:FindConflictConfig :: BasicConfig
basicConfig = BasicConfig {
    $sel:places:BasicConfig :: Int
places = Int
6,
    $sel:transitions:BasicConfig :: Int
transitions = Int
5,
    $sel:atLeastActive:BasicConfig :: Int
atLeastActive = Int
3,
    $sel:flowOverall:BasicConfig :: (Int, Int)
flowOverall = (Int
14, Int
16),
    $sel:maxTokensPerPlace:BasicConfig :: Int
maxTokensPerPlace = Int
2,
    $sel:maxFlowPerEdge:BasicConfig :: Int
maxFlowPerEdge = Int
2,
    $sel:tokensOverall:BasicConfig :: (Int, Int)
tokensOverall = (Int
2, Int
7),
    $sel:isConnected:BasicConfig :: Maybe Bool
isConnected = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True
    },
  $sel:advConfig:FindConflictConfig :: AdvConfig
advConfig = AdvConfig {
    $sel:presenceOfSelfLoops:AdvConfig :: Maybe Bool
presenceOfSelfLoops = Maybe Bool
forall a. Maybe a
Nothing,
    $sel:presenceOfSinkTransitions:AdvConfig :: Maybe Bool
presenceOfSinkTransitions = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
    $sel:presenceOfSourceTransitions:AdvConfig :: Maybe Bool
presenceOfSourceTransitions = Maybe Bool
forall a. Maybe a
Nothing
    },
  $sel:changeConfig:FindConflictConfig :: ChangeConfig
changeConfig = ChangeConfig {
    $sel:tokenChangeOverall:ChangeConfig :: Int
tokenChangeOverall = Int
2,
    $sel:maxTokenChangePerPlace:ChangeConfig :: Int
maxTokenChangePerPlace = Int
1,
    $sel:flowChangeOverall:ChangeConfig :: Int
flowChangeOverall = Int
2,
    $sel:maxFlowChangePerEdge:ChangeConfig :: Int
maxFlowChangePerEdge = Int
1
    },
  $sel:conflictConfig:FindConflictConfig :: ConflictConfig
conflictConfig = ConflictConfig {
    $sel:addConflictCommonPreconditions:ConflictConfig :: Maybe Bool
addConflictCommonPreconditions = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
    $sel:withConflictDistractors:ConflictConfig :: Maybe Bool
withConflictDistractors = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
    $sel:conflictDistractorAddExtraPreconditions:ConflictConfig :: Maybe Bool
conflictDistractorAddExtraPreconditions = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
    $sel:conflictDistractorOnlyConflictLike:ConflictConfig :: Bool
conflictDistractorOnlyConflictLike = Bool
True,
    $sel:conflictDistractorOnlyConcurrentLike:ConflictConfig :: Bool
conflictDistractorOnlyConcurrentLike = Bool
False
    },
  $sel:graphConfig:FindConflictConfig :: GraphConfig
graphConfig = GraphConfig {
    $sel:graphLayouts:GraphConfig :: [GraphvizCommand]
graphLayouts = [GraphvizCommand
Neato],
    $sel:hidePlaceNames:GraphConfig :: Bool
hidePlaceNames = Bool
False,
    $sel:hideTransitionNames:GraphConfig :: Bool
hideTransitionNames = Bool
False,
    $sel:hideWeight1:GraphConfig :: Bool
hideWeight1 = Bool
True
    },
  $sel:printSolution:FindConflictConfig :: Bool
printSolution = Bool
True,
  $sel:uniqueConflictPlace:FindConflictConfig :: Maybe Bool
uniqueConflictPlace = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
  $sel:alloyConfig:FindConflictConfig :: AlloyConfig
alloyConfig = AlloyConfig {
    $sel:maxInstances:AlloyConfig :: Maybe Integer
maxInstances = Integer -> Maybe Integer
forall a. a -> Maybe a
Just Integer
2000,
    $sel:timeout:AlloyConfig :: Maybe Int
timeout = Maybe Int
forall a. Maybe a
Nothing
    },
  $sel:extraText:FindConflictConfig :: Maybe (Map Language String)
extraText = Maybe (Map Language String)
forall a. Maybe a
Nothing
  }

{-|
points: 0.2
average generation time per instance: 31:14min
CPU usage: 104%
-}
task2024_34 :: FindConflictConfig
task2024_34 :: FindConflictConfig
task2024_34 = FindConflictConfig
task2023_24

{-|
points: 0.2
average generation time per instance: 35:16min
CPU usage: 103%
-}
task2024_35 :: FindConflictConfig
task2024_35 :: FindConflictConfig
task2024_35 = FindConflictConfig
task2023_26

{-|
points: 0.2
average generation time per instance: 35:16min
CPU usage: 103%
-}
task2024_36 :: FindConflictConfig
task2024_36 :: FindConflictConfig
task2024_36 = FindConflictConfig {
  $sel:basicConfig:FindConflictConfig :: BasicConfig
basicConfig = BasicConfig {
    $sel:places:BasicConfig :: Int
places = Int
6,
    $sel:transitions:BasicConfig :: Int
transitions = Int
6,
    $sel:atLeastActive:BasicConfig :: Int
atLeastActive = Int
4,
    $sel:flowOverall:BasicConfig :: (Int, Int)
flowOverall = (Int
16, Int
18),
    $sel:maxTokensPerPlace:BasicConfig :: Int
maxTokensPerPlace = Int
2,
    $sel:maxFlowPerEdge:BasicConfig :: Int
maxFlowPerEdge = Int
2,
    $sel:tokensOverall:BasicConfig :: (Int, Int)
tokensOverall = (Int
3, Int
5),
    $sel:isConnected:BasicConfig :: Maybe Bool
isConnected = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True
    },
  $sel:advConfig:FindConflictConfig :: AdvConfig
advConfig = AdvConfig {
    $sel:presenceOfSelfLoops:AdvConfig :: Maybe Bool
presenceOfSelfLoops = Maybe Bool
forall a. Maybe a
Nothing,
    $sel:presenceOfSinkTransitions:AdvConfig :: Maybe Bool
presenceOfSinkTransitions = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
    $sel:presenceOfSourceTransitions:AdvConfig :: Maybe Bool
presenceOfSourceTransitions = Maybe Bool
forall a. Maybe a
Nothing
    },
  $sel:changeConfig:FindConflictConfig :: ChangeConfig
changeConfig = ChangeConfig {
    $sel:tokenChangeOverall:ChangeConfig :: Int
tokenChangeOverall = Int
2,
    $sel:maxTokenChangePerPlace:ChangeConfig :: Int
maxTokenChangePerPlace = Int
1,
    $sel:flowChangeOverall:ChangeConfig :: Int
flowChangeOverall = Int
2,
    $sel:maxFlowChangePerEdge:ChangeConfig :: Int
maxFlowChangePerEdge = Int
1
    },
  $sel:conflictConfig:FindConflictConfig :: ConflictConfig
conflictConfig = ConflictConfig {
    $sel:addConflictCommonPreconditions:ConflictConfig :: Maybe Bool
addConflictCommonPreconditions = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
    $sel:withConflictDistractors:ConflictConfig :: Maybe Bool
withConflictDistractors = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
    $sel:conflictDistractorAddExtraPreconditions:ConflictConfig :: Maybe Bool
conflictDistractorAddExtraPreconditions = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
    $sel:conflictDistractorOnlyConflictLike:ConflictConfig :: Bool
conflictDistractorOnlyConflictLike = Bool
False,
    $sel:conflictDistractorOnlyConcurrentLike:ConflictConfig :: Bool
conflictDistractorOnlyConcurrentLike = Bool
True
    },
  $sel:graphConfig:FindConflictConfig :: GraphConfig
graphConfig = GraphConfig {
    $sel:graphLayouts:GraphConfig :: [GraphvizCommand]
graphLayouts = [GraphvizCommand
Neato],
    $sel:hidePlaceNames:GraphConfig :: Bool
hidePlaceNames = Bool
False,
    $sel:hideTransitionNames:GraphConfig :: Bool
hideTransitionNames = Bool
False,
    $sel:hideWeight1:GraphConfig :: Bool
hideWeight1 = Bool
True
    },
  $sel:printSolution:FindConflictConfig :: Bool
printSolution = Bool
True,
  $sel:uniqueConflictPlace:FindConflictConfig :: Maybe Bool
uniqueConflictPlace = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
  $sel:alloyConfig:FindConflictConfig :: AlloyConfig
alloyConfig = AlloyConfig {
    $sel:maxInstances:AlloyConfig :: Maybe Integer
maxInstances = Integer -> Maybe Integer
forall a. a -> Maybe a
Just Integer
2000,
    $sel:timeout:AlloyConfig :: Maybe Int
timeout = Maybe Int
forall a. Maybe a
Nothing
    },
  $sel:extraText:FindConflictConfig :: Maybe (Map Language String)
extraText = Maybe (Map Language String)
forall a. Maybe a
Nothing
  }

{-|
points: 0.08
average generation time per instance: 20:35min
CPU usage: 106%
-}
task2024_64 :: FindConflictConfig
task2024_64 :: FindConflictConfig
task2024_64 = FindConflictConfig {
  $sel:basicConfig:FindConflictConfig :: BasicConfig
basicConfig = BasicConfig {
    $sel:places:BasicConfig :: Int
places = Int
6,
    $sel:transitions:BasicConfig :: Int
transitions = Int
5,
    $sel:atLeastActive:BasicConfig :: Int
atLeastActive = Int
3,
    $sel:flowOverall:BasicConfig :: (Int, Int)
flowOverall = (Int
14, Int
16),
    $sel:maxTokensPerPlace:BasicConfig :: Int
maxTokensPerPlace = Int
2,
    $sel:maxFlowPerEdge:BasicConfig :: Int
maxFlowPerEdge = Int
2,
    $sel:tokensOverall:BasicConfig :: (Int, Int)
tokensOverall = (Int
2, Int
7),
    $sel:isConnected:BasicConfig :: Maybe Bool
isConnected = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True
    },
  $sel:advConfig:FindConflictConfig :: AdvConfig
advConfig = AdvConfig {
    $sel:presenceOfSelfLoops:AdvConfig :: Maybe Bool
presenceOfSelfLoops = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
False,
    $sel:presenceOfSinkTransitions:AdvConfig :: Maybe Bool
presenceOfSinkTransitions = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
    $sel:presenceOfSourceTransitions:AdvConfig :: Maybe Bool
presenceOfSourceTransitions = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
False
    },
  $sel:changeConfig:FindConflictConfig :: ChangeConfig
changeConfig = ChangeConfig {
    $sel:tokenChangeOverall:ChangeConfig :: Int
tokenChangeOverall = Int
2,
    $sel:maxTokenChangePerPlace:ChangeConfig :: Int
maxTokenChangePerPlace = Int
1,
    $sel:flowChangeOverall:ChangeConfig :: Int
flowChangeOverall = Int
2,
    $sel:maxFlowChangePerEdge:ChangeConfig :: Int
maxFlowChangePerEdge = Int
1
    },
  $sel:conflictConfig:FindConflictConfig :: ConflictConfig
conflictConfig = ConflictConfig {
    $sel:addConflictCommonPreconditions:ConflictConfig :: Maybe Bool
addConflictCommonPreconditions = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
    $sel:withConflictDistractors:ConflictConfig :: Maybe Bool
withConflictDistractors = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
    $sel:conflictDistractorAddExtraPreconditions:ConflictConfig :: Maybe Bool
conflictDistractorAddExtraPreconditions = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
False,
    $sel:conflictDistractorOnlyConflictLike:ConflictConfig :: Bool
conflictDistractorOnlyConflictLike = Bool
True,
    $sel:conflictDistractorOnlyConcurrentLike:ConflictConfig :: Bool
conflictDistractorOnlyConcurrentLike = Bool
False
    },
  $sel:graphConfig:FindConflictConfig :: GraphConfig
graphConfig = GraphConfig {
    $sel:graphLayouts:GraphConfig :: [GraphvizCommand]
graphLayouts = [GraphvizCommand
Neato],
    $sel:hidePlaceNames:GraphConfig :: Bool
hidePlaceNames = Bool
False,
    $sel:hideTransitionNames:GraphConfig :: Bool
hideTransitionNames = Bool
False,
    $sel:hideWeight1:GraphConfig :: Bool
hideWeight1 = Bool
True
    },
  $sel:printSolution:FindConflictConfig :: Bool
printSolution = Bool
True,
  $sel:uniqueConflictPlace:FindConflictConfig :: Maybe Bool
uniqueConflictPlace = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
  $sel:alloyConfig:FindConflictConfig :: AlloyConfig
alloyConfig = AlloyConfig {
    $sel:maxInstances:AlloyConfig :: Maybe Integer
maxInstances = Integer -> Maybe Integer
forall a. a -> Maybe a
Just Integer
2000,
    $sel:timeout:AlloyConfig :: Maybe Int
timeout = Maybe Int
forall a. Maybe a
Nothing
    },
  $sel:extraText:FindConflictConfig :: Maybe (Map Language String)
extraText = Maybe (Map Language String)
forall a. Maybe a
Nothing
  }

{-|
points: 0.08
average generation time per instance: 24:28min
CPU usage: 107%
-}
task2024_65 :: FindConflictConfig
task2024_65 :: FindConflictConfig
task2024_65 = FindConflictConfig {
  $sel:basicConfig:FindConflictConfig :: BasicConfig
basicConfig = BasicConfig {
    $sel:places:BasicConfig :: Int
places = Int
6,
    $sel:transitions:BasicConfig :: Int
transitions = Int
5,
    $sel:atLeastActive:BasicConfig :: Int
atLeastActive = Int
3,
    $sel:flowOverall:BasicConfig :: (Int, Int)
flowOverall = (Int
14, Int
16),
    $sel:maxTokensPerPlace:BasicConfig :: Int
maxTokensPerPlace = Int
2,
    $sel:maxFlowPerEdge:BasicConfig :: Int
maxFlowPerEdge = Int
2,
    $sel:tokensOverall:BasicConfig :: (Int, Int)
tokensOverall = (Int
2, Int
7),
    $sel:isConnected:BasicConfig :: Maybe Bool
isConnected = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True
    },
  $sel:advConfig:FindConflictConfig :: AdvConfig
advConfig = AdvConfig {
    $sel:presenceOfSelfLoops:AdvConfig :: Maybe Bool
presenceOfSelfLoops = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
    $sel:presenceOfSinkTransitions:AdvConfig :: Maybe Bool
presenceOfSinkTransitions = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
    $sel:presenceOfSourceTransitions:AdvConfig :: Maybe Bool
presenceOfSourceTransitions = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
False
    },
  $sel:changeConfig:FindConflictConfig :: ChangeConfig
changeConfig = ChangeConfig {
    $sel:tokenChangeOverall:ChangeConfig :: Int
tokenChangeOverall = Int
2,
    $sel:maxTokenChangePerPlace:ChangeConfig :: Int
maxTokenChangePerPlace = Int
1,
    $sel:flowChangeOverall:ChangeConfig :: Int
flowChangeOverall = Int
2,
    $sel:maxFlowChangePerEdge:ChangeConfig :: Int
maxFlowChangePerEdge = Int
1
    },
  $sel:conflictConfig:FindConflictConfig :: ConflictConfig
conflictConfig = ConflictConfig {
    $sel:addConflictCommonPreconditions:ConflictConfig :: Maybe Bool
addConflictCommonPreconditions = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
False,
    $sel:withConflictDistractors:ConflictConfig :: Maybe Bool
withConflictDistractors = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
    $sel:conflictDistractorAddExtraPreconditions:ConflictConfig :: Maybe Bool
conflictDistractorAddExtraPreconditions = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
    $sel:conflictDistractorOnlyConflictLike:ConflictConfig :: Bool
conflictDistractorOnlyConflictLike = Bool
True,
    $sel:conflictDistractorOnlyConcurrentLike:ConflictConfig :: Bool
conflictDistractorOnlyConcurrentLike = Bool
False
    },
  $sel:graphConfig:FindConflictConfig :: GraphConfig
graphConfig = GraphConfig {
    $sel:graphLayouts:GraphConfig :: [GraphvizCommand]
graphLayouts = [GraphvizCommand
Neato],
    $sel:hidePlaceNames:GraphConfig :: Bool
hidePlaceNames = Bool
False,
    $sel:hideTransitionNames:GraphConfig :: Bool
hideTransitionNames = Bool
False,
    $sel:hideWeight1:GraphConfig :: Bool
hideWeight1 = Bool
True
    },
  $sel:printSolution:FindConflictConfig :: Bool
printSolution = Bool
True,
  $sel:uniqueConflictPlace:FindConflictConfig :: Maybe Bool
uniqueConflictPlace = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
False,
  $sel:alloyConfig:FindConflictConfig :: AlloyConfig
alloyConfig = AlloyConfig {
    $sel:maxInstances:AlloyConfig :: Maybe Integer
maxInstances = Integer -> Maybe Integer
forall a. a -> Maybe a
Just Integer
2000,
    $sel:timeout:AlloyConfig :: Maybe Int
timeout = Maybe Int
forall a. Maybe a
Nothing
    },
  $sel:extraText:FindConflictConfig :: Maybe (Map Language String)
extraText = Maybe (Map Language String)
forall a. Maybe a
Nothing
  }

{-|
points: 0.08
average generation time per instance: 28:17min
CPU usage: 108%
-}
task2024_66 :: FindConflictConfig
task2024_66 :: FindConflictConfig
task2024_66 = FindConflictConfig {
  $sel:basicConfig:FindConflictConfig :: BasicConfig
basicConfig = BasicConfig {
    $sel:places:BasicConfig :: Int
places = Int
6,
    $sel:transitions:BasicConfig :: Int
transitions = Int
6,
    $sel:atLeastActive:BasicConfig :: Int
atLeastActive = Int
4,
    $sel:flowOverall:BasicConfig :: (Int, Int)
flowOverall = (Int
16, Int
18),
    $sel:maxTokensPerPlace:BasicConfig :: Int
maxTokensPerPlace = Int
2,
    $sel:maxFlowPerEdge:BasicConfig :: Int
maxFlowPerEdge = Int
2,
    $sel:tokensOverall:BasicConfig :: (Int, Int)
tokensOverall = (Int
3, Int
5),
    $sel:isConnected:BasicConfig :: Maybe Bool
isConnected = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True
    },
  $sel:advConfig:FindConflictConfig :: AdvConfig
advConfig = AdvConfig {
    $sel:presenceOfSelfLoops:AdvConfig :: Maybe Bool
presenceOfSelfLoops = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
False,
    $sel:presenceOfSinkTransitions:AdvConfig :: Maybe Bool
presenceOfSinkTransitions = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
    $sel:presenceOfSourceTransitions:AdvConfig :: Maybe Bool
presenceOfSourceTransitions = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
False
    },
  $sel:changeConfig:FindConflictConfig :: ChangeConfig
changeConfig = ChangeConfig {
    $sel:tokenChangeOverall:ChangeConfig :: Int
tokenChangeOverall = Int
2,
    $sel:maxTokenChangePerPlace:ChangeConfig :: Int
maxTokenChangePerPlace = Int
1,
    $sel:flowChangeOverall:ChangeConfig :: Int
flowChangeOverall = Int
2,
    $sel:maxFlowChangePerEdge:ChangeConfig :: Int
maxFlowChangePerEdge = Int
1
    },
  $sel:conflictConfig:FindConflictConfig :: ConflictConfig
conflictConfig = ConflictConfig {
    $sel:addConflictCommonPreconditions:ConflictConfig :: Maybe Bool
addConflictCommonPreconditions = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
    $sel:withConflictDistractors:ConflictConfig :: Maybe Bool
withConflictDistractors = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
    $sel:conflictDistractorAddExtraPreconditions:ConflictConfig :: Maybe Bool
conflictDistractorAddExtraPreconditions = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
    $sel:conflictDistractorOnlyConflictLike:ConflictConfig :: Bool
conflictDistractorOnlyConflictLike = Bool
False,
    $sel:conflictDistractorOnlyConcurrentLike:ConflictConfig :: Bool
conflictDistractorOnlyConcurrentLike = Bool
True
    },
  $sel:graphConfig:FindConflictConfig :: GraphConfig
graphConfig = GraphConfig {
    $sel:graphLayouts:GraphConfig :: [GraphvizCommand]
graphLayouts = [GraphvizCommand
Neato],
    $sel:hidePlaceNames:GraphConfig :: Bool
hidePlaceNames = Bool
False,
    $sel:hideTransitionNames:GraphConfig :: Bool
hideTransitionNames = Bool
False,
    $sel:hideWeight1:GraphConfig :: Bool
hideWeight1 = Bool
True
    },
  $sel:printSolution:FindConflictConfig :: Bool
printSolution = Bool
True,
  $sel:uniqueConflictPlace:FindConflictConfig :: Maybe Bool
uniqueConflictPlace = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
  $sel:alloyConfig:FindConflictConfig :: AlloyConfig
alloyConfig = AlloyConfig {
    $sel:maxInstances:AlloyConfig :: Maybe Integer
maxInstances = Integer -> Maybe Integer
forall a. a -> Maybe a
Just Integer
2000,
    $sel:timeout:AlloyConfig :: Maybe Int
timeout = Maybe Int
forall a. Maybe a
Nothing
    },
  $sel:extraText:FindConflictConfig :: Maybe (Map Language String)
extraText = Maybe (Map Language String)
forall a. Maybe a
Nothing
  }