S-oblivious vs. LP-based

Filter: All scenarios in which any s-oblivious analysis does better than LP-based analysis of the FMLP, according to the total number of task sets deemed schedulable.

In total, 63 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. 400
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-10-100
#resources1
access probability10%
CSLmedium
#requests1
interestingness score2.2720
old sequence number186
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. 413
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-10-100
#resources1
access probability10%
CSLmedium
#requests3
interestingness score2.2303
old sequence number188
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. 433
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-10-100
#resources1
access probability10%
CSLmedium
#requests5
interestingness score2.1684
old sequence number189
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. 448
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-10-100
#resources2
access probability10%
CSLmedium
#requests1
interestingness score2.1415
old sequence number231
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. 454
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-10-100
#resources1
access probability10%
CSLmedium
#requests10
interestingness score2.1221
old sequence number187
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. 461
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-10-100
#resources1
access probability50%
CSLshort
#requests1
interestingness score2.1119
old sequence number221
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. 471
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-light
periodslog-uni-10-100
#resources1
access probability25%
CSLshort
#requests5
interestingness score2.0879
old sequence number209
raw data (CSV)

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

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

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

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

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

Configuration Nr. 528
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-light
periodslog-uni-10-100
#resources2
access probability10%
CSLshort
#requests1
interestingness score1.9676
old sequence number956
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. 537
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-light
periodslog-uni-10-100
#resources2
access probability10%
CSLshort
#requests5
interestingness score1.9417
old sequence number959
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. 556
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 8
utilizationexp-light
periodslog-uni-10-100
#resources4
access probability10%
CSLshort
#requests3
interestingness score1.8844
old sequence number1003
raw data (CSV)

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

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

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

Configuration Nr. 950
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-medium
periodslog-uni-10-100
#resources4
access probability10%
CSLshort
#requests3
interestingness score1.1443
old sequence number643
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. 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. 1007
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-medium
periodslog-uni-10-100
#resources2
access probability10%
CSLshort
#requests5
interestingness score1.1184
old sequence number599
raw data (CSV)

Configuration Nr. 1012
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-medium
periodslog-uni-10-100
#resources1
access probability10%
CSLshort
#requests7
interestingness score1.1166
old sequence number555
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. 1014
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-medium
periodslog-uni-10-100
#resources2
access probability10%
CSLshort
#requests7
interestingness score1.1166
old sequence number600
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. 1026
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-medium
periodslog-uni-10-100
#resources2
access probability25%
CSLshort
#requests1
interestingness score1.1092
old sequence number611
raw data (CSV)

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

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

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

Configuration Nr. 1054
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-medium
periodslog-uni-10-100
#resources4
access probability10%
CSLshort
#requests10
interestingness score1.0999
old sequence number642
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. 1066
Classic vs. LP-Based Analysis
Protocol Comparison (LP-Based Analysis)
m 4
utilizationexp-medium
periodslog-uni-10-100
#resources1
access probability10%
CSLmedium
#requests3
interestingness score1.0953
old sequence number548
raw data (CSV)

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

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

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

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

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

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

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

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