Tolerance fix for interval solvers #194
Job | Run time |
---|---|
54m 29s | |
1m 52s | |
32m 45s | |
35m 47s | |
23m 54s | |
27m 51s | |
27m 37s | |
59m 47s | |
6m 56s | |
29m 50s | |
39m 21s | |
26m 22s | |
31m 39s | |
28m 52s | |
7h 7m 2s |
Job | Run time |
---|---|
54m 29s | |
1m 52s | |
32m 45s | |
35m 47s | |
23m 54s | |
27m 51s | |
27m 37s | |
59m 47s | |
6m 56s | |
29m 50s | |
39m 21s | |
26m 22s | |
31m 39s | |
28m 52s | |
7h 7m 2s |