Store the whole def in Defintion
and introduce QuintDeclaration
#2499
Job | Run time |
---|---|
57s | |
4m 10s | |
5m 35s | |
57s | |
4m 27s | |
10m 50s | |
4m 30s | |
1m 43s | |
1m 14s | |
1m 48s | |
2m 21s | |
36s | |
2m 59s | |
4m 31s | |
3m 10s | |
49m 48s |