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

Modelling.PetriNet.PetriFindConcurrency.Config

Synopsis

Documentation

task2023_23 :: FindConcurrencyConfig Source #

points: 0.15 average generation time per instance: 7:00min CPU usage: 100%

task2024_32 :: FindConcurrencyConfig Source #

points: 0.15 average generation time per instance: 12:10min CPU usage: 103%

task2024_33 :: FindConcurrencyConfig Source #

points: 0.15 average generation time per instance: 26:15min CPU usage: 106%

task2024_62 :: FindConcurrencyConfig Source #

points: 0.08 average generation time per instance: 9:29min CPU usage: 104%

task2024_63 :: FindConcurrencyConfig Source #

points: 0.08 average generation time per instance: 24:39min CPU usage: 109%