Official websites use .gov
A
.gov website belongs to an official
government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you've safely
connected to the .gov website. Share sensitive
information only on official, secure websites.
Time comparison on challenging instances
| Algorithm | (13,4) | (15,5) | (17,6) | (19,7) | (21,8) | (23,9) |
|---|---|---|---|---|---|---|
| PMS5 | 117s | 4.8 m | 21.7 m | 1.7h | 9.7h | 54h |
| Pampa | 35s | 6 m | 40 m | 4.8h | - | - |
| PMSPrune | 45s | 10.2 m | 78.7 m | 15.2h | - | - |
| Voting | 104s | 21.6 m | - | - | - | - |
| RISOTTO | 772s | 106.4 m | - | - | - | - |
