Better and more consistent display of invariants and generators for ECQ and ECNF #3461
Job | Run time |
---|---|
3s | |
2m 8s | |
3m 37s | |
4m 55s | |
1m 55s | |
1m 45s | |
3m 45s | |
1m 36s | |
1m 51s | |
7m 41s | |
3m 46s | |
7m 34s | |
3m 13s | |
43m 49s |
Job | Run time |
---|---|
3s | |
2m 8s | |
3m 37s | |
4m 55s | |
1m 55s | |
1m 45s | |
3m 45s | |
1m 36s | |
1m 51s | |
7m 41s | |
3m 46s | |
7m 34s | |
3m 13s | |
43m 49s |