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