Or different Z3 version and/or settings? Mine are Z3.80: H 4 W 2 V 1. Should these also be recorded in the .txt Test results file?

Thanks.