f51-b6-s0-0.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
200	1806	31.12	31.12	0.33	6.20	6.20

zChaff	minisat	SatELite
212.38	11.3603	65.83

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	31.12	31.12	0.33	6.42	6.31	0	0	0	0	0	7206	0.019996	UNKNOWN

zChaff	minisat	SatELite
212.38	11.3603	65.83

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	31.12	31.12	0.33	6.42	6.31	0	0	0	0	0	4976	0.011998	UNKNOWN

zChaff	minisat	SatELite
212.38	11.3603	65.83

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	31.12	31.12	0.33	6.42	6.31	0	0	0	0	0	7200	0.017997	UNKNOWN

zChaff	minisat	SatELite
212.38	11.3603	65.83

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	31.12	31.12	0.33	6.42	6.31	0	0	0	0	0	4976	0.011998	UNKNOWN

zChaff	minisat	SatELite
212.38	11.3603	65.83

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	31.12	31.12	0.33	6.42	6.31	0	0	0	0	0	0	0.002999	UNKNOWN

zChaff	minisat	SatELite
212.38	11.3603	65.83

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	31.12	31.12	0.33	6.42	6.31	0	0	0	0	0	0	0.001999	UNKNOWN

zChaff	minisat	SatELite
212.38	11.3603	65.83

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	31.12	31.12	0.33	6.42	6.31	0	0	0	0	0	0	0.002999	UNKNOWN

zChaff	minisat	SatELite
212.38	11.3603	65.83

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	31.12	31.12	0.33	6.42	6.31	0	0	0	0	0	0	0.002999	UNKNOWN

zChaff	minisat	SatELite
212.38	11.3603	65.83