z3 runtime: Calling constant directly VS passing as parameter

Question

I have come across some unusual runtime behaviour in z3, and I wanted to ask why it is happening:

Example 1:

(set-info :smt-lib-version 2.6)

(set-info