bf1355-075.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
2180	6778	72.19	66.23	55.25	14.24	27.90

zChaff	minisat	SatELite
0.003999	0.004999	0.156976

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	76.62	75.07	69.24	16.21	21.80	1	1603	24	1603	24	1956864	0.639902	UNKNOWN

zChaff	minisat	SatELite
0.004999	0.005999	0.134979

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	80.32	65.04	61.44	13.77	31.06	0	686	10	686	10	618032	0.223965	UNKNOWN

zChaff	minisat	SatELite
0.003999	0.006998	0.149977

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	77.31	74.46	70.17	15.76	22.50	1	1441	21	1441	21	1233619	0.412937	UNKNOWN

zChaff	minisat	SatELite
0.003999	0.006998	0.13098

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	80.29	65.05	61.45	13.80	31.05	0	684	10	684	10	494481	0.177972	UNKNOWN

zChaff	minisat	SatELite
0.003999	0.005999	0.162975

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	76.63	75.05	69.19	16.20	21.81	1	1592	23	1592	23	1928342	0.618905	UNKNOWN

zChaff	minisat	SatELite
0.003999	0.004999	0.12698

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	80.29	65.05	61.42	13.77	31.05	0	684	10	684	10	616079	0.217966	UNKNOWN

zChaff	minisat	SatELite
0.003999	0.007998	0.147977

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	77.30	74.42	70.09	15.74	22.53	1	1435	21	1435	21	1228547	0.419936	UNKNOWN

zChaff	minisat	SatELite
0.003999	0.007998	0.12898

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	80.27	65.06	61.43	13.80	31.04	0	682	10	682	10	492528	0.187971	UNKNOWN

zChaff	minisat	SatELite
0.003999	0.005999	0.150977