-- |

module Modelling.PetriNet.PetriPickConflict.Config where

import Modelling.PetriNet.Types (
  AlloyConfig (..),
  BasicConfig (..),
  ChangeConfig (..),
  ConflictConfig (..),
  GraphConfig (..),
  PickConflictConfig (..),
  )

import Control.OutputCapable.Blocks     (ExtraText (..))
import Data.GraphViz.Commands           (GraphvizCommand(..))

{-|
points: 0.1
average generation time per instance: 3:30min
CPU usage: 110%
-}
task2023_22 :: PickConflictConfig
task2023_22 :: PickConflictConfig
task2023_22 = PickConflictConfig {
  basicConfig :: BasicConfig
basicConfig = BasicConfig {
    places :: Int
places = Int
6,
    transitions :: Int
transitions = Int
6,
    atLeastActive :: Int
atLeastActive = Int
5,
    flowOverall :: (Int, Int)
flowOverall = (Int
12, Int
14) ,
    maxTokensPerPlace :: Int
maxTokensPerPlace = Int
1,
    maxFlowPerEdge :: Int
maxFlowPerEdge = Int
2,
    tokensOverall :: (Int, Int)
tokensOverall = (Int
5, Int
5),
    isConnected :: Maybe Bool
isConnected = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True
    },
  changeConfig :: ChangeConfig
changeConfig = ChangeConfig {
    tokenChangeOverall :: Int
tokenChangeOverall = Int
0,
    maxTokenChangePerPlace :: Int
maxTokenChangePerPlace = Int
0,
    flowChangeOverall :: Int
flowChangeOverall = Int
2,
    maxFlowChangePerEdge :: Int
maxFlowChangePerEdge = Int
1
    },
  conflictConfig :: ConflictConfig
conflictConfig = ConflictConfig {
    addConflictCommonPreconditions :: Maybe Bool
addConflictCommonPreconditions = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
False,
    withConflictDistractors :: Maybe Bool
withConflictDistractors = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
False,
    conflictDistractorAddExtraPreconditions :: Maybe Bool
conflictDistractorAddExtraPreconditions = Maybe Bool
forall a. Maybe a
Nothing,
    conflictDistractorOnlyConflictLike :: Bool
conflictDistractorOnlyConflictLike = Bool
False,
    conflictDistractorOnlyConcurrentLike :: Bool
conflictDistractorOnlyConcurrentLike = Bool
False
    },
  graphConfig :: GraphConfig
graphConfig = GraphConfig {
    graphLayouts :: [GraphvizCommand]
graphLayouts = [GraphvizCommand
Dot, GraphvizCommand
Sfdp],
    hidePlaceNames :: Bool
hidePlaceNames = Bool
True,
    hideTransitionNames :: Bool
hideTransitionNames = Bool
True,
    hideWeight1 :: Bool
hideWeight1 = Bool
True
    },
  printSolution :: Bool
printSolution = Bool
True,
  prohibitSourceTransitions :: Bool
prohibitSourceTransitions = Bool
False,
  uniqueConflictPlace :: Maybe Bool
uniqueConflictPlace = Maybe Bool
forall a. Maybe a
Nothing,
  useDifferentGraphLayouts :: Bool
useDifferentGraphLayouts = Bool
True,
  alloyConfig :: AlloyConfig
alloyConfig = AlloyConfig {
    maxInstances :: Maybe Integer
maxInstances = Integer -> Maybe Integer
forall a. a -> Maybe a
Just Integer
2000,
    timeout :: Maybe Int
timeout = Maybe Int
forall a. Maybe a
Nothing
    },
  extraText :: ExtraText
extraText = ExtraText
NoExtraText
  }

{-|
points: 0.1
average generation time per instance: 6:00min
CPU usage: 100%
-}
task2023_16 :: PickConflictConfig
task2023_16 :: PickConflictConfig
task2023_16 = PickConflictConfig {
  basicConfig :: BasicConfig
basicConfig = BasicConfig {
    places :: Int
places = Int
6,
    transitions :: Int
transitions = Int
6,
    atLeastActive :: Int
atLeastActive = Int
2,
    flowOverall :: (Int, Int)
flowOverall = (Int
16, Int
16) ,
    maxTokensPerPlace :: Int
maxTokensPerPlace = Int
2,
    maxFlowPerEdge :: Int
maxFlowPerEdge = Int
1,
    tokensOverall :: (Int, Int)
tokensOverall = (Int
5, Int
5),
    isConnected :: Maybe Bool
isConnected = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True
    },
  changeConfig :: ChangeConfig
changeConfig = ChangeConfig {
    tokenChangeOverall :: Int
tokenChangeOverall = Int
0,
    maxTokenChangePerPlace :: Int
maxTokenChangePerPlace = Int
0,
    flowChangeOverall :: Int
flowChangeOverall = Int
2,
    maxFlowChangePerEdge :: Int
maxFlowChangePerEdge = Int
1
    },
  conflictConfig :: ConflictConfig
conflictConfig = ConflictConfig {
    addConflictCommonPreconditions :: Maybe Bool
addConflictCommonPreconditions = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
    withConflictDistractors :: Maybe Bool
withConflictDistractors = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
    conflictDistractorAddExtraPreconditions :: Maybe Bool
conflictDistractorAddExtraPreconditions = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
    conflictDistractorOnlyConflictLike :: Bool
conflictDistractorOnlyConflictLike = Bool
True,
    conflictDistractorOnlyConcurrentLike :: Bool
conflictDistractorOnlyConcurrentLike = Bool
False
    },
  graphConfig :: GraphConfig
graphConfig = GraphConfig {
    graphLayouts :: [GraphvizCommand]
graphLayouts = [GraphvizCommand
Dot, GraphvizCommand
Sfdp],
    hidePlaceNames :: Bool
hidePlaceNames = Bool
True,
    hideTransitionNames :: Bool
hideTransitionNames = Bool
True,
    hideWeight1 :: Bool
hideWeight1 = Bool
True
    },
  printSolution :: Bool
printSolution = Bool
True,
  prohibitSourceTransitions :: Bool
prohibitSourceTransitions = Bool
False,
  uniqueConflictPlace :: Maybe Bool
uniqueConflictPlace = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
  useDifferentGraphLayouts :: Bool
useDifferentGraphLayouts = Bool
True,
  alloyConfig :: AlloyConfig
alloyConfig = AlloyConfig {
    maxInstances :: Maybe Integer
maxInstances = Integer -> Maybe Integer
forall a. a -> Maybe a
Just Integer
1000,
    timeout :: Maybe Int
timeout = Maybe Int
forall a. Maybe a
Nothing
    },
  extraText :: ExtraText
extraText = ExtraText
NoExtraText
  }

{-|
points: 0.1
average generation time per instance: 7:59min
CPU usage: 105%
-}
task2024_30 :: PickConflictConfig
task2024_30 :: PickConflictConfig
task2024_30 = PickConflictConfig
task2023_16

{-|
points: 0.1
average generation time per instance: 7:01min
CPU usage: 102%
-}
task2024_31 :: PickConflictConfig
task2024_31 :: PickConflictConfig
task2024_31 = PickConflictConfig
task2023_22