3col160_5_3.shuffled.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
320	1366	39.68	33.97	12.15	9.30	9.30

zChaff	minisat	SatELite
0.418937	0.226965	0.906862

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	39.68	33.97	12.15	9.44	9.59	0	0	0	0	0	5914	0.008998	UNKNOWN

zChaff	minisat	SatELite
0.418937	0.226965	0.906862

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	39.68	33.97	12.15	9.44	9.59	0	0	0	0	0	3728	0.006998	UNKNOWN

zChaff	minisat	SatELite
0.418937	0.226965	0.906862

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	39.68	33.97	12.15	9.44	9.59	0	0	0	0	0	5584	0.005999	UNKNOWN

zChaff	minisat	SatELite
0.418937	0.226965	0.906862

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	39.68	33.97	12.15	9.44	9.59	0	0	0	0	0	3624	0.004999	UNKNOWN

zChaff	minisat	SatELite
0.418937	0.226965	0.906862

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	39.68	33.97	12.15	9.44	9.59	0	0	0	0	0	5586	0.008998	UNKNOWN

zChaff	minisat	SatELite
0.418937	0.226965	0.906862

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	39.68	33.97	12.15	9.44	9.59	0	0	0	0	0	3624	0.004999	UNKNOWN

zChaff	minisat	SatELite
0.418937	0.226965	0.906862

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	39.68	33.97	12.15	9.44	9.59	0	0	0	0	0	5584	0.006998	UNKNOWN

zChaff	minisat	SatELite
0.418937	0.226965	0.906862

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	39.68	33.97	12.15	9.44	9.59	0	0	0	0	0	3624	0.004999	UNKNOWN

zChaff	minisat	SatELite
0.418937	0.226965	0.906862