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.
Timing of individual sub-algorithms in percentage of total runtime
| Experiment | Algorithm | Old version (%) | New version (%) |
|---|---|---|---|
| (4) | Tightening intervals | 59.3 | 11.5 |
| (4) | Resultant | 0.1 | 0.0 |
| (4) | Factorization | 40.1 | 88.4 |
| (5) | Tightening intervals | 13.3 | 1.5 |
| (5) | Resultant | 76.1 | 35.9 |
| (5) | Factorization | 10.7 | 62.6 |
