3col260_5_3.shuffled.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
520	2216	36.06	33.66	12.00	7.76	7.67

zChaff	minisat	SatELite
36.2855	6.95594	96.6573

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	36.06	33.66	12.00	7.85	7.85	0	0	0	0	0	9602	0.012998	UNKNOWN

zChaff	minisat	SatELite
36.2855	6.95594	96.6573

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	36.06	33.66	12.00	7.85	7.85	0	0	0	0	0	6408	0.007998	UNKNOWN

zChaff	minisat	SatELite
36.2855	6.95594	96.6573

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	36.06	33.66	12.00	7.85	7.85	0	0	0	0	0	9072	0.010998	UNKNOWN

zChaff	minisat	SatELite
36.2855	6.95594	96.6573

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	36.06	33.66	12.00	7.85	7.85	0	0	0	0	0	6248	0.009998	UNKNOWN

zChaff	minisat	SatELite
36.2855	6.95594	96.6573

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	36.06	33.66	12.00	7.85	7.85	0	0	0	0	0	9074	0.011998	UNKNOWN

zChaff	minisat	SatELite
36.2855	6.95594	96.6573

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	36.06	33.66	12.00	7.85	7.85	0	0	0	0	0	6248	0.007998	UNKNOWN

zChaff	minisat	SatELite
36.2855	6.95594	96.6573

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	36.06	33.66	12.00	7.85	7.85	0	0	0	0	0	9072	0.010998	UNKNOWN

zChaff	minisat	SatELite
36.2855	6.95594	96.6573

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	36.06	33.66	12.00	7.85	7.85	0	0	0	0	0	6248	0.009998	UNKNOWN

zChaff	minisat	SatELite
36.2855	6.95594	96.6573