reorder Quickcheck and Nitpick, so that Quickcheck gets loaded first and Auto-Quickcheck runs first (since it takes less time)
(benchmark Isabelle
:extrafuns (
(uf_1 Int)
(uf_2 Int)
)
:assumption (< 0 uf_1)
:assumption (< 0 (* uf_1 uf_2))
:assumption (not (< 0 uf_2))
:formula true
)