jnh201.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
100	800	28.00	23.75	7.00	4.38	7.75

zChaff	minisat	SatELite
0	0.001999	0.003999

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	29.60	24.39	8.13	4.75	8.28	0	148	18	148	18	12577	0.028995	UNKNOWN

zChaff	minisat	SatELite
0.001	0.002999	0.006998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	32.80	23.57	8.05	4.54	9.08	0	117	15	117	15	9656	0.021996	UNKNOWN

zChaff	minisat	SatELite
0	0.003999	0.004999

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	29.77	24.73	8.55	4.89	8.24	0	145	18	145	18	12315	0.026995	UNKNOWN

zChaff	minisat	SatELite
0.001	0.002999	0.003999

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	32.75	23.68	8.19	4.68	9.06	0	116	14	116	14	9610	0.020996	UNKNOWN

zChaff	minisat	SatELite
0	0.002999	0.005999

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	29.82	24.40	8.13	4.82	8.73	0	136	17	136	17	11767	0.025996	UNKNOWN

zChaff	minisat	SatELite
0.001	0.001999	0.004999

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	32.46	23.77	8.12	4.64	8.99	0	110	14	110	14	9289	0.021996	UNKNOWN

zChaff	minisat	SatELite
0.001	0.001999	0.004999

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	30.03	24.62	8.41	4.80	8.71	0	134	17	134	17	11568	0.022996	UNKNOWN

zChaff	minisat	SatELite
0	0.001999	0.004999

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	32.46	23.77	8.12	4.64	8.99	0	110	14	110	14	9245	0.020996	UNKNOWN

zChaff	minisat	SatELite
0	0.000999	0.002999