(benchmark qnt16
:status sat
:category { industrial }
:difficulty { 0 }
:logic AUFLIA
:extrapreds ((s Int))
:extrapreds ((r Int))
:formula
(not
 (implies 
  (forall (?p Int) (implies (s ?p) (not (r ?p))))
  (forall (?q Int)  (not (r ?q))))))
