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