add __repr__ to Domain: fix #4399 #1552
Job | Run time |
---|---|
52m 33s | |
51m 58s | |
52m 11s | |
51m 31s | |
52m 13s | |
53m 25s | |
53m 38s | |
52m 26s | |
52m 59s | |
52m 36s | |
52m 10s | |
9h 37m 40s |
Job | Run time |
---|---|
52m 33s | |
51m 58s | |
52m 11s | |
51m 31s | |
52m 13s | |
53m 25s | |
53m 38s | |
52m 26s | |
52m 59s | |
52m 36s | |
52m 10s | |
9h 37m 40s |