SGI_30_80_25_80_5-dir.shuffled-as.sat03-205.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
750	62124	77.54	72.30	99.96	22.42	27.66

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	77.54	72.30	99.96	22.42	27.66	0	0	0	0	0	17483600	6.24305	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	77.54	72.30	99.96	22.42	27.66	0	0	0	0	0	3910640	1.49277	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	77.54	72.30	99.96	22.42	27.66	0	0	0	0	0	750	0.027995	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	77.54	72.30	99.96	22.42	27.66	0	0	0	0	0	750	0.021996	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	77.54	72.30	99.96	22.42	27.66	0	0	0	0	0	750	0.032994	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	77.54	72.30	99.96	22.42	27.66	0	0	0	0	0	750	0.020996	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	77.54	72.30	99.96	22.42	27.66	0	0	0	0	0	750	0.029995	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	77.54	72.30	99.96	22.42	27.66	0	0	0	0	0	750	0.022996	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut