iso-icl009.shuffled-as.sat05-3243.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
2252	12666	41.92	46.58	11.00	13.06	9.98

zChaff	minisat	SatELite
0.041994	0.019996	0.26296

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	38.68	42.11	6.41	11.80	9.64	1225	4969	39	4969	39	189615	0.555915	UNKNOWN

zChaff	minisat	SatELite
0.020997	0.013997	0.199969

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	30.17	59.48	11.91	17.35	7.23	1225	2746	22	2746	22	91260	0.336948	UNKNOWN

zChaff	minisat	SatELite
0.031994	0.015997	0.236963

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	42.05	45.99	16.20	13.63	10.83	1225	4069	32	4069	32	129473	0.441932	UNKNOWN

zChaff	minisat	SatELite
0.034994	0.013997	0.202969

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	31.63	58.23	13.75	16.99	9.17	1225	2534	20	2534	20	80210	0.307953	UNKNOWN

zChaff	minisat	SatELite
0.029996	0.014997	0.230964

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	41.74	45.72	16.01	13.52	10.74	1225	3963	31	3963	31	124664	0.424935	UNKNOWN

zChaff	minisat	SatELite
0.027997	0.016997	0.201969

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	31.56	57.77	13.64	16.85	9.14	1225	2453	19	2453	19	76031	0.296954	UNKNOWN

zChaff	minisat	SatELite
0.034995	0.014997	0.225965

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	41.74	45.72	16.01	13.52	10.74	1225	3963	31	3963	31	124406	0.425935	UNKNOWN

zChaff	minisat	SatELite
0.026995	0.016997	0.208968

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	31.56	57.77	13.64	16.85	9.14	1225	2453	19	2453	19	75995	0.296954	UNKNOWN

zChaff	minisat	SatELite
0.035994	0.014997	0.239963