jnh210.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
100	800	27.12	30.25	8.25	7.75	5.88

zChaff	minisat	SatELite
0.001	0.002999	0.003999

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	31.01	37.99	11.91	10.88	6.57	0	313	39	313	39	17017	0.031995	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
rcn	28.75	44.32	11.90	11.36	5.86	0	254	32	254	32	12122	0.023996	UNKNOWN

zChaff	minisat	SatELite
0.003	0.001999	0.008998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	31.92	38.79	13.33	10.91	6.67	0	305	38	305	38	16603	0.028995	UNKNOWN

zChaff	minisat	SatELite
0.001	0.002999	0.010998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	28.94	44.32	12.09	11.36	6.04	0	254	32	254	32	12125	0.023996	UNKNOWN

zChaff	minisat	SatELite
0.002	0.002999	0.009998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	30.72	38.35	11.65	10.64	6.43	0	302	38	302	38	16157	0.029995	UNKNOWN

zChaff	minisat	SatELite
0.001	0.003999	0.011998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	28.86	43.92	11.80	11.25	5.81	0	249	31	249	31	11723	0.022996	UNKNOWN

zChaff	minisat	SatELite
0.001999	0.002999	0.009998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	31.62	39.13	13.04	10.67	6.52	0	294	37	294	37	15836	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
rcwnb	29.04	43.92	11.98	11.25	5.99	0	249	31	249	31	11742	0.021996	UNKNOWN

zChaff	minisat	SatELite
0.002	0.000999	0.010998