f25-b8-s0-20.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
5600	16661	66.41	66.65	65.54	20.76	20.26

zChaff	minisat	SatELite
TimeOut	3221.57	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	66.22	66.28	64.46	20.54	20.21	0	508	3	508	3	4496507	2.55961	UNKNOWN

zChaff	minisat	SatELite
TimeOut	9721.3	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	66.18	67.09	65.31	20.90	19.73	0	110	1	110	1	1482651	0.871867	UNKNOWN

zChaff	minisat	SatELite
TimeOut	1586.86	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	66.41	66.65	65.54	20.76	20.26	0	0	0	0	0	1517725	0.895863	UNKNOWN

zChaff	minisat	SatELite
TimeOut	3221.57	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	66.41	66.65	65.54	20.76	20.26	0	0	0	0	0	775602	0.45793	UNKNOWN

zChaff	minisat	SatELite
TimeOut	3221.57	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	66.29	66.38	64.69	20.56	20.20	0	402	2	402	2	4055143	2.33964	UNKNOWN

zChaff	minisat	SatELite
TimeOut	5261.79	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	66.22	67.01	65.36	20.87	19.82	0	90	1	90	1	1382373	0.819875	UNKNOWN

zChaff	minisat	SatELite
TimeOut	4178.06	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	66.41	66.65	65.54	20.76	20.26	0	0	0	0	0	1485406	0.892864	UNKNOWN

zChaff	minisat	SatELite
TimeOut	3221.57	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	66.41	66.65	65.54	20.76	20.26	0	0	0	0	0	755022	0.449931	UNKNOWN

zChaff	minisat	SatELite
TimeOut	3221.57	TimeOut