jnh304.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
100	900	24.67	29.67	7.78	8.33	5.56

zChaff	minisat	SatELite
0	0.003999	0.008998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	35.58	38.01	15.09	13.48	8.63	0	529	59	529	59	17225	0.027995	UNKNOWN

zChaff	minisat	SatELite
0.001	0.002999	0.025996

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	27.77	51.84	13.01	14.56	6.41	0	385	43	385	43	15084	0.029995	UNKNOWN

zChaff	minisat	SatELite
0	0.002999	0.013997

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	37.14	39.48	18.18	13.77	9.09	0	515	57	515	57	16738	0.028995	UNKNOWN

zChaff	minisat	SatELite
0	0.001999	0.013997

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	28.21	51.95	13.62	14.59	7.00	0	386	43	386	43	15043	0.025996	UNKNOWN

zChaff	minisat	SatELite
0.001	0.002999	0.013997

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	34.70	39.33	15.42	13.11	8.74	0	511	57	511	57	16438	0.028995	UNKNOWN

zChaff	minisat	SatELite
0	0.002999	0.025996

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	27.83	51.25	13.24	14.40	6.72	0	379	42	379	42	14982	0.030995	UNKNOWN

zChaff	minisat	SatELite
0.001	0.001999	0.011998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	35.84	40.60	17.54	13.28	8.77	0	501	56	501	56	16104	0.027995	UNKNOWN

zChaff	minisat	SatELite
0.001	0.002999	0.013997

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	27.99	51.54	13.51	14.48	6.95	0	382	42	382	42	14891	0.029995	UNKNOWN

zChaff	minisat	SatELite
0.001	0.001999	0.013997