[Draft] use algebraic number for reals #502
Job | Run time |
---|---|
6m 25s | |
6m 30s | |
5m 51s | |
5m 21s | |
6m 38s | |
6m 3s | |
6m 34s | |
30m 39s | |
30m 36s | |
33m 30s | |
30m 31s | |
31m 7s | |
30m 49s | |
29m 59s | |
3m 44s | |
3m 30s | |
3m 38s | |
2m 59s | |
3m 26s | |
4m 14s | |
4h 42m 4s |
Job | Run time |
---|---|
6m 25s | |
6m 30s | |
5m 51s | |
5m 21s | |
6m 38s | |
6m 3s | |
6m 34s | |
30m 39s | |
30m 36s | |
33m 30s | |
30m 31s | |
31m 7s | |
30m 49s | |
29m 59s | |
3m 44s | |
3m 30s | |
3m 38s | |
2m 59s | |
3m 26s | |
4m 14s | |
4h 42m 4s |