Mat27.shuffled.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
900	2960	58.89	59.22	37.84	17.64	18.34

zChaff	minisat	SatELite
1.89271	7.42687	0.515921

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	58.89	59.22	37.84	17.64	18.34	0	0	0	0	0	26128	0.020996	UNKNOWN

zChaff	minisat	SatELite
1.89271	7.42687	0.515921

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	58.89	59.22	37.84	17.64	18.34	0	0	0	0	0	9581	0.007998	UNKNOWN

zChaff	minisat	SatELite
1.89271	7.42687	0.515921

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	58.89	59.22	37.84	17.64	18.34	0	0	0	0	0	10448	0.013997	UNKNOWN

zChaff	minisat	SatELite
1.89271	7.42687	0.515921

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	58.89	59.22	37.84	17.64	18.34	0	0	0	0	0	5085	0.004999	UNKNOWN

zChaff	minisat	SatELite
1.89271	7.42687	0.515921

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	58.89	59.22	37.84	17.64	18.34	0	0	0	0	0	13072	0.013997	UNKNOWN

zChaff	minisat	SatELite
1.89271	7.42687	0.515921

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	58.89	59.22	37.84	17.64	18.34	0	0	0	0	0	4990	0.005999	UNKNOWN

zChaff	minisat	SatELite
1.89271	7.42687	0.515921

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	58.89	59.22	37.84	17.64	18.34	0	0	0	0	0	6352	0.007998	UNKNOWN

zChaff	minisat	SatELite
1.89271	7.42687	0.515921

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	58.89	59.22	37.84	17.64	18.34	0	0	0	0	0	3094	0.003999	UNKNOWN

zChaff	minisat	SatELite
1.89271	7.42687	0.515921