230703.014306.CST lincoa: implement [Aineq, bineq] to represent the l… #190
Job | Run time |
---|---|
2h 58m 34s | |
3h 50m 16s | |
3h 30m 3s | |
4h 8m 55s | |
2h 53m 44s | |
3h 22m 50s | |
3h 45m 39s | |
3h 14m 1s | |
4h 44m 31s | |
2h 39m 35s | |
20s | |
1d 11h 8m 28s |
Job | Run time |
---|---|
2h 58m 34s | |
3h 50m 16s | |
3h 30m 3s | |
4h 8m 55s | |
2h 53m 44s | |
3h 22m 50s | |
3h 45m 39s | |
3h 14m 1s | |
4h 44m 31s | |
2h 39m 35s | |
20s | |
1d 11h 8m 28s |