enddr2-10-by-5-8.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
21000	113729	99.80	16.50	24.27	0.20	7.77

zChaff	minisat	SatELite
0.057991	0.080987	1.14783

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	99.80	16.50	24.27	0.32	7.77	2010	0	0	0	0	54387114	26.198	UNKNOWN

zChaff	minisat	SatELite
0.057991	0.080987	1.14783

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	99.80	16.50	24.27	0.32	7.77	2010	0	0	0	0	450	0.052991	UNKNOWN

zChaff	minisat	SatELite
0.057991	0.080987	1.14783

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	99.80	16.50	24.27	0.32	7.77	2010	0	0	0	0	49347729	26.031	UNKNOWN

zChaff	minisat	SatELite
0.057991	0.080987	1.14783

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	99.80	16.50	24.27	0.32	7.77	2010	0	0	0	0	0	0.050992	UNKNOWN

zChaff	minisat	SatELite
0.057991	0.080987	1.14783

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	99.80	16.50	24.27	0.32	7.77	2010	0	0	0	0	54386624	28.1217	UNKNOWN

zChaff	minisat	SatELite
0.057991	0.080987	1.14783

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	99.80	16.50	24.27	0.32	7.77	2010	0	0	0	0	0	0.051992	UNKNOWN

zChaff	minisat	SatELite
0.057991	0.080987	1.14783

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	99.80	16.50	24.27	0.32	7.77	2010	0	0	0	0	49347729	26.208	UNKNOWN

zChaff	minisat	SatELite
0.057991	0.080987	1.14783

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	99.80	16.50	24.27	0.32	7.77	2010	0	0	0	0	0	0.050992	UNKNOWN

zChaff	minisat	SatELite
0.057991	0.080987	1.14783