jnh305.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
100	900	25.89	27.89	9.89	7.22	7.00

zChaff	minisat	SatELite
0.001	0.003999	0.011998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	35.39	39.73	17.35	10.96	10.05	0	462	51	462	51	18033	0.030995	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
rcn	30.75	48.55	15.86	12.57	8.51	0	383	43	383	43	14480	0.027995	UNKNOWN

zChaff	minisat	SatELite
0.001	0.002999	0.007998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	36.59	39.91	19.73	11.31	11.31	0	449	50	449	50	17540	0.028995	UNKNOWN

zChaff	minisat	SatELite
0	0.002999	0.011998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	31.55	47.99	17.02	12.43	9.75	0	377	42	377	42	13924	0.026995	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
rcw	35.19	40.31	17.15	10.91	10.24	0	451	50	451	50	17556	0.028995	UNKNOWN

zChaff	minisat	SatELite
0.001	0.003999	0.012998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	31.09	48.18	15.93	12.48	8.83	0	379	42	379	42	14389	0.026995	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
rcwb	36.23	40.56	19.31	11.28	11.28	0	439	49	439	49	17150	0.029995	UNKNOWN

zChaff	minisat	SatELite
0	0.002999	0.011998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	31.75	47.72	16.92	12.36	9.89	0	374	42	374	42	13871	0.027995	UNKNOWN

zChaff	minisat	SatELite
0	0.001999	0.008998