FMLP vs. PIP

Restriction: considering only configurations with heterogeneous periods.

Filter: All scenarios in which LP-based analysis of the FMLP does both no worse than LP-based analysis of the PIP for any number of tasks, and strictly better for some number of tasks.

In total, 56 configurations matched the filter.


Configuration Nr. 52
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-light
periodslog-uni-1-1000
#resources16
access probability10%
CSLshort
#requests1
interestingness score5.8488
old sequence number731
raw data (CSV)

Configuration Nr. 110
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-1-1000
#resources8
access probability10%
CSLshort
#requests7
interestingness score4.9056
old sequence number150
raw data (CSV)

Configuration Nr. 263
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-1-1000
#resources8
access probability25%
CSLshort
#requests1
interestingness score3.2895
old sequence number161
raw data (CSV)

Configuration Nr. 266
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-1-1000
#resources2
access probability50%
CSLshort
#requests1
interestingness score3.2572
old sequence number86
raw data (CSV)

Configuration Nr. 279
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-1-1000
#resources8
access probability10%
CSLshort
#requests5
interestingness score3.1582
old sequence number149
raw data (CSV)

Configuration Nr. 303
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-1-1000
#resources4
access probability25%
CSLshort
#requests3
interestingness score2.9214
old sequence number118
raw data (CSV)

Configuration Nr. 356
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-1-1000
#resources4
access probability10%
CSLshort
#requests10
interestingness score2.4403
old sequence number102
raw data (CSV)

Configuration Nr. 512
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-1-1000
#resources4
access probability25%
CSLshort
#requests1
interestingness score2.0185
old sequence number116
raw data (CSV)

Configuration Nr. 518
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-1-1000
#resources1
access probability25%
CSLmedium
#requests1
interestingness score1.9917
old sequence number21
raw data (CSV)

Configuration Nr. 538
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-1-1000
#resources1
access probability50%
CSLshort
#requests1
interestingness score1.9417
old sequence number41
raw data (CSV)

Configuration Nr. 565
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-1-1000
#resources4
access probability10%
CSLmedium
#requests1
interestingness score1.8603
old sequence number96
raw data (CSV)

Configuration Nr. 600
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-1-1000
#resources2
access probability25%
CSLshort
#requests3
interestingness score1.7484
old sequence number73
raw data (CSV)

Configuration Nr. 646
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-1-1000
#resources1
access probability25%
CSLshort
#requests7
interestingness score1.5652
old sequence number30
raw data (CSV)

Configuration Nr. 668
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-light
periodslog-uni-1-1000
#resources4
access probability10%
CSLshort
#requests3
interestingness score1.4615
old sequence number823
raw data (CSV)

Configuration Nr. 683
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-1-1000
#resources8
access probability10%
CSLshort
#requests3
interestingness score1.4154
old sequence number148
raw data (CSV)

Configuration Nr. 691
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-light
periodslog-uni-1-1000
#resources2
access probability10%
CSLshort
#requests5
interestingness score1.3981
old sequence number779
raw data (CSV)

Configuration Nr. 708
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-1-1000
#resources4
access probability10%
CSLshort
#requests7
interestingness score1.3765
old sequence number105
raw data (CSV)

Configuration Nr. 750
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-medium
periodslog-uni-1-1000
#resources4
access probability10%
CSLshort
#requests10
interestingness score1.3265
old sequence number1182
raw data (CSV)

Configuration Nr. 775
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-1-1000
#resources1
access probability25%
CSLshort
#requests5
interestingness score1.3016
old sequence number29
raw data (CSV)

Configuration Nr. 781
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-1-1000
#resources2
access probability10%
CSLshort
#requests10
interestingness score1.2942
old sequence number57
raw data (CSV)

Configuration Nr. 791
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-1-1000
#resources4
access probability10%
CSLshort
#requests5
interestingness score1.2803
old sequence number104
raw data (CSV)

Configuration Nr. 796
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-light
periodslog-uni-1-1000
#resources4
access probability10%
CSLshort
#requests1
interestingness score1.2738
old sequence number821
raw data (CSV)

Configuration Nr. 806
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-1-1000
#resources1
access probability25%
CSLshort
#requests3
interestingness score1.2590
old sequence number28
raw data (CSV)

Configuration Nr. 812
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-1-1000
#resources2
access probability25%
CSLshort
#requests1
interestingness score1.2498
old sequence number71
raw data (CSV)

Configuration Nr. 813
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-light
periodslog-uni-1-1000
#resources2
access probability10%
CSLshort
#requests3
interestingness score1.2488
old sequence number778
raw data (CSV)

Configuration Nr. 825
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-1-1000
#resources2
access probability10%
CSLshort
#requests7
interestingness score1.2331
old sequence number60
raw data (CSV)

Configuration Nr. 858
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-1-1000
#resources4
access probability10%
CSLshort
#requests3
interestingness score1.2007
old sequence number103
raw data (CSV)

Configuration Nr. 861
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-1-1000
#resources1
access probability10%
CSLshort
#requests10
interestingness score1.1970
old sequence number12
raw data (CSV)

