ferry7_v01a.renamed-as.sat05-4002.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
648	10044	89.59	11.23	89.66	0.07	88.77

zChaff	minisat	SatELite
0.007998	0.010998	0.102984

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	88.41	12.48	88.51	0.10	87.52	0	3135	31	3135	31	1073163	0.682896	UNKNOWN

zChaff	minisat	SatELite
0.389942	0.023996	0.555915

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	91.83	9.01	91.90	0.07	90.99	0	245	2	245	2	123285	0.070989	UNKNOWN

zChaff	minisat	SatELite
0.156977	0.008998	0.12598

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	91.83	9.01	91.90	0.07	90.99	0	245	2	245	2	134962	0.079987	UNKNOWN

zChaff	minisat	SatELite
0.145978	0.008998	0.12698

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	91.83	9.01	91.90	0.07	90.99	0	245	2	245	2	123271	0.072988	UNKNOWN

zChaff	minisat	SatELite
0.146978	0.010998	0.123981

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	91.66	8.98	91.73	0.07	91.02	0	441	4	441	4	174673	0.102984	UNKNOWN

zChaff	minisat	SatELite
0.145977	0.007998	0.133979

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	91.83	9.01	91.90	0.07	90.99	0	245	2	245	2	123285	0.074988	UNKNOWN

zChaff	minisat	SatELite
0.146978	0.008998	0.132979

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	91.83	9.01	91.90	0.07	90.99	0	245	2	245	2	134962	0.079987	UNKNOWN

zChaff	minisat	SatELite
0.146977	0.008998	0.124981

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	91.83	9.01	91.90	0.07	90.99	0	245	2	245	2	123271	0.075988	UNKNOWN

zChaff	minisat	SatELite
0.144978	0.009998	0.121981