(benchmark Isabelle
:assumption (not (= (+ 3 1) 4))
:formula true
)
