1 (benchmark Isabelle
2 :assumption (not (< 0 (ite (forall (?x1 Int) (or (< ?x1 0) (< 0 ?x1))) (~ 1) 3)))
3 :formula true
4 )