jnh17.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
100	850	27.41	30.71	9.65	8.35	5.76

zChaff	minisat	SatELite
0.001	0.002999	0.008998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	37.75	35.73	15.96	11.69	8.54	0	405	48	405	48	16387	0.027995	UNKNOWN

zChaff	minisat	SatELite
0.001	0.000999	0.016997

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	31.63	47.71	14.44	12.98	6.76	0	303	36	303	36	12013	0.023996	UNKNOWN

zChaff	minisat	SatELite
0.001	0.003999	0.007998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	38.82	36.84	17.98	11.84	8.77	0	394	46	394	46	15869	0.027995	UNKNOWN

zChaff	minisat	SatELite
0.001	0.001999	0.012998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	32.06	47.54	14.94	12.93	7.29	0	301	35	301	35	12108	0.022996	UNKNOWN

zChaff	minisat	SatELite
0.001	0.001999	0.007998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	37.34	37.12	16.16	12.01	8.30	0	392	46	392	46	15919	0.026995	UNKNOWN

zChaff	minisat	SatELite
0.002	0.004999	0.014997

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	31.88	47.54	14.39	12.93	6.74	0	301	35	301	35	11862	0.023996	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
rcwb	38.41	37.77	17.60	11.80	8.58	0	384	45	384	45	15542	0.027995	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	32.30	47.37	14.88	12.89	7.26	0	299	35	299	35	11958	0.023996	UNKNOWN

zChaff	minisat	SatELite
0	0.000999	0.009998