| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Modelling.PetriNet.PetriFindConcurrency.Config
Synopsis
- task2023_23 :: FindConcurrencyConfig
- task2024_32 :: FindConcurrencyConfig
- task2024_33 :: FindConcurrencyConfig
- task2024_62 :: FindConcurrencyConfig
- task2024_63 :: FindConcurrencyConfig
- task2025_34 :: FindConcurrencyConfig
- task2025_repeat_43 :: FindConcurrencyConfig
- task2025_35 :: FindConcurrencyConfig
- task2025_repeat_44 :: FindConcurrencyConfig
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%
task2025_34 :: FindConcurrencyConfig Source #
points: 0.15 the amount of generated instances: 100 maximum concurrent amount of tasks: 100 average generation time per instance on the cluster (without considering concurrency): 27:32min total run time on the cluster (not including queuing time): 28:25min average CPU usage: 99.85% average max memory usage: 1542.47 MB used in 2025 as: PetriFindConcurrencyRadioButtonsUnAvailable-Quiz (at the time)
task2025_repeat_43 :: FindConcurrencyConfig Source #
points: 0.15 the amount of generated instances: 100 maximum concurrent amount of tasks: 100 average generation time per instance on the cluster (without considering concurrency): 27:33min total run time on the cluster (not including queuing time): 30:28min average CPU usage: 99.96% average max memory usage: 1566.85 MB used as: PetriFindConcurrencyFormInputPairMatrixUnAvailable-Quiz
task2025_35 :: FindConcurrencyConfig Source #
points: 0.15 the amount of generated instances: 100 maximum concurrent amount of tasks: 100 average generation time per instance on the cluster (without considering concurrency): 1:11:03h total run time on the cluster (not including queuing time): 2:01:28h average CPU usage: 99.08% average max memory usage: 2023.23 MB used in 2025 as: PetriFindConcurrencyRadioButtonsUnAvailable-Quiz (at the time)
task2025_repeat_44 :: FindConcurrencyConfig Source #
points: 0.15 the amount of generated instances: 100 maximum concurrent amount of tasks: 100 average generation time per instance on the cluster (without considering concurrency): 1:08:42h total run time on the cluster (not including queuing time): 02:57:03h average CPU usage: 99.16% average max memory usage: 1970.14 MB used as: PetriFindConcurrencyFormInputPairMatrixUnAvailable-Quiz