| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Modelling.PetriNet.PetriDeadlock.Config
Synopsis
- task2023_29 :: DeadlockConfig
- task2023_30 :: DeadlockConfig
- task2024_27 :: DeadlockConfig
- task2024_28 :: DeadlockConfig
- task2024_61 :: DeadlockConfig
- task2025_29 :: DeadlockConfig
- task2025_repeat_35 :: DeadlockConfig
- task2025_30 :: DeadlockConfig
- task2025_repeat_36 :: DeadlockConfig
- task2025_59 :: DeadlockConfig
- task2025_repeat_37 :: DeadlockConfig
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
task2025_29 :: DeadlockConfig Source #
points: 0.2 the amount of generated instances: 100 maximum concurrent amount of tasks: 50 average generation time per instance on the cluster (without considering concurrency): 3.26s total run time on the cluster (not including queuing time): 1:55min average CPU usage: 97.54% average memory usage: 378.04 MB used in 2025 as: PetriDeadlockDropdownsUnAvailable-Quiz (at the time)
task2025_repeat_35 :: DeadlockConfig Source #
points: 0.2 the amount of generated instances: 100 maximum concurrent amount of tasks: 100 average generation time per instance on the cluster (without considering concurrency): 4.25s total run time on the cluster (not including queuing time): 12s average CPU usage: 73.14% average memory usage:372.83 MB used as: PetriDeadlockFormInputDropdownsUnAvailable-Quiz
task2025_30 :: DeadlockConfig Source #
points: 0.25 the amount of generated instances: 100 maximum concurrent amount of tasks: 50 average generation time per instance on the cluster (without considering concurrency): 2:30:44h total run time on the cluster (not including queuing time): 11:08:20h average CPU usage: 98.99% average memory usage: 372.13 MB used in 2025 as: PetriDeadlockDropdownsUnAvailable-Quiz (at the time)
task2025_repeat_36 :: DeadlockConfig Source #
points: 0.175 the amount of generated instances: 100 maximum concurrent amount of tasks: 100 average generation time per instance on the cluster (without considering concurrency): 2:02:41h total run time on the cluster (not including queuing time): 11:30:36h average CPU usage: 98.99% average memory usage: 372.25 MB used as: PetriDeadlockFormInputDropdownsUnAvailable-Quiz
task2025_59 :: DeadlockConfig Source #
points: 0.1 the amount of generated instances: 100 maximum concurrent amount of tasks: 100 average generation time per instance on the cluster (without considering concurrency): 1:50:11h total run time on the cluster (not including queuing time): 11:23:03h average CPU usage: 98.60% average memory usage: 371.97 MB used in 2025 as: PetriDeadlockDropdownsUnAvailable-Quiz (at the time)
task2025_repeat_37 :: DeadlockConfig Source #
points: 0.175 the amount of generated instances: 100 maximum concurrent amount of tasks: 100 average generation time per instance on the cluster (without considering concurrency): 1:48:48h total run time on the cluster (not including queuing time): 09:35:20h average CPU usage: 98.96% average memory usage: 372.16 MB used as: PetriDeadlockFormInputDropdownsUnAvailable-Quiz