(benchmark Isabelle
:assumption (not (= 3.0 3.0))
:formula true
)
