modelling-tasks-examples-0.0.0
Safe HaskellNone
LanguageHaskell2010

Modelling.PetriNet.PetriDeadlock.Config

Synopsis

Documentation

task2024_28 :: DeadlockConfig Source #

points: 0.25 average generation time per instance: 1:49min CPU usage: 99%

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