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.
cOSPREY Performance on Virtualized Cloud Infrastructures
| Running time | |||
|---|---|---|---|
| PDB | Space size | Amazon EC2 | Openstack |
| 1T8K | 2.83 × 1043 | 291m 45s | 124m 42s |
| 2RH2 | 1.18 × 1022 | 11m 40s | 20m 35s |
| 1M1Q | 2.33 × 1019 | 22m 12s | 20m 08s |
| 3I2Z | 4.62 × 1020 | 8m 40s | 16m 17s |
| 1R6J | 3.42 × 1025 | 11m 26s | 10m 52s |
| 3G36 | 4.28 × 1020 | 21m 37s | 20m 45s |
