Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Modelling.PetriNet.PetriFindConcurrency.Config
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%