Store the whole def in Defintion
and introduce QuintDeclaration
#2495
Job | Run time |
---|---|
47s | |
52s | |
5m 3s | |
9m 34s | |
8m 59s | |
5m 46s | |
8m 38s | |
1m 41s | |
1m 20s | |
2m 3s | |
2m 24s | |
43s | |
2m 57s | |
3m 35s | |
3m 29s | |
57m 51s |