cnf-r1-b1-k1.2.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
135732	2124	78.06	44.59	75.09	1.79	37.19

zChaff	minisat	SatELite
0.089986	0.054991	0.58691

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	93.17	54.02	92.11	1.90	41.73	135334	806	38	806	38	100334	0.106983	UNKNOWN

zChaff	minisat	SatELite
0.001999	0.003999	0.054991

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	94.85	49.03	91.25	1.43	45.19	135334	376	18	376	18	22101	0.066989	UNKNOWN

zChaff	minisat	SatELite
0.002	0.002999	0.113982

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	94.70	50.50	93.88	1.47	46.20	135334	425	20	425	20	25359	0.074988	UNKNOWN

zChaff	minisat	SatELite
0.001999	0.001999	0.066989

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	94.85	49.03	91.25	1.43	45.19	135334	376	18	376	18	22101	0.072988	UNKNOWN

zChaff	minisat	SatELite
0.001999	0.002999	0.115982

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	93.17	54.02	92.11	1.90	41.73	135334	806	38	806	38	100334	0.105983	UNKNOWN

zChaff	minisat	SatELite
0.001	0.001999	0.053991

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	94.85	49.03	91.25	1.43	45.19	135334	376	18	376	18	22101	0.06499	UNKNOWN

zChaff	minisat	SatELite
0.001	0.005999	0.115982

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	94.70	50.50	93.88	1.47	46.20	135334	425	20	425	20	25359	0.075988	UNKNOWN

zChaff	minisat	SatELite
0.000999	0.003999	0.069989

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	94.85	49.03	91.25	1.43	45.19	135334	376	18	376	18	22101	0.072988	UNKNOWN

zChaff	minisat	SatELite
0.002999	0.001999	0.121981