ferry6_ks99a.renamed-as.sat05-3996.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
701	6661	96.97	16.02	96.97	0.00	83.98

zChaff	minisat	SatELite
0.023996	0.005999	0.104984

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	96.63	17.69	96.63	0.23	82.31	0	675	10	675	10	759330	0.188971	UNKNOWN

zChaff	minisat	SatELite
0.009998	0.003999	0.094985

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	96.97	16.02	96.97	0.21	83.98	0	0	0	0	0	777	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.023996	0.005999	0.104984

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	96.97	16.02	96.97	0.21	83.98	0	0	0	0	0	777	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.023996	0.005999	0.104984

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	96.97	16.02	96.97	0.21	83.98	0	0	0	0	0	777	0.002999	UNKNOWN

zChaff	minisat	SatELite
0.023996	0.005999	0.104984

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	96.90	16.26	96.90	0.21	83.74	0	149	2	149	2	36172	0.010998	UNKNOWN

zChaff	minisat	SatELite
0.021996	0.004999	0.100984

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	96.97	16.02	96.97	0.21	83.98	0	0	0	0	0	777	0.002999	UNKNOWN

zChaff	minisat	SatELite
0.023996	0.005999	0.104984

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	96.97	16.02	96.97	0.21	83.98	0	0	0	0	0	777	0.005999	UNKNOWN

zChaff	minisat	SatELite
0.023996	0.005999	0.104984

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	96.97	16.02	96.97	0.21	83.98	0	0	0	0	0	777	0.003999	UNKNOWN

zChaff	minisat	SatELite
0.023996	0.005999	0.104984