S-oblivious vs. No-progress
Filter: All scenarios in which any LP-based analysis of uncontrolled priority inversion does both no worse than any s-oblivious analysis for any number of tasks, and strictly better for some number of tasks.
In total, 42 configurations matched the filter.
| Configuration Nr. 328 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 4 |
| utilization | exp-light |
| periods | log-uni-10-100 |
| #resources | 8 |
| access probability | 50% |
| CSL | long |
| #requests | 1 |
| interestingness score | 2.6361 |
| old sequence number | 346 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 398 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 4 |
| utilization | exp-light |
| periods | log-uni-10-100 |
| #resources | 4 |
| access probability | 50% |
| CSL | long |
| #requests | 3 |
| interestingness score | 2.2794 |
| old sequence number | 303 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 401 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 8 |
| utilization | exp-light |
| periods | log-uni-10-100 |
| #resources | 4 |
| access probability | 50% |
| CSL | long |
| #requests | 1 |
| interestingness score | 2.2710 |
| old sequence number | 1021 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 598 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 8 |
| utilization | exp-light |
| periods | log-uni-10-100 |
| #resources | 8 |
| access probability | 50% |
| CSL | long |
| #requests | 1 |
| interestingness score | 1.7583 |
| old sequence number | 1066 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 641 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 8 |
| utilization | exp-light |
| periods | log-uni-10-100 |
| #resources | 16 |
| access probability | 50% |
| CSL | medium |
| #requests | 3 |
| interestingness score | 1.5754 |
| old sequence number | 938 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 717 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 8 |
| utilization | exp-light |
| periods | log-uni-10-100 |
| #resources | 8 |
| access probability | 50% |
| CSL | medium |
| #requests | 7 |
| interestingness score | 1.3669 |
| old sequence number | 1075 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 789 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 8 |
| utilization | exp-light |
| periods | log-uni-10-100 |
| #resources | 16 |
| access probability | 50% |
| CSL | long |
| #requests | 1 |
| interestingness score | 1.2833 |
| old sequence number | 931 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 797 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 4 |
| utilization | exp-light |
| periods | log-uni-10-100 |
| #resources | 4 |
| access probability | 50% |
| CSL | long |
| #requests | 5 |
| interestingness score | 1.2710 |
| old sequence number | 304 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 869 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 8 |
| utilization | exp-medium |
| periods | log-uni-10-100 |
| #resources | 8 |
| access probability | 50% |
| CSL | long |
| #requests | 1 |
| interestingness score | 1.1915 |
| old sequence number | 1426 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 1143 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 8 |
| utilization | exp-light |
| periods | log-uni-10-100 |
| #resources | 16 |
| access probability | 50% |
| CSL | medium |
| #requests | 5 |
| interestingness score | 1.0563 |
| old sequence number | 939 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 1187 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 4 |
| utilization | exp-light |
| periods | log-uni-10-100 |
| #resources | 8 |
| access probability | 50% |
| CSL | long |
| #requests | 3 |
| interestingness score | 0.9991 |
| old sequence number | 348 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 1209 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 4 |
| utilization | exp-light |
| periods | log-uni-10-100 |
| #resources | 4 |
| access probability | 50% |
| CSL | long |
| #requests | 7 |
| interestingness score | 0.9112 |
| old sequence number | 305 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 1215 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 8 |
| utilization | exp-medium |
| periods | log-uni-10-100 |
| #resources | 16 |
| access probability | 50% |
| CSL | long |
| #requests | 1 |
| interestingness score | 0.8927 |
| old sequence number | 1291 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 1219 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 8 |
| utilization | exp-light |
| periods | log-uni-10-100 |
| #resources | 8 |
| access probability | 50% |
| CSL | medium |
| #requests | 10 |
| interestingness score | 0.8621 |
| old sequence number | 1072 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 1257 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 8 |
| utilization | exp-light |
| periods | log-uni-10-100 |
| #resources | 16 |
| access probability | 50% |
| CSL | medium |
| #requests | 7 |
| interestingness score | 0.6445 |
| old sequence number | 940 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 1270 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 8 |
| utilization | exp-light |
| periods | log-uni-10-100 |
| #resources | 8 |
| access probability | 50% |
| CSL | long |
| #requests | 3 |
| interestingness score | 0.5657 |
| old sequence number | 1068 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 1276 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 4 |
| utilization | exp-light |
| periods | log-uni-10-100 |
| #resources | 8 |
| access probability | 50% |
| CSL | long |
| #requests | 5 |
| interestingness score | 0.5375 |
| old sequence number | 349 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 1277 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 8 |
| utilization | exp-light |
| periods | log-uni-10-100 |
| #resources | 4 |
| access probability | 50% |
| CSL | long |
| #requests | 5 |
| interestingness score | 0.5361 |
| old sequence number | 1024 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 1323 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 8 |
| utilization | exp-light |
| periods | log-uni-10-100 |
| #resources | 16 |
| access probability | 50% |
| CSL | medium |
| #requests | 10 |
| interestingness score | 0.3020 |
| old sequence number | 937 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 1335 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 4 |
| utilization | exp-light |
| periods | log-uni-10-100 |
| #resources | 8 |
| access probability | 50% |
| CSL | long |
| #requests | 10 |
| interestingness score | 0.2525 |
| old sequence number | 347 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 1338 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 4 |
| utilization | exp-medium |
| periods | log-uni-10-100 |
| #resources | 8 |
| access probability | 50% |
| CSL | long |
| #requests | 10 |
| interestingness score | 0.2340 |
| old sequence number | 707 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 1359 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 8 |
| utilization | exp-light |
| periods | log-uni-10-100 |
| #resources | 8 |
| access probability | 50% |
| CSL | long |
| #requests | 5 |
| interestingness score | 0.1685 |
| old sequence number | 1069 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 1365 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 8 |
| utilization | exp-light |
| periods | log-uni-10-100 |
| #resources | 16 |
| access probability | 50% |
| CSL | long |
| #requests | 3 |
| interestingness score | 0.1508 |
| old sequence number | 933 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 1386 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 8 |
| utilization | exp-medium |
| periods | log-uni-10-100 |
| #resources | 16 |
| access probability | 50% |
| CSL | long |
| #requests | 3 |
| interestingness score | 0.0916 |
| old sequence number | 1293 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 1390 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 8 |
| utilization | exp-light |
| periods | log-uni-1-1000 |
| #resources | 16 |
| access probability | 50% |
| CSL | long |
| #requests | 1 |
| interestingness score | 0.0786 |
| old sequence number | 751 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 1391 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 8 |
| utilization | exp-light |
| periods | log-uni-10-100 |
| #resources | 8 |
| access probability | 50% |
| CSL | long |
| #requests | 7 |
| interestingness score | 0.0712 |
| old sequence number | 1070 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 1398 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 8 |
| utilization | exp-light |
| periods | log-uni-1-1000 |
| #resources | 8 |
| access probability | 50% |
| CSL | long |
| #requests | 3 |
| interestingness score | 0.0537 |
| old sequence number | 888 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 1399 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 8 |
| utilization | exp-light |
| periods | log-uni-1-1000 |
| #resources | 16 |
| access probability | 50% |
| CSL | medium |
| #requests | 10 |
| interestingness score | 0.0509 |
| old sequence number | 757 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 1410 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 8 |
| utilization | exp-medium |
| periods | log-uni-10-100 |
| #resources | 8 |
| access probability | 50% |
| CSL | long |
| #requests | 7 |
| interestingness score | 0.0352 |
| old sequence number | 1430 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 1412 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 8 |
| utilization | exp-medium |
| periods | log-uni-1-1000 |
| #resources | 8 |
| access probability | 50% |
| CSL | long |
| #requests | 5 |
| interestingness score | 0.0287 |
| old sequence number | 1249 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 1422 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 8 |
| utilization | exp-light |
| periods | log-uni-1-1000 |
| #resources | 16 |
| access probability | 50% |
| CSL | long |
| #requests | 3 |
| interestingness score | 0.0157 |
| old sequence number | 753 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 1423 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 8 |
| utilization | exp-light |
| periods | log-uni-10-100 |
| #resources | 16 |
| access probability | 50% |
| CSL | long |
| #requests | 5 |
| interestingness score | 0.0148 |
| old sequence number | 934 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 1425 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 8 |
| utilization | exp-medium |
| periods | log-uni-1-1000 |
| #resources | 8 |
| access probability | 50% |
| CSL | long |
| #requests | 7 |
| interestingness score | 0.0120 |
| old sequence number | 1250 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 1426 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 8 |
| utilization | exp-light |
| periods | log-uni-1-1000 |
| #resources | 8 |
| access probability | 50% |
| CSL | long |
| #requests | 10 |
| interestingness score | 0.0093 |
| old sequence number | 887 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 1428 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 8 |
| utilization | exp-medium |
| periods | log-uni-10-100 |
| #resources | 16 |
| access probability | 50% |
| CSL | long |
| #requests | 5 |
| interestingness score | 0.0093 |
| old sequence number | 1294 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 1429 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 8 |
| utilization | exp-medium |
| periods | log-uni-1-1000 |
| #resources | 8 |
| access probability | 50% |
| CSL | long |
| #requests | 10 |
| interestingness score | 0.0074 |
| old sequence number | 1247 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 1431 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 8 |
| utilization | exp-light |
| periods | log-uni-1-1000 |
| #resources | 16 |
| access probability | 50% |
| CSL | long |
| #requests | 5 |
| interestingness score | 0.0065 |
| old sequence number | 754 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 1432 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 8 |
| utilization | exp-medium |
| periods | log-uni-1-1000 |
| #resources | 16 |
| access probability | 50% |
| CSL | long |
| #requests | 5 |
| interestingness score | 0.0046 |
| old sequence number | 1114 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 1434 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 8 |
| utilization | exp-medium |
| periods | log-uni-1-1000 |
| #resources | 16 |
| access probability | 50% |
| CSL | long |
| #requests | 7 |
| interestingness score | 0.0028 |
| old sequence number | 1115 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 1435 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 8 |
| utilization | exp-light |
| periods | log-uni-1-1000 |
| #resources | 16 |
| access probability | 50% |
| CSL | long |
| #requests | 7 |
| interestingness score | 0.0028 |
| old sequence number | 755 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 1436 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 8 |
| utilization | exp-medium |
| periods | log-uni-1-1000 |
| #resources | 16 |
| access probability | 50% |
| CSL | long |
| #requests | 10 |
| interestingness score | 0.0019 |
| old sequence number | 1112 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 1438 |
Classic vs. LP-Based Analysis |
Protocol Comparison (LP-Based Analysis) |
| m | 8 |
| utilization | exp-light |
| periods | log-uni-1-1000 |
| #resources | 16 |
| access probability | 50% |
| CSL | long |
| #requests | 10 |
| interestingness score | 0.0019 |
| old sequence number | 752 |
| raw data (CSV) | |
|
|
|