modelling-tasks-examples-0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Modelling.PetriNet.PetriDeadlock.Config

Synopsis

Documentation

task2023_29 :: DeadlockConfig Source #

points: 0.2

task2023_30 :: DeadlockConfig Source #

points: 0.25

task2024_27 :: DeadlockConfig Source #

points: 0.2

task2024_28 :: DeadlockConfig Source #

points: 0.25 average generation time per instance: 1:49min CPU usage: 99%

task2024_61 :: DeadlockConfig Source #

points: 0.08