S-oblivious vs. LP-based

Filter: All scenarios in which any s-oblivious analysis does no worse than any LP-based analysis for any number of tasks.

In total, 30 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. 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)

Configuration Nr. 1424
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-medium
periodslog-uni-10-100
#resources8
access probability50%
CSLlong
#requests10
interestingness score0.0120
old sequence number1427
raw data (CSV)

Configuration Nr. 1433
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-light
periodslog-uni-10-100
#resources16
access probability50%
CSLlong
#requests7
interestingness score0.0037
old sequence number935
raw data (CSV)

Configuration Nr. 1437
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-medium
periodslog-uni-10-100
#resources16
access probability50%
CSLlong
#requests7
interestingness score0.0019
old sequence number1295
raw data (CSV)

Configuration Nr. 1439
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-medium
periodslog-uni-10-100
#resources16
access probability50%
CSLlong
#requests10
interestingness score0.0000
old sequence number1292
raw data (CSV)

Configuration Nr. 1440
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-light
periodslog-uni-10-100
#resources16
access probability50%
CSLlong
#requests10
interestingness score0.0000
old sequence number932
raw data (CSV)