Store the whole def in Defintion
and introduce QuintDeclaration
#2496
Job | Run time |
---|---|
39s | |
1m 0s | |
39s | |
4m 3s | |
7m 12s | |
4m 27s | |
7m 33s | |
6m 34s | |
1m 27s | |
1m 35s | |
2m 26s | |
2m 40s | |
2m 2s | |
4m 31s | |
2m 35s | |
49m 23s |