3 ms·I was about to comment the same. Z3 always takes all the credit but cvc5 is just as great!by gignico 10mo agoI was about to comment the same. Z3 always takes all the credit but cvc5 is just as great!