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