define propertynames() to be consistent with getproperty() #1082
| Job | Run time |
|---|---|
| 30m 14s | |
| 26m 56s | |
| 1m 16s | |
| 38m 54s | |
| 49m 42s | |
| 39m 46s | |
| 49m 37s | |
| 4m 10s | |
| 4m 56s | |
| 4m 36s | |
| 24m 12s | |
| 38m 58s | |
| 4m 57s | |
| 35m 23s | |
| 38m 52s | |
| 5m 29s | |
| 15m 3s | |
| 16m 6s | |
| 16m 34s | |
| 23m 0s | |
| 15m 27s | |
| 14m 54s | |
| 8h 19m 2s |