Configuration Nr. 865
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-1-1000
#resources4
access probability10%
CSLshort
#requests1
interestingness score1.1943
old sequence number101
raw data (CSV)

Configuration Nr. 871
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-light
periodslog-uni-1-1000
#resources2
access probability10%
CSLshort
#requests1
interestingness score1.1906
old sequence number776
raw data (CSV)

Configuration Nr. 876
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-1-1000
#resources2
access probability10%
CSLmedium
#requests1
interestingness score1.1869
old sequence number51
raw data (CSV)

Configuration Nr. 879
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-1-1000
#resources1
access probability25%
CSLshort
#requests1
interestingness score1.1859
old sequence number26
raw data (CSV)

Configuration Nr. 899
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-1-1000
#resources1
access probability10%
CSLmedium
#requests1
interestingness score1.1711
old sequence number6
raw data (CSV)

Configuration Nr. 912
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-1-1000
#resources1
access probability10%
CSLshort
#requests5
interestingness score1.1647
old sequence number14
raw data (CSV)

Configuration Nr. 928
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-1-1000
#resources1
access probability10%
CSLshort
#requests3
interestingness score1.1554
old sequence number13
raw data (CSV)

Configuration Nr. 944
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-1-1000
#resources2
access probability10%
CSLshort
#requests5
interestingness score1.1462
old sequence number59
raw data (CSV)

Configuration Nr. 959
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-medium
periodslog-uni-1-1000
#resources2
access probability25%
CSLshort
#requests7
interestingness score1.1388
old sequence number435
raw data (CSV)

Configuration Nr. 984
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-1-1000
#resources1
access probability10%
CSLshort
#requests7
interestingness score1.1286
old sequence number15
raw data (CSV)

Configuration Nr. 986
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-1-1000
#resources1
access probability10%
CSLshort
#requests1
interestingness score1.1286
old sequence number11
raw data (CSV)

Configuration Nr. 1075
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-medium
periodslog-uni-1-1000
#resources8
access probability10%
CSLshort
#requests5
interestingness score1.0916
old sequence number509
raw data (CSV)

Configuration Nr. 1085
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-1-1000
#resources2
access probability10%
CSLshort
#requests3
interestingness score1.0851
old sequence number58
raw data (CSV)

Configuration Nr. 1101
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-medium
periodslog-uni-1-1000
#resources8
access probability10%
CSLshort
#requests3
interestingness score1.0777
old sequence number508
raw data (CSV)

Configuration Nr. 1106
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-1-1000
#resources2
access probability10%
CSLshort
#requests1
interestingness score1.0759
old sequence number56
raw data (CSV)

Configuration Nr. 1114
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-medium
periodslog-uni-1-1000
#resources2
access probability10%
CSLshort
#requests10
interestingness score1.0722
old sequence number417
raw data (CSV)

Configuration Nr. 1117
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-medium
periodslog-uni-1-1000
#resources4
access probability10%
CSLshort
#requests3
interestingness score1.0712
old sequence number463
raw data (CSV)

Configuration Nr. 1126
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-medium
periodslog-uni-1-1000
#resources2
access probability10%
CSLmedium
#requests10
interestingness score1.0648
old sequence number412
raw data (CSV)

Configuration Nr. 1129
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-medium
periodslog-uni-1-1000
#resources1
access probability25%
CSLshort
#requests3
interestingness score1.0648
old sequence number388
raw data (CSV)

Configuration Nr. 1134
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-medium
periodslog-uni-1-1000
#resources2
access probability10%
CSLmedium
#requests3
interestingness score1.0620
old sequence number413
raw data (CSV)

Configuration Nr. 1135
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-medium
periodslog-uni-1-1000
#resources1
access probability25%
CSLshort
#requests5
interestingness score1.0620
old sequence number389
raw data (CSV)

Configuration Nr. 1141
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-medium
periodslog-uni-1-1000
#resources4
access probability10%
CSLshort
#requests7
interestingness score1.0574
old sequence number465
raw data (CSV)

Configuration Nr. 1149
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-medium
periodslog-uni-1-1000
#resources2
access probability10%
CSLmedium
#requests1
interestingness score1.0463
old sequence number411
raw data (CSV)

Configuration Nr. 1152
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-medium
periodslog-uni-1-1000
#resources1
access probability10%
CSLshort
#requests3
interestingness score1.0435
old sequence number373
raw data (CSV)

Configuration Nr. 1153
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-medium
periodslog-uni-1-1000
#resources4
access probability10%
CSLshort
#requests1
interestingness score1.0435
old sequence number461
raw data (CSV)

Configuration Nr. 1164
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-medium
periodslog-uni-1-1000
#resources2
access probability10%
CSLshort
#requests3
interestingness score1.0315
old sequence number418
raw data (CSV)

Configuration Nr. 1174
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-medium
periodslog-uni-1-1000
#resources2
access probability10%
CSLshort
#requests5
interestingness score1.0148
old sequence number419
raw data (CSV)

Configuration Nr. 1334
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-medium
periodslog-uni-1-1000
#resources8
access probability25%
CSLlong
#requests10
interestingness score0.2535
old sequence number512
raw data (CSV)