5cnf_3800_3800_50f1.shuffled.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
50	760	22.76	23.82	0.00	3.82	4.47

zChaff	minisat	SatELite
0.080987	0.088986	0.269958

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	22.76	23.82	0.00	3.82	4.47	0	0	0	0	0	3709	0.017997	UNKNOWN

zChaff	minisat	SatELite
0.080987	0.088986	0.269958

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	22.76	23.82	0.00	3.82	4.47	0	0	0	0	0	2838	0.012998	UNKNOWN

zChaff	minisat	SatELite
0.080987	0.088986	0.269958

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	22.76	23.82	0.00	3.82	4.47	0	0	0	0	0	3709	0.016997	UNKNOWN

zChaff	minisat	SatELite
0.080987	0.088986	0.269958

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	22.76	23.82	0.00	3.82	4.47	0	0	0	0	0	2838	0.012998	UNKNOWN

zChaff	minisat	SatELite
0.080987	0.088986	0.269958

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	22.76	23.82	0.00	3.82	4.47	0	0	0	0	0	0	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.080987	0.088986	0.269958

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	22.76	23.82	0.00	3.82	4.47	0	0	0	0	0	0	0.002999	UNKNOWN

zChaff	minisat	SatELite
0.080987	0.088986	0.269958

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	22.76	23.82	0.00	3.82	4.47	0	0	0	0	0	0	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.080987	0.088986	0.269958

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	22.76	23.82	0.00	3.82	4.47	0	0	0	0	0	0	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.080987	0.088986	0.269958