f51-b3-s0-0.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
200	1806	31.89	31.89	0.33	6.09	6.09

zChaff	minisat	SatELite
292.44	12.93	54.0918

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	31.91	31.91	0.33	6.37	6.15	0	1	0	1	0	7205	0.019996	UNKNOWN

zChaff	minisat	SatELite
158.326	12.934	54.1628

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	31.91	31.91	0.33	6.37	6.15	0	1	0	1	0	4919	0.011998	UNKNOWN

zChaff	minisat	SatELite
167.846	12.863	58.2781

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	31.91	31.91	0.33	6.37	6.15	0	1	0	1	0	7199	0.017997	UNKNOWN

zChaff	minisat	SatELite
165.935	12.833	55.1996

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	31.91	31.91	0.33	6.37	6.15	0	1	0	1	0	4919	0.012998	UNKNOWN

zChaff	minisat	SatELite
160.301	12.874	54.5667

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	31.89	31.89	0.33	6.37	6.15	0	0	0	0	0	0	0.002999	UNKNOWN

zChaff	minisat	SatELite
292.44	12.93	54.0918

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	31.89	31.89	0.33	6.37	6.15	0	0	0	0	0	0	0.001999	UNKNOWN

zChaff	minisat	SatELite
292.44	12.93	54.0918

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	31.89	31.89	0.33	6.37	6.15	0	0	0	0	0	0	0.001999	UNKNOWN

zChaff	minisat	SatELite
292.44	12.93	54.0918

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	31.89	31.89	0.33	6.37	6.15	0	0	0	0	0	0	0.001999	UNKNOWN

zChaff	minisat	SatELite
292.44	12.93	54.0918