S-oblivious vs. LP-based

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

In total, 26 configurations matched the filter.


Configuration Nr. 364
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-10-100
#resources1
access probability10%
CSLshort
#requests1
interestingness score2.3784
old sequence number191
raw data (CSV)

Configuration Nr. 376
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-10-100
#resources1
access probability10%
CSLshort
#requests3
interestingness score2.3515
old sequence number193
raw data (CSV)

Configuration Nr. 387
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-10-100
#resources1
access probability10%
CSLshort
#requests7
interestingness score2.3090
old sequence number195
raw data (CSV)

Configuration Nr. 389
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-10-100
#resources4
access probability10%
CSLshort
#requests1
interestingness score2.3053
old sequence number281
raw data (CSV)

Configuration Nr. 390
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-10-100
#resources2
access probability10%
CSLshort
#requests3
interestingness score2.3053
old sequence number238
raw data (CSV)

Configuration Nr. 392
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-10-100
#resources2
access probability10%
CSLshort
#requests1
interestingness score2.3034
old sequence number236
raw data (CSV)

Configuration Nr. 394
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-10-100
#resources1
access probability10%
CSLshort
#requests10
interestingness score2.2914
old sequence number192
raw data (CSV)

Configuration Nr. 396
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-10-100
#resources1
access probability25%
CSLshort
#requests1
interestingness score2.2895
old sequence number206
raw data (CSV)

Configuration Nr. 399
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-10-100
#resources1
access probability10%
CSLshort
#requests5
interestingness score2.2729
old sequence number194
raw data (CSV)

Configuration Nr. 412
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-10-100
#resources2
access probability10%
CSLshort
#requests7
interestingness score2.2313
old sequence number240
raw data (CSV)

Configuration Nr. 414
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-10-100
#resources2
access probability10%
CSLshort
#requests5
interestingness score2.2266
old sequence number239
raw data (CSV)

Configuration Nr. 421
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-10-100
#resources4
access probability10%
CSLshort
#requests3
interestingness score2.2054
old sequence number283
raw data (CSV)

Configuration Nr. 435
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-10-100
#resources8
access probability10%
CSLshort
#requests1
interestingness score2.1684
old sequence number326
raw data (CSV)

Configuration Nr. 436
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-10-100
#resources8
access probability10%
CSLshort
#requests3
interestingness score2.1674
old sequence number328
raw data (CSV)

Configuration Nr. 441
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-10-100
#resources4
access probability10%
CSLshort
#requests5
interestingness score2.1517
old sequence number284
raw data (CSV)

Configuration Nr. 449
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-10-100
#resources1
access probability25%
CSLshort
#requests3
interestingness score2.1378
old sequence number208
raw data (CSV)

Configuration Nr. 458
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-10-100
#resources2
access probability10%
CSLshort
#requests10
interestingness score2.1184
old sequence number237
raw data (CSV)

Configuration Nr. 464
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-10-100
#resources2
access probability25%
CSLshort
#requests1
interestingness score2.0953
old sequence number251
raw data (CSV)

Configuration Nr. 531
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-light
periodslog-uni-10-100
#resources4
access probability10%
CSLshort
#requests1
interestingness score1.9528
old sequence number1001
raw data (CSV)

Configuration Nr. 551
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-light
periodslog-uni-10-100
#resources2
access probability10%
CSLshort
#requests3
interestingness score1.8899
old sequence number958
raw data (CSV)

Configuration Nr. 954
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-medium
periodslog-uni-10-100
#resources1
access probability10%
CSLmedium
#requests1
interestingness score1.1425
old sequence number546
raw data (CSV)

Configuration Nr. 1013
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-medium
periodslog-uni-10-100
#resources1
access probability10%
CSLshort
#requests3
interestingness score1.1166
old sequence number553
raw data (CSV)

Configuration Nr. 1017
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-medium
periodslog-uni-10-100
#resources4
access probability10%
CSLshort
#requests1
interestingness score1.1156
old sequence number641
raw data (CSV)

Configuration Nr. 1022
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-medium
periodslog-uni-10-100
#resources1
access probability10%
CSLshort
#requests10
interestingness score1.1110
old sequence number552
raw data (CSV)

Configuration Nr. 1055
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-medium
periodslog-uni-10-100
#resources2
access probability10%
CSLshort
#requests1
interestingness score1.0999
old sequence number596
raw data (CSV)

Configuration Nr. 1057
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-medium
periodslog-uni-10-100
#resources1
access probability10%
CSLshort
#requests1
interestingness score1.0999
old sequence number551
raw data (CSV)