grid-pbl-0060.shuffled-as.sat05-1333.shuffled-as.sat05-1333.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
3660	7141	31.61	31.65	0.87	6.65	6.32

zChaff	minisat	SatELite
14.9067	5.74313	0.584911

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	31.61	31.65	0.87	6.67	6.33	0	0	0	0	0	42725	0.038994	UNKNOWN

zChaff	minisat	SatELite
14.9067	5.74313	0.584911

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	31.61	31.65	0.87	6.67	6.33	0	0	0	0	0	29310	0.024996	UNKNOWN

zChaff	minisat	SatELite
14.9067	5.74313	0.584911

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	31.61	31.65	0.87	6.67	6.33	0	0	0	0	0	42603	0.039993	UNKNOWN

zChaff	minisat	SatELite
14.9067	5.74313	0.584911

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	31.61	31.65	0.87	6.67	6.33	0	0	0	0	0	29280	0.023996	UNKNOWN

zChaff	minisat	SatELite
14.9067	5.74313	0.584911

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	31.61	31.65	0.87	6.67	6.33	0	0	0	0	0	1547	0.009998	UNKNOWN

zChaff	minisat	SatELite
14.9067	5.74313	0.584911

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	31.61	31.65	0.87	6.67	6.33	0	0	0	0	0	998	0.007998	UNKNOWN

zChaff	minisat	SatELite
14.9067	5.74313	0.584911

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	31.61	31.65	0.87	6.67	6.33	0	0	0	0	0	1547	0.010998	UNKNOWN

zChaff	minisat	SatELite
14.9067	5.74313	0.584911

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	31.61	31.65	0.87	6.67	6.33	0	0	0	0	0	998	0.007998	UNKNOWN

zChaff	minisat	SatELite
14.9067	5.74313	0.584911