SGI_30_70_23_50_1-dir.shuffled-as.sat03-156.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
690	54706	74.72	74.71	99.96	25.24	25.24

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	74.72	74.71	99.96	25.24	25.24	0	0	0	0	0	14861946	5.41018	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	74.72	74.71	99.96	25.24	25.24	0	0	0	0	0	3697229	1.3308	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	74.72	74.71	99.96	25.24	25.24	0	0	0	0	0	690	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	74.72	74.71	99.96	25.24	25.24	0	0	0	0	0	690	0.019996	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	74.72	74.71	99.96	25.24	25.24	0	0	0	0	0	690	0.033994	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	74.72	74.71	99.96	25.24	25.24	0	0	0	0	0	690	0.021996	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	74.72	74.71	99.96	25.24	25.24	0	0	0	0	0	690	0.026995	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	74.72	74.71	99.96	25.24	25.24	0	0	0	0	0	690	0.015997	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut