grid-pbl-0250.shuffled-as.sat05-1340.shuffled-as.sat05-1340.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
62750	124751	31.35	31.39	0.20	6.32	6.31

zChaff	minisat	SatELite
TimeOut	TimeOut	7.10892

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	31.35	31.39	0.20	6.32	6.31	0	0	0	0	0	747984	1.43878	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	7.10892

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	31.35	31.39	0.20	6.32	6.31	0	0	0	0	0	513642	1.00485	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	7.10892

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	31.35	31.39	0.20	6.32	6.31	0	0	0	0	0	747482	1.43178	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	7.10892

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	31.35	31.39	0.20	6.32	6.31	0	0	0	0	0	513520	1.00585	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	7.10892

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	31.35	31.39	0.20	6.32	6.31	0	0	0	0	0	6466	0.223965	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	7.10892

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	31.35	31.39	0.20	6.32	6.31	0	0	0	0	0	4307	0.181972	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	7.10892

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	31.35	31.39	0.20	6.32	6.31	0	0	0	0	0	6466	0.222966	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	7.10892

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	31.35	31.39	0.20	6.32	6.31	0	0	0	0	0	4307	0.19397	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	7.10892