mul04.boehm.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
482	456	78.95	55.92	35.09	8.55	1.97

zChaff	minisat	SatELite
0.002	0.002999	0.016997

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	79.55	56.82	36.36	8.86	2.05	346	16	4	16	4	6327	0.004999	UNKNOWN

zChaff	minisat	SatELite
0.002	0.002999	0.014997

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	80.00	55.56	35.56	8.67	2.00	346	6	1	6	1	970	0.002999	UNKNOWN

zChaff	minisat	SatELite
0.001	0.001999	0.014997

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	79.55	56.82	36.36	8.86	2.05	346	16	4	16	4	4306	0.003999	UNKNOWN

zChaff	minisat	SatELite
0.001	0.003999	0.015997

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	80.00	55.56	35.56	8.67	2.00	346	6	1	6	1	970	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.001	0.001999	0.017997

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	79.64	56.56	36.20	8.82	2.04	346	14	3	14	3	5701	0.003999	UNKNOWN

zChaff	minisat	SatELite
0.002	0.003999	0.014997

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	80.00	55.56	35.56	8.67	2.00	346	6	1	6	1	948	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.001	0.002999	0.018997

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	79.64	56.56	36.20	8.82	2.04	346	14	3	14	3	4001	0.002999	UNKNOWN

zChaff	minisat	SatELite
0.002	0.001999	0.016997

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	80.00	55.56	35.56	8.67	2.00	346	6	1	6	1	948	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.001999	0.002999	0.016997