satellite3_v01a.renamed-as.sat05-3989.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
303	7840	97.83	4.18	97.83	0.06	95.82

zChaff	minisat	SatELite
0.001	0.003999	0.12798

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	96.01	7.92	96.01	0.13	92.08	0	3877	49	3877	49	803394	0.283956	UNKNOWN

zChaff	minisat	SatELite
0.001	0.003999	0.093985

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	97.98	4.04	97.98	0.06	95.96	0	12	0	12	0	10696	0.006998	UNKNOWN

zChaff	minisat	SatELite
0	0.005999	0.136979

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	97.98	4.04	97.98	0.06	95.96	0	12	0	12	0	10633	0.005999	UNKNOWN

zChaff	minisat	SatELite
0.001999	0.005999	0.139978

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	97.98	4.04	97.98	0.06	95.96	0	12	0	12	0	10696	0.006998	UNKNOWN

zChaff	minisat	SatELite
0.001999	0.006998	0.143978

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	97.96	4.05	97.96	0.06	95.95	0	85	1	85	1	51275	0.024996	UNKNOWN

zChaff	minisat	SatELite
0.001	0.005999	0.136979

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	97.98	4.04	97.98	0.06	95.96	0	12	0	12	0	10696	0.006998	UNKNOWN

zChaff	minisat	SatELite
0.001	0.003999	0.135979

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	97.98	4.04	97.98	0.06	95.96	0	12	0	12	0	10633	0.006998	UNKNOWN

zChaff	minisat	SatELite
0.001	0.005999	0.135979

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	97.98	4.04	97.98	0.06	95.96	0	12	0	12	0	10696	0.003999	UNKNOWN

zChaff	minisat	SatELite
0.001	0.004999	0.144977