f25-b9-s0-20.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
5600	16661	66.78	66.41	65.54	20.65	20.14

zChaff	minisat	SatELite
TimeOut	2167.93	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	66.39	65.97	64.17	20.54	20.04	0	640	4	640	4	4248244	2.47062	UNKNOWN

zChaff	minisat	SatELite
TimeOut	4758.98	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	67.39	66.10	65.23	19.92	20.33	0	152	1	152	1	1370523	0.811876	UNKNOWN

zChaff	minisat	SatELite
TimeOut	2390.34	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	66.78	66.41	65.54	20.65	20.14	0	0	0	0	0	1413839	0.835872	UNKNOWN

zChaff	minisat	SatELite
TimeOut	2167.93	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	66.78	66.41	65.54	20.65	20.14	0	0	0	0	0	674504	0.405938	UNKNOWN

zChaff	minisat	SatELite
TimeOut	2167.93	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	66.46	66.00	64.41	20.56	20.10	0	530	3	530	3	3848417	2.26365	UNKNOWN

zChaff	minisat	SatELite
TimeOut	4493.15	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	67.28	66.15	65.28	20.05	20.30	0	125	1	125	1	1271781	0.760884	UNKNOWN

zChaff	minisat	SatELite
TimeOut	2655.49	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	66.78	66.41	65.54	20.65	20.14	0	0	0	0	0	1380866	0.84887	UNKNOWN

zChaff	minisat	SatELite
TimeOut	2167.93	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	66.78	66.41	65.54	20.65	20.14	0	0	0	0	0	662625	0.406938	UNKNOWN

zChaff	minisat	SatELite
TimeOut	2167.93	TimeOut