satellite1_v01i.shuffled-as.sat05-4053.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
335	7529	70.37	75.03	95.98	26.47	21.65

zChaff	minisat	SatELite
0.001999	0.006998	0.177972

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	70.60	74.18	95.58	25.87	22.06	0	1301	17	1301	17	672621	0.604908	UNKNOWN

zChaff	minisat	SatELite
0.005999	0.006998	0.201969

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	69.42	77.85	96.04	27.47	18.92	0	273	4	273	4	174502	0.159975	UNKNOWN

zChaff	minisat	SatELite
0.001	0.004999	0.238963

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	70.56	75.15	96.33	26.50	21.73	0	28	0	28	0	26215	0.028995	UNKNOWN

zChaff	minisat	SatELite
0.003	0.008998	0.26196

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	70.46	75.20	96.19	26.53	21.70	0	17	0	17	0	23432	0.022996	UNKNOWN

zChaff	minisat	SatELite
0.001	0.006998	0.263959

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	70.73	75.00	96.31	26.32	21.86	0	72	1	72	1	54881	0.054991	UNKNOWN

zChaff	minisat	SatELite
0.003	0.003999	0.235964

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	70.46	75.21	96.19	26.53	21.69	0	18	0	18	0	31428	0.030995	UNKNOWN

zChaff	minisat	SatELite
0.000999	0.006998	0.293955

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	70.56	75.15	96.33	26.50	21.73	0	28	0	28	0	26215	0.025996	UNKNOWN

zChaff	minisat	SatELite
0.002	0.004999	0.25796

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	70.46	75.20	96.19	26.53	21.70	0	17	0	17	0	23432	0.021996	UNKNOWN

zChaff	minisat	SatELite
0.001	0.006998	0.26096