| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Modelling.PetriNet.PetriReach.Config
Synopsis
- task2023_27 :: ReachConfig
- task2023_28 :: ReachConfig
- task2024_25 :: ReachConfig
- task2024_26 :: ReachConfig
- task2024_60 :: ReachConfig
- task2025_27 :: ReachConfig
- task2025_repeat_32 :: ReachConfig
- task2025_28 :: ReachConfig
- task2025_repeat_33 :: ReachConfig
- task2025_58 :: ReachConfig
- task2025_repeat_34 :: ReachConfig
Documentation
task2023_27 :: ReachConfig Source #
points: 0.2
task2023_28 :: ReachConfig Source #
points: 0.25
task2024_25 :: ReachConfig Source #
points: 0.2
task2024_26 :: ReachConfig Source #
points: 0.25
task2024_60 :: ReachConfig Source #
points: 0.08
task2025_27 :: ReachConfig 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): 1.96s total run time on the cluster (not including queuing time): 1:41min average CPU usage: 95.72% average memory usage: 342.53 MB used in 2025 as: PetriReachDropdownsUnAvailable-Quiz (at the time)
task2025_repeat_32 :: ReachConfig Source #
points: 0.2 used as: PetriReachFormInputDropdowns-Quiz
task2025_28 :: ReachConfig 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): 7.48s total run time on the cluster (not including queuing time): 1:47min average CPU usage: 98.74% average memory usage: 374.26 MB used in 2025 as: PetriReachDropdownsUnAvailable-Quiz (at the time)
task2025_repeat_33 :: ReachConfig 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): 8.27s total run time on the cluster (not including queuing time): 11s average CPU usage: 88.64% average memory usage: 362.72 MB used as: PetriReachFormInputDropdownsUnAvailable-Quiz
task2025_58 :: ReachConfig 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): 9.06s total run time on the cluster (not including queuing time): 12s average CPU usage: 81.44% average memory usage: 367.35 MB used in 2025 as: PetriReachDropdownsUnAvailable-Quiz (at the time)
task2025_repeat_34 :: ReachConfig 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): 8.38s total run time on the cluster (not including queuing time): 11s average CPU usage: 87.73% average memory usage: 358.07 MB used as: PetriReachFormInputDropdownsUnAvailable-Quiz