(benchmark Isabelle
:assumption (not (not (exists (?x1 Real) false)))
:formula true
)
