polymake_oscarnumber: disable gc free callbacks during exit #800
| Job | Run time |
|---|---|
| 24m 4s | |
| 26m 45s | |
| 30m 1s | |
| 26m 41s | |
| 18m 37s | |
| 25m 10s | |
| 15m 14s | |
| 22m 2s | |
| 21m 12s | |
| 3h 29m 46s |
| Job | Run time |
|---|---|
| 24m 4s | |
| 26m 45s | |
| 30m 1s | |
| 26m 41s | |
| 18m 37s | |
| 25m 10s | |
| 15m 14s | |
| 22m 2s | |
| 21m 12s | |
| 3h 29m 46s |