Participatory Budgeting Rule Evaluation on Pabulib large (test)
1Omega Prime (sat^cost)MaxUtil
Evaluation results
| Method | Links | ||
|---|---|---|---|
| MaxUtilSatisfaction function=sat = sat^cost2026.02 | 1 | 0.536 | |
| MaxUtilSatisfaction function=sat = sat^cost2026.02 | 1 | 0.536 | |
| GreedUtilSatisfaction function=sat = sat^cost2026.02 | 0.971 | 0.686 | |
| GreedUtilSatisfaction function=sat = sat^cost2026.02 | 0.971 | 0.686 | |
| LLMRuleSatisfaction function=sat = sat^cost2026.02 | 0.848 | 0.848 | |
| LLMRuleSatisfaction function=sat = sat^cost2026.02 | 0.848 | 0.848 | |
| MES[sat^cost]-Add1USatisfaction function=sat = sat^cost2026.02 | 0.797 | 0.927 | |
| MES[sat^cost]-Add1UMSatisfaction function=sat = sat^cost2026.02 | 0.797 | 0.927 | |
| MES[sat^cost]-Add1USatisfaction function=sat = sat^cost2026.02 | 0.797 | 0.927 | |
| MES[sat^cost]-Add1UMSatisfaction function=sat = sat^cost2026.02 | 0.797 | 0.927 | |
| MES[sat^cost]-Add1Satisfaction function=sat = sat^cost2026.02 | 0.775 | 0.917 | |
| MES[sat^cost]-Add1Satisfaction function=sat = sat^cost2026.02 | 0.775 | 0.917 | |
| MES[sat^cost]-LLMRuleSatisfaction function=sat = sat^cost2026.02 | 0.747 | 0.947 | |
| MES[sat^cost]-LLMRuleSatisfaction function=sat = sat^cost2026.02 | 0.747 | 0.947 | |
| MES[sat^card]-LLMRuleSatisfaction function=sat = sat^cost2026.02 | 0.744 | 0.949 | |
| MES[sat^card]-LLMRuleSatisfaction function=sat = sat^cost2026.02 | 0.744 | 0.949 | |
| MES[sat^card]-Add1USatisfaction function=sat = sat^cost2026.02 | 0.722 | 0.959 | |
| MES[sat^card]-Add1UMSatisfaction function=sat = sat^cost2026.02 | 0.722 | 0.958 | |
| MES[sat^card]-Add1USatisfaction function=sat = sat^cost2026.02 | 0.722 | 0.959 | |
| MES[sat^card]-Add1UMSatisfaction function=sat = sat^cost2026.02 | 0.722 | 0.958 | |
| MES[sat^card]-Add1Satisfaction function=sat = sat^cost2026.02 | 0.697 | 0.955 | |
| MES[sat^card]-Add1Satisfaction function=sat = sat^cost2026.02 | 0.697 | 0.955 | |
| SeqPhragSatisfaction function=sat = sat^cost2026.02 | 0.695 | 0.956 | |
| SeqPhragSatisfaction function=sat = sat^cost2026.02 | 0.695 | 0.956 | |
| MaximinSuppSatisfaction function=sat = sat^cost2026.02 | 0.691 | 0.96 | |
| MaximinSuppSatisfaction function=sat = sat^cost2026.02 | 0.691 | 0.96 | |
| MES[sat^cost]Satisfaction function=sat = sat^cost2026.02 | 0.47 | 0.806 | |
| MES[sat^cost]Satisfaction function=sat = sat^cost2026.02 | 0.47 | 0.806 | |
| MES[sat^card]Satisfaction function=sat = sat^cost2026.02 | 0.391 | 0.824 | |
| MES[sat^card]Satisfaction function=sat = sat^cost2026.02 | 0.391 | 0.824 |