| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Modelling.PetriNet.PetriMathToGraph.Config
Description
Configurations might work for PetriGraphToMath and PetriMathToGraph tasks
Synopsis
Documentation
task2023_19 :: MathConfig Source #
points: 0.15 average generation time per instance: 2:30min CPU usage: 120%
task2023_20 :: MathConfig Source #
points: 0.15 average generation time per instance: 8:30min CPU usage: 100%
task2024_23 :: MathConfig Source #
points: 0.1 average generation time per instance: 3:57min CPU usage: 112%
task2024_24 :: MathConfig Source #
points: 0.1 average generation time per instance: 9:22min CPU usage: 107%
task2025_25 :: MathConfig Source #
points: 0.05 the amount of generated instances: 100 maximum concurrent amount of tasks: 50 average generation time per instance on the cluster (without considering concurrency): 11:37min total run time on the cluster (not including queuing time): 24:47min average CPU usage: 101% average max memory usage: 899.33 MB Note: No instances were rendered faulty on Autotool regardless of the different graphviz version.
task2025_26 :: MathConfig Source #
points: 0.05 the amount of generated instances: 100 maximum concurrent amount of tasks: 50 average generation time per instance on the cluster (without considering concurrency): 37:58min total run time on the cluster (not including queuing time): 01:19:33h average CPU usage: 100% average max memory usage: 1772.93 MB Note: 8 student tasks were rendered faulty on Autotool due to the different graphviz version (manually fixed).