Tolerance fix for interval solvers #210
Job | Run time |
---|---|
57m 12s | |
32s | |
23m 15s | |
33m 21s | |
19m 37s | |
19m 7s | |
22m 4s | |
1h 3m 18s | |
7m 11s | |
30m 51s | |
31m 2s | |
23m 38s | |
31m 43s | |
29m 53s | |
6h 32m 44s |
Job | Run time |
---|---|
57m 12s | |
32s | |
23m 15s | |
33m 21s | |
19m 37s | |
19m 7s | |
22m 4s | |
1h 3m 18s | |
7m 11s | |
30m 51s | |
31m 2s | |
23m 38s | |
31m 43s | |
29m 53s | |
6h 32m 44s |