| Safe Haskell | Safe-Inferred |
|---|---|
| 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%