Fix treatment of objective value for infeasibility certificates (rays) #138
| Job | Run time |
|---|---|
| 15m 24s | |
| 14m 41s | |
| 25m 2s | |
| 20m 56s | |
| 20m 36s | |
| 21m 35s | |
| 20m 42s | |
| 18m 27s | |
| 22m 11s | |
| 2h 59m 34s |
| Job | Run time |
|---|---|
| 15m 24s | |
| 14m 41s | |
| 25m 2s | |
| 20m 56s | |
| 20m 36s | |
| 21m 35s | |
| 20m 42s | |
| 18m 27s | |
| 22m 11s | |
| 2h 59m 34s |