typeCache

[1] "#tests;434"
[1] "reasoning time;0;15.8097432521396;571.714285714286"
[1] "translation time;0;6.72531270572745;272.428571428571"
[1] "evaluation time;0;5.35763660302831;248.285714285714"
[1] "constraints count;0;692.767281105991;28645"
[1] "reevaluation count;0;796.50362080316;33428.4285714286"

no typeCache

[1] "#tests;434"
[1] "reasoning time;0;14.6031928900592;462.142857142857"
[1] "translation time;0;5.99193548387097;221"
[1] "evaluation time;0;4.61191573403555;210.285714285714"
[1] "constraints count;0;476.993087557604;18300"
[1] "reevaluation count;0;554.825543120474;21621.5714285714"