| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Modelling.PetriNet.PetriDeadlock.Config
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
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
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