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 |
utilization | exp-light |
periods | log-uni-10-100 |
#resources | 1 |
access probability | 10% |
CSL | short |
#requests | 1 |
interestingness score | 2.3784 |
old sequence number | 191 |
raw data (CSV) | |
|
|
|
Configuration Nr. 376 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
m | 4 |
utilization | exp-light |
periods | log-uni-10-100 |
#resources | 1 |
access probability | 10% |
CSL | short |
#requests | 3 |
interestingness score | 2.3515 |
old sequence number | 193 |
raw data (CSV) | |
|
|
|
Configuration Nr. 387 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
m | 4 |
utilization | exp-light |
periods | log-uni-10-100 |
#resources | 1 |
access probability | 10% |
CSL | short |
#requests | 7 |
interestingness score | 2.3090 |
old sequence number | 195 |
raw data (CSV) | |
|
|
|
Configuration Nr. 389 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
m | 4 |
utilization | exp-light |
periods | log-uni-10-100 |
#resources | 4 |
access probability | 10% |
CSL | short |
#requests | 1 |
interestingness score | 2.3053 |
old sequence number | 281 |
raw data (CSV) | |
|
|
|
Configuration Nr. 390 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
m | 4 |
utilization | exp-light |
periods | log-uni-10-100 |
#resources | 2 |
access probability | 10% |
CSL | short |
#requests | 3 |
interestingness score | 2.3053 |
old sequence number | 238 |
raw data (CSV) | |
|
|
|
Configuration Nr. 392 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
m | 4 |
utilization | exp-light |
periods | log-uni-10-100 |
#resources | 2 |
access probability | 10% |
CSL | short |
#requests | 1 |
interestingness score | 2.3034 |
old sequence number | 236 |
raw data (CSV) | |
|
|
|
Configuration Nr. 394 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
m | 4 |
utilization | exp-light |
periods | log-uni-10-100 |
#resources | 1 |
access probability | 10% |
CSL | short |
#requests | 10 |
interestingness score | 2.2914 |
old sequence number | 192 |
raw data (CSV) | |
|
|
|
Configuration Nr. 396 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
m | 4 |
utilization | exp-light |
periods | log-uni-10-100 |
#resources | 1 |
access probability | 25% |
CSL | short |
#requests | 1 |
interestingness score | 2.2895 |
old sequence number | 206 |
raw data (CSV) | |
|
|
|
Configuration Nr. 399 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
m | 4 |
utilization | exp-light |
periods | log-uni-10-100 |
#resources | 1 |
access probability | 10% |
CSL | short |
#requests | 5 |
interestingness score | 2.2729 |
old sequence number | 194 |
raw data (CSV) | |
|
|
|
Configuration Nr. 412 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
m | 4 |
utilization | exp-light |
periods | log-uni-10-100 |
#resources | 2 |
access probability | 10% |
CSL | short |
#requests | 7 |
interestingness score | 2.2313 |
old sequence number | 240 |
raw data (CSV) | |
|
|
|
Configuration Nr. 414 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
m | 4 |
utilization | exp-light |
periods | log-uni-10-100 |
#resources | 2 |
access probability | 10% |
CSL | short |
#requests | 5 |
interestingness score | 2.2266 |
old sequence number | 239 |
raw data (CSV) | |
|
|
|
Configuration Nr. 421 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
m | 4 |
utilization | exp-light |
periods | log-uni-10-100 |
#resources | 4 |
access probability | 10% |
CSL | short |
#requests | 3 |
interestingness score | 2.2054 |
old sequence number | 283 |
raw data (CSV) | |
|
|
|
Configuration Nr. 435 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
m | 4 |
utilization | exp-light |
periods | log-uni-10-100 |
#resources | 8 |
access probability | 10% |
CSL | short |
#requests | 1 |
interestingness score | 2.1684 |
old sequence number | 326 |
raw data (CSV) | |
|
|
|
Configuration Nr. 436 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
m | 4 |
utilization | exp-light |
periods | log-uni-10-100 |
#resources | 8 |
access probability | 10% |
CSL | short |
#requests | 3 |
interestingness score | 2.1674 |
old sequence number | 328 |
raw data (CSV) | |
|
|
|
Configuration Nr. 441 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
m | 4 |
utilization | exp-light |
periods | log-uni-10-100 |
#resources | 4 |
access probability | 10% |
CSL | short |
#requests | 5 |
interestingness score | 2.1517 |
old sequence number | 284 |
raw data (CSV) | |
|
|
|
Configuration Nr. 449 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
m | 4 |
utilization | exp-light |
periods | log-uni-10-100 |
#resources | 1 |
access probability | 25% |
CSL | short |
#requests | 3 |
interestingness score | 2.1378 |
old sequence number | 208 |
raw data (CSV) | |
|
|
|
Configuration Nr. 458 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
m | 4 |
utilization | exp-light |
periods | log-uni-10-100 |
#resources | 2 |
access probability | 10% |
CSL | short |
#requests | 10 |
interestingness score | 2.1184 |
old sequence number | 237 |
raw data (CSV) | |
|
|
|
Configuration Nr. 464 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
m | 4 |
utilization | exp-light |
periods | log-uni-10-100 |
#resources | 2 |
access probability | 25% |
CSL | short |
#requests | 1 |
interestingness score | 2.0953 |
old sequence number | 251 |
raw data (CSV) | |
|
|
|
Configuration Nr. 531 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
m | 8 |
utilization | exp-light |
periods | log-uni-10-100 |
#resources | 4 |
access probability | 10% |
CSL | short |
#requests | 1 |
interestingness score | 1.9528 |
old sequence number | 1001 |
raw data (CSV) | |
|
|
|
Configuration Nr. 551 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
m | 8 |
utilization | exp-light |
periods | log-uni-10-100 |
#resources | 2 |
access probability | 10% |
CSL | short |
#requests | 3 |
interestingness score | 1.8899 |
old sequence number | 958 |
raw data (CSV) | |
|
|
|
Configuration Nr. 954 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
m | 4 |
utilization | exp-medium |
periods | log-uni-10-100 |
#resources | 1 |
access probability | 10% |
CSL | medium |
#requests | 1 |
interestingness score | 1.1425 |
old sequence number | 546 |
raw data (CSV) | |
|
|
|
Configuration Nr. 1013 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
m | 4 |
utilization | exp-medium |
periods | log-uni-10-100 |
#resources | 1 |
access probability | 10% |
CSL | short |
#requests | 3 |
interestingness score | 1.1166 |
old sequence number | 553 |
raw data (CSV) | |
|
|
|
Configuration Nr. 1017 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
m | 4 |
utilization | exp-medium |
periods | log-uni-10-100 |
#resources | 4 |
access probability | 10% |
CSL | short |
#requests | 1 |
interestingness score | 1.1156 |
old sequence number | 641 |
raw data (CSV) | |
|
|
|
Configuration Nr. 1022 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
m | 4 |
utilization | exp-medium |
periods | log-uni-10-100 |
#resources | 1 |
access probability | 10% |
CSL | short |
#requests | 10 |
interestingness score | 1.1110 |
old sequence number | 552 |
raw data (CSV) | |
|
|
|
Configuration Nr. 1055 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
m | 4 |
utilization | exp-medium |
periods | log-uni-10-100 |
#resources | 2 |
access probability | 10% |
CSL | short |
#requests | 1 |
interestingness score | 1.0999 |
old sequence number | 596 |
raw data (CSV) | |
|
|
|
Configuration Nr. 1057 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
m | 4 |
utilization | exp-medium |
periods | log-uni-10-100 |
#resources | 1 |
access probability | 10% |
CSL | short |
#requests | 1 |
interestingness score | 1.0999 |
old sequence number | 551 |
raw data (CSV) | |
|
|
|