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

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
50	170	49.41	50.59	1.18	14.12	15.29

zChaff	minisat	SatELite
0.001	0.001999	0.003999

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	50.31	49.69	1.24	14.91	15.53	0	9	5	9	5	659	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.001	0.000999	0.001999

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	48.50	51.50	1.20	14.37	14.97	0	3	2	3	2	332	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.001	0.001999	0.001999

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	50.31	49.69	1.24	14.91	15.53	0	9	5	9	5	655	0.001999	UNKNOWN

zChaff	minisat	SatELite
0	0.001999	0.002999

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	48.50	51.50	1.20	14.37	14.97	0	3	2	3	2	328	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.001	0.001999	0.002999

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	50.00	50.00	1.19	14.29	15.48	0	2	1	2	1	84	0	UNKNOWN

zChaff	minisat	SatELite
0	0.002999	0.003999

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	49.41	50.59	1.18	14.12	15.29	0	0	0	0	0	14	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.001	0.001999	0.003999

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	50.00	50.00	1.19	14.29	15.48	0	2	1	2	1	84	0.000999	UNKNOWN

zChaff	minisat	SatELite
0	0.000999	0.003999

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	49.41	50.59	1.18	14.12	15.29	0	0	0	0	0	14	0	UNKNOWN

zChaff	minisat	SatELite
0.001	0.001999	0.003999