gencnf-k6-r44.3-v123-c5448-03-S1941959598.used-as.sat04-223.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
123	5448	10.61	12.22	0.00	1.85	1.32

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	10.61	12.22	0.00	1.85	1.32	0	0	0	0	0	32690	0.445932	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	10.61	12.22	0.00	1.85	1.32	0	0	0	0	0	28694	0.426935	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	10.61	12.22	0.00	1.85	1.32	0	0	0	0	0	32690	0.449931	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	10.61	12.22	0.00	1.85	1.32	0	0	0	0	0	28694	0.416936	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	10.61	12.22	0.00	1.85	1.32	0	0	0	0	0	0	0.006998	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	10.61	12.22	0.00	1.85	1.32	0	0	0	0	0	0	0.003999	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	10.61	12.22	0.00	1.85	1.32	0	0	0	0	0	0	0.004999	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	10.61	12.22	0.00	1.85	1.32	0	0	0	0	0	0	0.003999	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut