OKgenerator_s0=32s1=20n=220l=7cp=18700-Dnr0=0nr1=0-o.shuffled-as.sat05-1640.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
220	18700	6.13	6.17	0.00	0.79	0.87

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	6.13	6.17	0.00	0.79	0.87	0	0	0	0	0	130900	4.72928	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	6.13	6.17	0.00	0.79	0.87	0	0	0	0	0	122822	4.20636	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	6.13	6.17	0.00	0.79	0.87	0	0	0	0	0	130900	4.46032	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	6.13	6.17	0.00	0.79	0.87	0	0	0	0	0	122822	4.24335	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	6.13	6.17	0.00	0.79	0.87	0	0	0	0	0	0	0.018997	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	6.13	6.17	0.00	0.79	0.87	0	0	0	0	0	0	0.018997	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	6.13	6.17	0.00	0.79	0.87	0	0	0	0	0	0	0.021996	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	6.13	6.17	0.00	0.79	0.87	0	0	0	0	0	0	0.018997	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut