reversed the constraint on RR Horn clauses, to force the negative lits to be reduced before (hyperresolution); also, less steps for hill climbing
reversed the constraint on RR Horn clauses, to force the negative lits
to be reduced before (hyperresolution); also, less steps for hill
climbing

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition