cnt09.shuffled.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
9207	30678	56.22	57.12	26.71	15.56	16.18

zChaff	minisat	SatELite
55.8605	19.1751	64.5382

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	56.22	57.12	26.71	15.59	16.21	0	0	0	0	0	1014654	1.01085	UNKNOWN

zChaff	minisat	SatELite
55.8605	19.1751	64.5382

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	56.22	57.12	26.71	15.59	16.21	0	0	0	0	0	451774	0.468928	UNKNOWN

zChaff	minisat	SatELite
55.8605	19.1751	64.5382

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	56.22	57.12	26.71	15.59	16.21	0	0	0	0	0	810866	0.798878	UNKNOWN

zChaff	minisat	SatELite
55.8605	19.1751	64.5382

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	56.22	57.12	26.71	15.59	16.21	0	0	0	0	0	398711	0.422935	UNKNOWN

zChaff	minisat	SatELite
55.8605	19.1751	64.5382

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	56.22	57.12	26.71	15.59	16.21	0	0	0	0	0	869163	0.879866	UNKNOWN

zChaff	minisat	SatELite
55.8605	19.1751	64.5382

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	56.22	57.12	26.71	15.59	16.21	0	0	0	0	0	388856	0.407937	UNKNOWN

zChaff	minisat	SatELite
55.8605	19.1751	64.5382

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	56.22	57.12	26.71	15.59	16.21	0	0	0	0	0	710157	0.771882	UNKNOWN

zChaff	minisat	SatELite
55.8605	19.1751	64.5382

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	56.22	57.12	26.71	15.59	16.21	0	0	0	0	0	348714	0.360945	UNKNOWN

zChaff	minisat	SatELite
55.8605	19.1751	64.5382