3 (set-info :smt-lib-version 2.0)
4 (set-info :category "crafted")
5 (set-info :status unsat)
7 (declare-fun f (Bool) Bool)
8 (declare-fun g (Bool) Bool)
9 (declare-fun h (Bool) Bool)
11 (declare-fun x () Bool)
12 (declare-fun y () Bool)
13 (declare-fun z () Bool)
15 (assert (not (= (f x) (f y))))
16 (assert (not (= (g y) (g z))))
17 (assert (not (= (h z) (h x))))