NP against the rest
Filter: All scenarios in which any LP-based analysis of uncontrolled priority inversion does no worse than any other protocol/analysis, according to the total number of task sets deemed schedulable.
In total, 13 configurations matched the filter.
| 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. 1424 |
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 | 10 |
| interestingness score | 0.0120 |
| old sequence number | 1427 |
| 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. 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. 1433 |
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 | 7 |
| interestingness score | 0.0037 |
| old sequence number | 935 |
| 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. 1437 |
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 | 7 |
| interestingness score | 0.0019 |
| old sequence number | 1295 |
| 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) | |
|
|
|
| Configuration Nr. 1439 |
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 | 10 |
| interestingness score | 0.0000 |
| old sequence number | 1292 |
| raw data (CSV) | |
|
|
|
| Configuration Nr. 1440 |
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 | 10 |
| interestingness score | 0.0000 |
| old sequence number | 932 |
| raw data (CSV) | |
|
|
|