1
(benchmark Isabelle
2
:assumption (not (forall (?x1 Int) (exists (?x2 Int) (< ?x1 ?x2))))
3
:formula true
4
)