Composite-032BitPrimes-0.used-as.sat04-862.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
2111	19998	35.51	20.63	10.71	0.01	0.01

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	32.27	16.62	6.21	0.17	0.35	0	970	5	970	5	309633	0.937857	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	35.53	20.63	10.72	0.16	0.34	0	9	0	9	0	217420	0.672897	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	35.53	20.63	10.72	0.16	0.34	0	9	0	9	0	256313	0.879866	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	35.53	20.63	10.72	0.16	0.34	0	9	0	9	0	217420	0.674897	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	35.53	20.64	10.72	0.17	0.34	0	8	0	8	0	129631	0.804877	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	35.53	20.64	10.72	0.17	0.34	0	8	0	8	0	90624	0.596909	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	35.53	20.64	10.72	0.17	0.34	0	8	0	8	0	129450	0.815875	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	35.53	20.64	10.72	0.17	0.34	0	8	0	8	0	90624	0.596909	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut