Tolerance fix for interval solvers #203
Job | Run time |
---|---|
41m 47s | |
33s | |
22m 57s | |
26m 49s | |
26m 15s | |
26m 41s | |
21m 56s | |
46m 55s | |
5m 30s | |
36m 9s | |
29m 57s | |
22m 29s | |
25m 50s | |
27m 13s | |
6h 1m 1s |
Job | Run time |
---|---|
41m 47s | |
33s | |
22m 57s | |
26m 49s | |
26m 15s | |
26m 41s | |
21m 56s | |
46m 55s | |
5m 30s | |
36m 9s | |
29m 57s | |
22m 29s | |
25m 50s | |
27m 13s | |
6h 1m 1s |