f83-b5-s0-0.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
686	6816	64.72	65.90	62.72	20.00	18.40

zChaff	minisat	SatELite
0.012998	0.010998	0.066989

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	65.08	66.10	63.92	21.16	19.74	0	156	2	156	2	197043	0.152976	UNKNOWN

zChaff	minisat	SatELite
0.013998	0.008998	0.066989

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	64.37	66.55	63.23	21.23	19.48	0	66	1	66	1	70705	0.057991	UNKNOWN

zChaff	minisat	SatELite
0.014998	0.011998	0.069989

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	65.17	66.08	64.02	21.10	19.80	0	138	2	138	2	90880	0.070989	UNKNOWN

zChaff	minisat	SatELite
0.010998	0.008998	0.067989

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	64.41	66.48	63.27	21.21	19.56	0	59	1	59	1	46067	0.035994	UNKNOWN

zChaff	minisat	SatELite
0.012998	0.010998	0.066989

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	65.17	66.08	64.02	21.10	19.80	0	138	2	138	2	91337	0.074988	UNKNOWN

zChaff	minisat	SatELite
0.011998	0.010998	0.06399

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	64.41	66.48	63.27	21.21	19.56	0	59	1	59	1	46172	0.036994	UNKNOWN

zChaff	minisat	SatELite
0.010999	0.007998	0.067989

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	65.17	66.08	64.02	21.10	19.80	0	138	2	138	2	90880	0.072988	UNKNOWN

zChaff	minisat	SatELite
0.011999	0.008998	0.066989

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	64.41	66.48	63.27	21.21	19.56	0	59	1	59	1	46067	0.037994	UNKNOWN

zChaff	minisat	SatELite
0.012999	0.009998	0.06299