SAT_dat.k55.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
50258	257315	81.07	79.06	77.03	9.23	5.93

zChaff	minisat	SatELite
419.881	209.916	101.017

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	81.09	77.80	75.32	8.49	6.17	0	17785	7	17785	7	35276692	26.424	UNKNOWN

zChaff	minisat	SatELite
215.581	86.0759	582.792

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	82.23	78.76	76.70	7.93	6.11	0	3623	1	3623	1	5416046	3.81442	UNKNOWN

zChaff	minisat	SatELite
594.219	38.7781	48.6946

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	81.07	79.06	77.03	9.23	6.02	0	0	0	0	0	3570300	2.88056	UNKNOWN

zChaff	minisat	SatELite
419.881	209.916	101.017

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	81.07	79.06	77.03	9.23	6.02	0	0	0	0	0	2642656	2.14367	UNKNOWN

zChaff	minisat	SatELite
419.881	209.916	101.017

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	81.84	78.68	76.20	8.11	5.87	0	8974	3	8974	3	14921153	11.6812	UNKNOWN

zChaff	minisat	SatELite
920.343	86.3349	68.3956

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	82.23	78.76	76.70	7.94	6.11	0	3611	1	3611	1	5373686	3.99939	UNKNOWN

zChaff	minisat	SatELite
1139.27	40.1969	48.7796

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	81.07	79.06	77.03	9.23	6.02	0	0	0	0	0	3512848	2.68559	UNKNOWN

zChaff	minisat	SatELite
419.881	209.916	101.017

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	81.07	79.06	77.03	9.23	6.02	0	0	0	0	0	2619616	2.05969	UNKNOWN

zChaff	minisat	SatELite
419.881	209.916	101.017