1 (benchmark Isabelle
2 :extrafuns (
3 (uf_2 Int)
4 (uf_1 Int)
5 )
6 :assumption (not (iff (or (<= 0 (+ uf_1 (* (~ 1) uf_2))) (or (not (<= 0 uf_2)) (<= 0 uf_2))) (not false)))
7 :formula true
8 )