Fix variable return in no_sat function getter #3887
Job | Run time |
---|---|
0s | |
9s | |
12m 21s | |
5m 56s | |
7m 48s | |
10m 32s | |
5m 43s | |
12m 41s | |
7m 25s | |
25m 2s | |
6m 58s | |
6m 44s | |
6m 47s | |
1h 48m 6s |
Job | Run time |
---|---|
0s | |
9s | |
12m 21s | |
5m 56s | |
7m 48s | |
10m 32s | |
5m 43s | |
12m 41s | |
7m 25s | |
25m 2s | |
6m 58s | |
6m 44s | |
6m 47s | |
1h 48m 6s |