You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
$ time z3 smt.arith.solver=2 ../delta.out.smt2
sat
real 0m0.016s
user 0m0.016s
sys 0m0.000s
$ time z3 timeout=60000 ../delta.out.smt2
unknown
real 1m0.052s
user 1m0.004s
sys 0m0.020s
The text was updated successfully, but these errors were encountered:
Hi, for the following formula,
z3 6284f6f
The text was updated successfully, but these errors were encountered: