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