qg7-11.shuffled.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
1331	64377	58.05	57.71	31.77	16.21	16.13

zChaff	minisat	SatELite
0.345947	0.096985	0.553915

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	61.48	58.59	42.04	16.71	18.49	0	34980	54	34980	54	3822686	15.7966	UNKNOWN

zChaff	minisat	SatELite
0.515921	0.131979	0.801878

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	78.48	42.87	39.39	11.79	22.17	0	16753	26	16753	26	1887785	10.0355	UNKNOWN

zChaff	minisat	SatELite
0.448931	0.119981	0.541917

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	64.19	62.95	54.55	19.21	19.50	0	26884	42	26884	42	3048102	13.159	UNKNOWN

zChaff	minisat	SatELite
0.408938	0.149977	0.677896

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	77.37	43.69	42.34	14.41	21.86	0	16071	25	16071	25	1590620	8.35973	UNKNOWN

zChaff	minisat	SatELite
0.352946	0.121981	0.510922

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	64.17	62.93	54.54	19.21	19.49	0	26895	42	26895	42	3069112	12.981	UNKNOWN

zChaff	minisat	SatELite
0.405938	0.152976	0.678896

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	76.38	44.39	41.70	14.59	21.58	0	15449	24	15449	24	1750723	8.99963	UNKNOWN

zChaff	minisat	SatELite
0.465928	0.12698	0.536918

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	64.19	62.95	54.55	19.21	19.50	0	26884	42	26884	42	3048102	13.417	UNKNOWN

zChaff	minisat	SatELite
0.413937	0.148977	0.679896

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	77.37	43.69	42.34	14.41	21.86	0	16071	25	16071	25	1590620	8.60969	UNKNOWN

zChaff	minisat	SatELite
0.354946	0.124981	0.545917