SAT_dat.k40.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
36593	186995	81.05	79.01	76.95	9.25	5.92

zChaff	minisat	SatELite
29.3155	26.6749	28.9176

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	81.06	77.76	75.25	8.52	6.18	0	12850	7	12850	7	25127722	20.2439	UNKNOWN

zChaff	minisat	SatELite
111.21	14.3868	97.3642

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	82.20	78.72	76.63	7.96	6.12	0	2618	1	2618	1	3879686	2.95355	UNKNOWN

zChaff	minisat	SatELite
205.983	28.0817	71.2732

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	81.05	79.01	76.95	9.25	6.04	0	0	0	0	0	2551440	2.07568	UNKNOWN

zChaff	minisat	SatELite
29.3155	26.6749	28.9176

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	81.05	79.01	76.95	9.25	6.04	0	0	0	0	0	1876381	1.51677	UNKNOWN

zChaff	minisat	SatELite
29.3155	26.6749	28.9176

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	81.81	78.63	76.13	8.14	5.88	0	6484	3	6484	3	10674728	8.38772	UNKNOWN

zChaff	minisat	SatELite
27.2109	18.4922	36.7294

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	82.19	78.72	76.63	7.97	6.12	0	2606	1	2606	1	3843551	2.84957	UNKNOWN

zChaff	minisat	SatELite
64.8461	28.1247	66.6739

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	81.05	79.01	76.95	9.25	6.04	0	0	0	0	0	2509603	1.91671	UNKNOWN

zChaff	minisat	SatELite
29.3155	26.6749	28.9176

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	81.05	79.01	76.95	9.25	6.04	0	0	0	0	0	1859566	1.51077	UNKNOWN

zChaff	minisat	SatELite
29.3155	26.6749	28.9176