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 of PMSPrune and HEP_PMSprune(ons) with the Challenging Instances
| l | D | TPMSprune | ons | THEP_PMSprune(ons) | Improvement |
|---|---|---|---|---|---|
| 11 | 3 | 1.92 s | 10 | 1.34 s | 30 % |
| 13 | 4 | 33.95 s | 9 | 24.55 s | 27.69 % |
| 15 | 5 | 7.7 m | 7 | 6.02 m | 21.8 % |
| 17 | 6 | 1.55 h | 8 | 1.26 h | 18.65 % |
| 19 | 7 | 18.62 h | 7 | 14.39 h | 22.74 % |
| 21 | 8 | 8.59 dy | 6 | 6.68 dy | 22.23 % |
