f25-b1-s0-20.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
3500	10361	65.59	65.67	64.86	21.45	21.47

zChaff	minisat	SatELite
46.244	3.99639	25.985

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	65.18	64.98	62.27	20.90	21.20	0	712	7	712	7	2144493	1.20382	UNKNOWN

zChaff	minisat	SatELite
17.7683	5.22621	19.439

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	64.98	66.84	64.23	21.83	20.07	0	181	2	181	2	717396	0.414936	UNKNOWN

zChaff	minisat	SatELite
19.442	9.43956	26.537

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	65.59	65.67	64.86	21.45	21.47	0	0	0	0	0	761631	0.450931	UNKNOWN

zChaff	minisat	SatELite
46.244	3.99639	25.985

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	65.59	65.67	64.86	21.45	21.47	0	0	0	0	0	382320	0.223965	UNKNOWN

zChaff	minisat	SatELite
46.244	3.99639	25.985

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	65.30	65.06	62.60	20.90	21.25	0	625	6	625	6	1980980	1.12283	UNKNOWN

zChaff	minisat	SatELite
21.2618	4.25935	24.5443

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	65.06	66.68	64.32	21.78	20.26	0	157	2	157	2	674999	0.39094	UNKNOWN

zChaff	minisat	SatELite
24.9382	10.0465	26.349

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	65.59	65.67	64.86	21.45	21.47	0	0	0	0	0	734933	0.432934	UNKNOWN

zChaff	minisat	SatELite
46.244	3.99639	25.985

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	65.59	65.67	64.86	21.45	21.47	0	0	0	0	0	372895	0.218966	UNKNOWN

zChaff	minisat	SatELite
46.244	3.99639	25.985