f51-b4-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
387.872	10.8464	48.4576

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	31.56	31.56	0.33	6.70	6.70	0	0	0	0	0	7206	0.016997	UNKNOWN

zChaff	minisat	SatELite
387.872	10.8464	48.4576

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	31.56	31.56	0.33	6.70	6.70	0	0	0	0	0	4944	0.012998	UNKNOWN

zChaff	minisat	SatELite
387.872	10.8464	48.4576

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	31.56	31.56	0.33	6.70	6.70	0	0	0	0	0	7200	0.019996	UNKNOWN

zChaff	minisat	SatELite
387.872	10.8464	48.4576

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	31.56	31.56	0.33	6.70	6.70	0	0	0	0	0	4944	0.013997	UNKNOWN

zChaff	minisat	SatELite
387.872	10.8464	48.4576

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	31.56	31.56	0.33	6.70	6.70	0	0	0	0	0	0	0.002999	UNKNOWN

zChaff	minisat	SatELite
387.872	10.8464	48.4576

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	31.56	31.56	0.33	6.70	6.70	0	0	0	0	0	0	0.000999	UNKNOWN

zChaff	minisat	SatELite
387.872	10.8464	48.4576

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

zChaff	minisat	SatELite
387.872	10.8464	48.4576

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	31.56	31.56	0.33	6.70	6.70	0	0	0	0	0	0	0.002999	UNKNOWN

zChaff	minisat	SatELite
387.872	10.8464	48.4576