1
(benchmark Isabelle
2
:extrafuns (
3
(uf_1 Int)
4
(uf_2 Int)
5
)
6
:assumption (< 0 uf_1)
7
:assumption (< 0 (* uf_1 uf_2))
8
:assumption (not (< 0 uf_2))
9
:formula true
10