bf2670-001.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
1393	3434	71.93	77.81	73.30	23.91	19.74

zChaff	minisat	SatELite
0.003	0.004999	0.072988

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	75.03	79.68	78.97	21.40	17.96	2	467	14	467	14	158642	0.047992	UNKNOWN

zChaff	minisat	SatELite
0.003	0.005999	0.068989

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	70.81	81.59	75.48	25.19	16.34	2	159	5	159	5	44969	0.017997	UNKNOWN

zChaff	minisat	SatELite
0.003	0.001999	0.077988

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	75.14	79.50	80.13	21.52	18.27	2	293	9	293	9	60951	0.020996	UNKNOWN

zChaff	minisat	SatELite
0.002	0.003999	0.070989

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	71.20	80.48	75.81	24.85	17.47	2	114	3	114	3	26953	0.010998	UNKNOWN

zChaff	minisat	SatELite
0.003	0.003999	0.075988

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	74.54	79.75	78.42	21.88	17.91	0	441	13	441	13	149740	0.046992	UNKNOWN

zChaff	minisat	SatELite
0.003	0.001999	0.067989

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	70.84	81.51	75.41	25.17	16.41	0	156	5	156	5	44338	0.015997	UNKNOWN

zChaff	minisat	SatELite
0.003	0.004999	0.070989

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	74.71	79.54	79.58	21.91	18.24	0	271	8	271	8	57910	0.019996	UNKNOWN

zChaff	minisat	SatELite
0.003	0.003999	0.075988

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	71.23	80.41	75.74	24.83	17.54	0	111	3	111	3	26449	0.012998	UNKNOWN

zChaff	minisat	SatELite
0.003	0.003999	0.077988