S-oblivious vs. No-progress

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

In total, 48 configurations matched the filter.


Configuration Nr. 328
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-10-100
#resources8
access probability50%
CSLlong
#requests1
interestingness score2.6361
old sequence number346
raw data (CSV)

Configuration Nr. 398
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-10-100
#resources4
access probability50%
CSLlong
#requests3
interestingness score2.2794
old sequence number303
raw data (CSV)

Configuration Nr. 401
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-light
periodslog-uni-10-100
#resources4
access probability50%
CSLlong
#requests1
interestingness score2.2710
old sequence number1021
raw data (CSV)

Configuration Nr. 598
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-light
periodslog-uni-10-100
#resources8
access probability50%
CSLlong
#requests1
interestingness score1.7583
old sequence number1066
raw data (CSV)

Configuration Nr. 641
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-light
periodslog-uni-10-100
#resources16
access probability50%
CSLmedium
#requests3
interestingness score1.5754
old sequence number938
raw data (CSV)

Configuration Nr. 717
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-light
periodslog-uni-10-100
#resources8
access probability50%
CSLmedium
#requests7
interestingness score1.3669
old sequence number1075
raw data (CSV)

Configuration Nr. 789
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-light
periodslog-uni-10-100
#resources16
access probability50%
CSLlong
#requests1
interestingness score1.2833
old sequence number931
raw data (CSV)

Configuration Nr. 797
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-10-100
#resources4
access probability50%
CSLlong
#requests5
interestingness score1.2710
old sequence number304
raw data (CSV)

Configuration Nr. 869
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-medium
periodslog-uni-10-100
#resources8
access probability50%
CSLlong
#requests1
interestingness score1.1915
old sequence number1426
raw data (CSV)

Configuration Nr. 1143
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-light
periodslog-uni-10-100
#resources16
access probability50%
CSLmedium
#requests5
interestingness score1.0563
old sequence number939
raw data (CSV)

Configuration Nr. 1187
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-10-100
#resources8
access probability50%
CSLlong
#requests3
interestingness score0.9991
old sequence number348
raw data (CSV)

Configuration Nr. 1209
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-10-100
#resources4
access probability50%
CSLlong
#requests7
interestingness score0.9112
old sequence number305
raw data (CSV)

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

Configuration Nr. 1219
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-light
periodslog-uni-10-100
#resources8
access probability50%
CSLmedium
#requests10
interestingness score0.8621
old sequence number1072
raw data (CSV)

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

Configuration Nr. 1270
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-light
periodslog-uni-10-100
#resources8
access probability50%
CSLlong
#requests3
interestingness score0.5657
old sequence number1068
raw data (CSV)

Configuration Nr. 1276
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-10-100
#resources8
access probability50%
CSLlong
#requests5
interestingness score0.5375
old sequence number349
raw data (CSV)

Configuration Nr. 1277
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-light
periodslog-uni-10-100
#resources4
access probability50%
CSLlong
#requests5
interestingness score0.5361
old sequence number1024
raw data (CSV)

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

Configuration Nr. 1335
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-10-100
#resources8
access probability50%
CSLlong
#requests10
interestingness score0.2525
old sequence number347
raw data (CSV)

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

Configuration Nr. 1359
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-light
periodslog-uni-10-100
#resources8
access probability50%
CSLlong
#requests5
interestingness score0.1685
old sequence number1069
raw data (CSV)

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

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

Configuration Nr. 1390
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-light
periodslog-uni-1-1000
#resources16
access probability50%
CSLlong
#requests1
interestingness score0.0786
old sequence number751
raw data (CSV)

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

Configuration Nr. 1398
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-light
periodslog-uni-1-1000
#resources8
access probability50%
CSLlong
#requests3
interestingness score0.0537
old sequence number888
raw data (CSV)

Configuration Nr. 1399
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-light
periodslog-uni-1-1000
#resources16
access probability50%
CSLmedium
#requests10
interestingness score0.0509
old sequence number757
raw data (CSV)

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

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

Configuration Nr. 1412
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-medium
periodslog-uni-1-1000
#resources8
access probability50%
CSLlong
#requests5
interestingness score0.0287
old sequence number1249
raw data (CSV)

Configuration Nr. 1422
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-light
periodslog-uni-1-1000
#resources16
access probability50%
CSLlong
#requests3
interestingness score0.0157
old sequence number753
raw data (CSV)

Configuration Nr. 1423
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-light
periodslog-uni-10-100
#resources16
access probability50%
CSLlong
#requests5
interestingness score0.0148
old sequence number934
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. 1425
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-medium
periodslog-uni-1-1000
#resources8
access probability50%
CSLlong
#requests7
interestingness score0.0120
old sequence number1250
raw data (CSV)

Configuration Nr. 1426
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-light
periodslog-uni-1-1000
#resources8
access probability50%
CSLlong
#requests10
interestingness score0.0093
old sequence number887
raw data (CSV)

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

Configuration Nr. 1429
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-medium
periodslog-uni-1-1000
#resources8
access probability50%
CSLlong
#requests10
interestingness score0.0074
old sequence number1247
raw data (CSV)

Configuration Nr. 1431
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-light
periodslog-uni-1-1000
#resources16
access probability50%
CSLlong
#requests5
interestingness score0.0065
old sequence number754
raw data (CSV)

Configuration Nr. 1432
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-medium
periodslog-uni-1-1000
#resources16
access probability50%
CSLlong
#requests5
interestingness score0.0046
old sequence number1114
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. 1434
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-medium
periodslog-uni-1-1000
#resources16
access probability50%
CSLlong
#requests7
interestingness score0.0028
old sequence number1115
raw data (CSV)

Configuration Nr. 1435
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-light
periodslog-uni-1-1000
#resources16
access probability50%
CSLlong
#requests7
interestingness score0.0028
old sequence number755
raw data (CSV)

Configuration Nr. 1436
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-medium
periodslog-uni-1-1000
#resources16
access probability50%
CSLlong
#requests10
interestingness score0.0019
old sequence number1112
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. 1438
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-light
periodslog-uni-1-1000
#resources16
access probability50%
CSLlong
#requests10
interestingness score0.0019
old sequence number752
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)