polymake_oscarnumber: disable gc free callbacks during exit #242
| Job | Run time |
|---|---|
| 1m 44s | |
| 2m 10s | |
| 2h 7m 41s | |
| 2h 41m 51s | |
| 2h 21m 11s | |
| 2m 47s | |
| 3m 59s | |
| 4m 5s | |
| 15m 2s | |
| 1h 18m 50s | |
| 57m 54s | |
| 9h 57m 14s |
| Job | Run time |
|---|---|
| 1m 44s | |
| 2m 10s | |
| 2h 7m 41s | |
| 2h 41m 51s | |
| 2h 21m 11s | |
| 2m 47s | |
| 3m 59s | |
| 4m 5s | |
| 15m 2s | |
| 1h 18m 50s | |
| 57m 54s | |
| 9h 57m 14s |