f83-b3-s0-0.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
686	6816	63.53	67.31	63.34	20.70	18.90

zChaff	minisat	SatELite
0.008999	0.004999	0.045993

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	65.66	68.49	70.35	22.97	20.89	0	866	13	866	13	192098	0.141978	UNKNOWN

zChaff	minisat	SatELite
0.007998	0.007998	0.045993

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	61.48	71.09	66.25	23.21	19.29	0	362	5	362	5	63749	0.051992	UNKNOWN

zChaff	minisat	SatELite
0.009998	0.006998	0.046992

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	66.07	68.49	70.99	22.86	21.18	0	735	11	735	11	80347	0.06099	UNKNOWN

zChaff	minisat	SatELite
0.007999	0.007998	0.045993

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	61.72	70.64	66.47	23.06	19.80	0	321	5	321	5	38668	0.031995	UNKNOWN

zChaff	minisat	SatELite
0.008999	0.008998	0.042993

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	66.03	68.45	70.95	22.84	21.14	0	743	11	743	11	81703	0.066989	UNKNOWN

zChaff	minisat	SatELite
0.007998	0.005999	0.047992

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	61.72	70.64	66.47	23.06	19.80	0	321	5	321	5	38960	0.032994	UNKNOWN

zChaff	minisat	SatELite
0.009998	0.004999	0.046992

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	66.07	68.49	70.99	22.86	21.18	0	735	11	735	11	80347	0.06399	UNKNOWN

zChaff	minisat	SatELite
0.007998	0.005999	0.046992

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	61.72	70.64	66.47	23.06	19.80	0	321	5	321	5	38668	0.029995	UNKNOWN

zChaff	minisat	SatELite
0.010998	0.006998	0.046992