stabilize -Znext-solver=coherence
#122761
Job | Run time |
---|---|
10s | |
6m 39s | |
4m 51s | |
6m 37s | |
6m 23s | |
0s | |
0s | |
0s | |
0s | |
24m 40s |
-Znext-solver=coherence
#122761
Job | Run time |
---|---|
10s | |
6m 39s | |
4m 51s | |
6m 37s | |
6m 23s | |
0s | |
0s | |
0s | |
0s | |
24m 40s |