SAT_dat.k30.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
27483	140115	81.02	78.96	76.87	9.27	5.92

zChaff	minisat	SatELite
5.2742	128.874	34.7667

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	81.03	77.71	75.17	8.55	6.20	0	9560	7	9560	7	18497242	14.7898	UNKNOWN

zChaff	minisat	SatELite
51.6801	183.574	33.2169

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	82.16	78.66	76.54	8.00	6.13	0	1948	1	1948	1	2869071	2.15267	UNKNOWN

zChaff	minisat	SatELite
53.1069	6.27205	56.2385

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	81.02	78.96	76.87	9.28	6.05	0	0	0	0	0	1885825	1.53677	UNKNOWN

zChaff	minisat	SatELite
5.2742	128.874	34.7667

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	81.02	78.96	76.87	9.28	6.05	0	0	0	0	0	1379156	1.10483	UNKNOWN

zChaff	minisat	SatELite
5.2742	128.874	34.7667

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	81.77	78.58	76.04	8.17	5.89	0	4824	3	4824	3	7885153	6.18306	UNKNOWN

zChaff	minisat	SatELite
7.8898	74.9846	73.9898

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	82.15	78.66	76.54	8.00	6.13	0	1936	1	1936	1	2837086	2.14967	UNKNOWN

zChaff	minisat	SatELite
24.7512	6.37903	55.1256

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	81.02	78.96	76.87	9.28	6.05	0	0	0	0	0	1854398	1.50077	UNKNOWN

zChaff	minisat	SatELite
5.2742	128.874	34.7667

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	81.02	78.96	76.87	9.28	6.05	0	0	0	0	0	1366491	1.09783	UNKNOWN

zChaff	minisat	SatELite
5.2742	128.874	34.7667