Consistently use ZZ/QQ
instead of mix of ZZ/QQ
and FlintZZ/FlintQQ
#61
Job | Run time |
---|---|
46s | |
3m 44s | |
4m 56s | |
3m 32s | |
4m 52s | |
17m 50s |
ZZ/QQ
instead of mix of ZZ/QQ
and FlintZZ/FlintQQ
#61
Job | Run time |
---|---|
46s | |
3m 44s | |
4m 56s | |
3m 32s | |
4m 52s | |
17m 50s |