cnf-r2-b3-k1.1.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
275013	9777	75.45	44.58	71.68	1.73	34.58

zChaff	minisat	SatELite
0.207968	0.092985	1.45878

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	96.82	61.51	96.73	2.29	37.60	273518	5620	57	5379	55	1549270	0.684895	UNKNOWN

zChaff	minisat	SatELite
0.006999	0.007998	0.444932

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	98.22	48.67	93.15	1.31	46.54	273518	2512	26	2271	23	417194	0.354946	UNKNOWN

zChaff	minisat	SatELite
0.004999	0.005999	0.432934

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	98.09	51.22	98.03	1.38	48.24	273518	2874	29	2633	27	470215	0.348946	UNKNOWN

zChaff	minisat	SatELite
0.004999	0.007998	0.39094

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	98.22	48.67	93.15	1.31	46.54	273518	2512	26	2271	23	417194	0.365944	UNKNOWN

zChaff	minisat	SatELite
0.004999	0.007998	0.439933

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	96.82	61.51	96.73	2.29	37.60	273518	5620	57	5379	55	1549270	0.633903	UNKNOWN

zChaff	minisat	SatELite
0.006999	0.009998	0.470928

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	98.22	48.67	93.15	1.31	46.54	273518	2512	26	2271	23	417194	0.359945	UNKNOWN

zChaff	minisat	SatELite
0.005	0.005999	0.435933

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	98.09	51.22	98.03	1.38	48.24	273518	2874	29	2633	27	470215	0.381941	UNKNOWN

zChaff	minisat	SatELite
0.004999	0.009998	0.397939

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	98.22	48.67	93.15	1.31	46.54	273518	2512	26	2271	23	417194	0.368943	UNKNOWN

zChaff	minisat	SatELite
0.004	0.007998	0.431934