f51-b9-s0-0.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
200	1806	31.56	31.56	0.33	6.53	6.53

zChaff	minisat	SatELite
515.824	10.0715	57.8792

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	31.52	31.58	0.33	6.59	6.81	0	1	0	1	0	7206	0.016997	UNKNOWN

zChaff	minisat	SatELite
199.069	10.0935	62.9674

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	31.52	31.58	0.33	6.59	6.81	0	1	0	1	0	4944	0.012998	UNKNOWN

zChaff	minisat	SatELite
195.865	10.0935	57.6492

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	31.52	31.58	0.33	6.59	6.81	0	1	0	1	0	7200	0.017997	UNKNOWN

zChaff	minisat	SatELite
188.873	10.0895	58.4891

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	31.52	31.58	0.33	6.59	6.81	0	1	0	1	0	4944	0.011998	UNKNOWN

zChaff	minisat	SatELite
186.338	10.0605	58.4891

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	31.56	31.56	0.33	6.59	6.81	0	0	0	0	0	0	0.003999	UNKNOWN

zChaff	minisat	SatELite
515.824	10.0715	57.8792

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	31.56	31.56	0.33	6.59	6.81	0	0	0	0	0	0	0.002999	UNKNOWN

zChaff	minisat	SatELite
515.824	10.0715	57.8792

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	31.56	31.56	0.33	6.59	6.81	0	0	0	0	0	0	0.001999	UNKNOWN

zChaff	minisat	SatELite
515.824	10.0715	57.8792

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	31.56	31.56	0.33	6.59	6.81	0	0	0	0	0	0	0.001999	UNKNOWN

zChaff	minisat	SatELite
515.824	10.0715	57.8792