1
(benchmark Isabelle
2
:extrafuns (
3
(uf_2 Real)
4
(uf_1 Real)
5
)
6
:assumption (< (+ (* 3.0 uf_1) (* 7.0 uf_2)) 4.0)
7
:assumption (< 3.0 (* 2.0 uf_1))
8
:assumption (not (< uf_2 0.0))
9
:formula true
10