jnh19.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
100	850	24.59	30.00	7.18	8.82	5.88

zChaff	minisat	SatELite
0.000999	0.002999	0.011998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	31.76	34.80	10.14	11.66	7.60	0	258	30	258	30	15202	0.030995	UNKNOWN

zChaff	minisat	SatELite
0.001	0.003999	0.009998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	29.44	39.72	9.50	11.68	7.01	0	208	24	208	24	11642	0.023996	UNKNOWN

zChaff	minisat	SatELite
0.002	0.003999	0.009998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	31.87	34.91	10.29	11.64	7.59	0	257	30	257	30	14881	0.028995	UNKNOWN

zChaff	minisat	SatELite
0.001	0.001999	0.010998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	29.44	39.72	9.50	11.68	7.01	0	208	24	208	24	11593	0.025996	UNKNOWN

zChaff	minisat	SatELite
0.001	0.003999	0.010998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	31.51	34.99	9.95	11.44	7.63	0	247	29	247	29	14375	0.029995	UNKNOWN

zChaff	minisat	SatELite
0	0.002999	0.010998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	29.48	39.35	9.41	11.57	7.10	0	202	24	202	24	11183	0.024996	UNKNOWN

zChaff	minisat	SatELite
0.002	0.001999	0.010998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	31.62	35.10	10.10	11.42	7.62	0	246	29	246	29	14111	0.027995	UNKNOWN

zChaff	minisat	SatELite
0.001	0.002999	0.009998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	29.48	39.35	9.41	11.57	7.10	0	202	24	202	24	11138	0.024996	UNKNOWN

zChaff	minisat	SatELite
0.002	0.002999	0.010998