Skip to content

Commit

Permalink
rename meta data field
Browse files Browse the repository at this point in the history
  • Loading branch information
marcellussiegburg committed Dec 16, 2024
1 parent 59643a0 commit 404eaa7
Show file tree
Hide file tree
Showing 17 changed files with 55 additions and 55 deletions.
4 changes: 2 additions & 2 deletions example/src/Modelling/ActivityDiagram/EnterAs/Config.hs
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ import Modelling.ActivityDiagram.EnterAS (EnterASConfig(..))

{-|
points: 0.15
generation time: 3:30min
generation time per instance: 3:30min
CPU usage: 100%
-}
task35 :: EnterASConfig
Expand All @@ -31,7 +31,7 @@ task35 = EnterASConfig {

{-|
points: 0.15
generation time: 5:00min
generation time per instance: 5:00min
CPU usage: 100%
-}
task36 :: EnterASConfig
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ import Modelling.ActivityDiagram.Config (AdConfig(..))

{-|
points: 0.15
generation time: 2:00min
generation time per instance: 2:00min
CPU usage: 120%
-}
task41 :: FindAuxiliaryPetriNodesConfig
Expand All @@ -33,7 +33,7 @@ task41 = FindAuxiliaryPetriNodesConfig {

{-|
points: 0.15
generation time: 3:30min
generation time per instance: 3:30min
CPU usage: 100%
-}
task42 :: FindAuxiliaryPetriNodesConfig
Expand Down
4 changes: 2 additions & 2 deletions example/src/Modelling/ActivityDiagram/MatchPetri/Config.hs
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ import Data.GraphViz.Commands (GraphvizCommand(..))

{-|
points: 0.15
generation time: 40:00min
generation time per instance: 40:00min
CPU usage: 100%
-}
task39 :: MatchPetriConfig
Expand All @@ -36,7 +36,7 @@ task39 = MatchPetriConfig {

{-|
points: 0.15
generation time: 40:00min
generation time per instance: 40:00min
CPU usage: 100%
-}
task40 :: MatchPetriConfig
Expand Down
4 changes: 2 additions & 2 deletions example/src/Modelling/ActivityDiagram/SelectAs/Config.hs
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ import Modelling.ActivityDiagram.SelectAS (SelectASConfig(..))

{-|
points: 0.15
generation time: 22:00min
generation time per instance: 22:00min
CPU usage: 100%
-}
task33 :: SelectASConfig
Expand All @@ -31,7 +31,7 @@ task33 = SelectASConfig {

{-|
points: 0.15
generation time: 22:00min
generation time per instance: 22:00min
CPU usage: 100%
-}
task34 :: SelectASConfig
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ import Data.GraphViz.Commands (GraphvizCommand(..))

{-|
points: 0.15
generation time: 2:30min
generation time per instance: 2:30min
CPU usage: 100%
-}
task37 :: SelectPetriConfig
Expand Down
10 changes: 5 additions & 5 deletions example/src/Modelling/CdOd/DifferentNames/Config.hs
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ import Data.Ratio ((%))

{-|
points: 0.15
generation time: 0:27min
generation time per instance: 0:27min
CPU usage: 350%
-}
task2023_12 :: DifferentNamesConfig
Expand Down Expand Up @@ -55,7 +55,7 @@ task2023_12 = DifferentNamesConfig {

{-|
points: 0.15
generation time: 1:40min
generation time per instance: 1:40min
CPU usage: 350%
-}
task2023_13 :: DifferentNamesConfig
Expand Down Expand Up @@ -94,7 +94,7 @@ task2023_13 = DifferentNamesConfig {

{-|
points: 0.25
generation time: 3:00min
generation time per instance: 3:00min
CPU usage: 150%
-}
task2023_25 :: DifferentNamesConfig
Expand Down Expand Up @@ -133,7 +133,7 @@ task2023_25 = DifferentNamesConfig {

{-|
points: 0.15
generation time: 1:10min
generation time per instance: 1:10min
CPU usage: 355%
-}
task2024_15 :: DifferentNamesConfig
Expand Down Expand Up @@ -172,7 +172,7 @@ task2024_15 = DifferentNamesConfig {

{-|
points: 0.15
generation time: 1:17min
generation time per instance: 1:17min
CPU usage: 346%
-}
task2024_16 :: DifferentNamesConfig
Expand Down
12 changes: 6 additions & 6 deletions example/src/Modelling/CdOd/MatchCdOd/Config.hs
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ import Data.Ratio ((%))

{-|
points: 0.15
generation time: 2:00min
generation time per instance: 2:00min
CPU usage: 150%
-}
task2023_14 :: MatchCdOdConfig
Expand Down Expand Up @@ -63,7 +63,7 @@ task2023_14 = MatchCdOdConfig {

{-|
points: 0.15
generation time: 1:10min
generation time per instance: 1:10min
CPU usage: 150%
-}
task2023_15 :: MatchCdOdConfig
Expand Down Expand Up @@ -108,7 +108,7 @@ task2023_15 = MatchCdOdConfig {

{-|
points: 0.15
generation time: 16:54min
generation time per instance: 16:54min
CPU usage: 134%
-}
task2024_17 :: MatchCdOdConfig
Expand Down Expand Up @@ -149,7 +149,7 @@ task2024_17 = MatchCdOdConfig {

{-|
points: 0.15
generation time: 13:14min
generation time per instance: 13:14min
CPU usage: 130%
-}
task2024_18 :: MatchCdOdConfig
Expand Down Expand Up @@ -190,7 +190,7 @@ task2024_18 = MatchCdOdConfig {

{-|
points: 0.15
generation time: 5:14min
generation time per instance: 5:14min
CPU usage: 127%
-}
task2024_19 :: MatchCdOdConfig
Expand Down Expand Up @@ -231,7 +231,7 @@ task2024_19 = MatchCdOdConfig {

{-|
points: 0.15
generation time: 2:44min
generation time per instance: 2:44min
CPU usage: 133%
-}
task2024_20 :: MatchCdOdConfig
Expand Down
8 changes: 4 additions & 4 deletions example/src/Modelling/CdOd/NameCdError/Config.hs
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@ import Data.Ratio ((%))

{-|
points: 0.15
generation time: 0:20min
generation time per instance: 0:20min
CPU usage: 200%
-}
task2023_09 :: NameCdErrorConfig
Expand Down Expand Up @@ -93,7 +93,7 @@ task2023_09 = NameCdErrorConfig {

{-|
points: 0.15
generation time: 0:20min
generation time per instance: 0:20min
CPU usage: 200%
-}
task2023_10 :: NameCdErrorConfig
Expand Down Expand Up @@ -164,7 +164,7 @@ task2023_10 = NameCdErrorConfig {

{-|
points: 0.15
generation time: 0:57 min
generation time per instance: 0:57 min
CPU usage: 171%
-}
task2024_10 :: NameCdErrorConfig
Expand Down Expand Up @@ -235,7 +235,7 @@ task2024_10 = NameCdErrorConfig {

{-|
points: 0.15
generation time: 0:38min
generation time per instance: 0:38min
CPU usage: 180%
-}
task2024_11 :: NameCdErrorConfig
Expand Down
6 changes: 3 additions & 3 deletions example/src/Modelling/CdOd/RepairCd/Config.hs
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@ import Data.Ratio ((%))

{-|
points: 0.15
generation time: 5:00h
generation time per instance: 5:00h
CPU usage: 600%
-}
task2023_07 :: RepairCdConfig
Expand Down Expand Up @@ -142,7 +142,7 @@ task2023_08 = RepairCdConfig {

{-|
points: 0.15
generation time: 4:37:39h
generation time per instance: 4:37:39h
CPU usage: 361%
-}
task2024_12 :: RepairCdConfig
Expand Down Expand Up @@ -201,7 +201,7 @@ task2024_12 = RepairCdConfig {

{-|
points: 0.15
generation time: 03:54min
generation time per instance: 03:54min
CPU usage: 247%
-}
task2024_13 :: RepairCdConfig
Expand Down
10 changes: 5 additions & 5 deletions example/src/Modelling/CdOd/SelectValidCd/Config.hs
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@ import Data.Ratio ((%))

{-|
points: 0.15
generation time: 24:00h
generation time per instance: 24:00h
CPU usage: 400%
-}
task2023_05 :: SelectValidCdConfig
Expand Down Expand Up @@ -82,7 +82,7 @@ task2023_05 = SelectValidCdConfig {

{-|
points: 0.15
generation time: 1:30h
generation time per instance: 1:30h
CPU usage: 400%
-}
task2023_06 :: SelectValidCdConfig
Expand Down Expand Up @@ -143,7 +143,7 @@ task2023_06 = SelectValidCdConfig {

{-|
points: 0.15
generation time: 24:00h
generation time per instance: 24:00h
CPU usage: 400%
-}
task2024_06 :: SelectValidCdConfig
Expand Down Expand Up @@ -202,7 +202,7 @@ task2024_06 = SelectValidCdConfig {

{-|
points: 0.15
generation time: 3:18min
generation time per instance: 3:18min
CPU usage: 278%
-}
task2024_07 :: SelectValidCdConfig
Expand Down Expand Up @@ -262,7 +262,7 @@ task2024_07 = SelectValidCdConfig {

{-|
points: 0.15
generation time: 1:30h
generation time per instance: 1:30h
CPU usage: 400%
-}
task2024_08 :: SelectValidCdConfig
Expand Down
2 changes: 1 addition & 1 deletion example/src/Modelling/PetriNet/PetriDeadlock/Config.hs
Original file line number Diff line number Diff line change
Expand Up @@ -52,7 +52,7 @@ task2024_27 = task2023_29

{-|
points: 0.25
generation time: 1:49min
generation time per instance: 1:49min
CPU usage: 99%
-}
task2024_28 :: DeadlockConfig
Expand Down
6 changes: 3 additions & 3 deletions example/src/Modelling/PetriNet/PetriFindConcurrency/Config.hs
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ import Data.GraphViz.Commands (GraphvizCommand(..))

{-|
points: 0.15
generation time: 7:00min
generation time per instance: 7:00min
CPU usage: 100%
-}
task2023_23 :: FindConcurrencyConfig
Expand Down Expand Up @@ -55,15 +55,15 @@ task2023_23 = FindConcurrencyConfig {

{-|
points: 0.15
generation time: 12:10min
generation time per instance: 12:10min
CPU usage: 103%
-}
task2024_32 :: FindConcurrencyConfig
task2024_32 = task2023_23

{-|
points: 0.15
generation time: 26:15min
generation time per instance: 26:15min
CPU usage: 106%
-}
task2024_33 :: FindConcurrencyConfig
Expand Down
10 changes: 5 additions & 5 deletions example/src/Modelling/PetriNet/PetriFindConflictPlaces/Config.hs
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ import Data.GraphViz.Commands (GraphvizCommand(..))

{-|
points: 0.2
generation time: 20:00min
generation time per instance: 20:00min
CPU usage: 100%
-}
task2023_24 :: FindConflictConfig
Expand Down Expand Up @@ -64,7 +64,7 @@ task2023_24 = FindConflictConfig {

{-|
points: 0.2
generation time: 20:00min
generation time per instance: 20:00min
CPU usage: 100%
-}
task2023_26 :: FindConflictConfig
Expand Down Expand Up @@ -113,23 +113,23 @@ task2023_26 = FindConflictConfig {

{-|
points: 0.2
generation time: 31:14min
generation time per instance: 31:14min
CPU usage: 104%
-}
task2024_34 :: FindConflictConfig
task2024_34 = task2023_24

{-|
points: 0.2
generation time: 35:16min
generation time per instance: 35:16min
CPU usage: 103%
-}
task2024_35 :: FindConflictConfig
task2024_35 = task2023_26

{-|
points: 0.2
generation time: 35:16min
generation time per instance: 35:16min
CPU usage: 103%
-}
task2024_36 :: FindConflictConfig
Expand Down
Loading

0 comments on commit 404eaa7

Please sign in to comment.