c499-s.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
606	1878	57.14	71.88	44.36	7.67	18.74

zChaff	minisat	SatELite
0.296955	0.303953	0.712891

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	57.14	71.88	44.36	7.72	18.74	0	0	0	0	0	50934	0.019996	UNKNOWN

zChaff	minisat	SatELite
0.296955	0.303953	0.712891

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	57.14	71.88	44.36	7.72	18.74	0	0	0	0	0	17808	0.009998	UNKNOWN

zChaff	minisat	SatELite
0.296955	0.303953	0.712891

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	57.14	71.88	44.36	7.72	18.74	0	0	0	0	0	26245	0.011998	UNKNOWN

zChaff	minisat	SatELite
0.296955	0.303953	0.712891

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	57.14	71.88	44.36	7.72	18.74	0	0	0	0	0	16368	0.008998	UNKNOWN

zChaff	minisat	SatELite
0.296955	0.303953	0.712891

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	57.14	71.88	44.36	7.72	18.74	0	0	0	0	0	47589	0.017997	UNKNOWN

zChaff	minisat	SatELite
0.296955	0.303953	0.712891

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	57.14	71.88	44.36	7.72	18.74	0	0	0	0	0	17312	0.009998	UNKNOWN

zChaff	minisat	SatELite
0.296955	0.303953	0.712891

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	57.14	71.88	44.36	7.72	18.74	0	0	0	0	0	24453	0.010998	UNKNOWN

zChaff	minisat	SatELite
0.296955	0.303953	0.712891

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	57.14	71.88	44.36	7.72	18.74	0	0	0	0	0	15872	0.007998	UNKNOWN

zChaff	minisat	SatELite
0.296955	0.303953	0.712891