aim-100-3_4-yes1-4.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
100	340	47.35	52.65	0.29	11.76	14.41

zChaff	minisat	SatELite
0.002	0.004999	0.006998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	46.69	53.31	0.30	12.05	14.76	0	8	2	8	2	1214	0.002999	UNKNOWN

zChaff	minisat	SatELite
0.002	0.001999	0.007998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	46.41	53.59	0.30	11.98	14.67	0	6	2	6	2	588	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.001	0.002999	0.006998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	46.69	53.31	0.30	12.05	14.76	0	8	2	8	2	1212	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.001	0.000999	0.006998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	46.41	53.59	0.30	11.98	14.67	0	6	2	6	2	586	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.001	0.001999	0.005999

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	47.20	52.80	0.29	11.80	14.45	0	1	0	1	0	42	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.001	0.002999	0.005999

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	47.20	52.80	0.29	11.80	14.45	0	1	0	1	0	16	0	UNKNOWN

zChaff	minisat	SatELite
0.001	0.002999	0.006998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	47.20	52.80	0.29	11.80	14.45	0	1	0	1	0	42	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.001	0.000999	0.005999

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	47.20	52.80	0.29	11.80	14.45	0	1	0	1	0	16	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.002	0.004999	0.007998