SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
870	73400	71.13	78.51	99.96	28.83	21.45

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	71.13	78.51	99.96	28.83	21.45	0	0	0	0	0	21329160	8.41172	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	71.13	78.51	99.96	28.83	21.45	0	0	0	0	0	4532725	1.85272	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	71.13	78.51	99.96	28.83	21.45	0	0	0	0	0	870	0.036994	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	71.13	78.51	99.96	28.83	21.45	0	0	0	0	0	870	0.020996	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	71.13	78.51	99.96	28.83	21.45	0	0	0	0	0	870	0.040993	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	71.13	78.51	99.96	28.83	21.45	0	0	0	0	0	870	0.026995	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	71.13	78.51	99.96	28.83	21.45	0	0	0	0	0	870	0.036994	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	71.13	78.51	99.96	28.83	21.45	0	0	0	0	0	870	0.025996	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut