aim-200-3_4-yes1-2.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
200	680	51.76	48.24	0.00	13.09	12.65

zChaff	minisat	SatELite
0.002	0.001999	0.011998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	52.02	47.98	0.00	13.34	12.89	0	13	2	13	2	2394	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.002	0.001999	0.013997

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	52.38	47.62	0.00	13.24	12.80	0	8	1	8	1	1161	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.005999	0.003999	0.013997

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	52.02	47.98	0.00	13.34	12.89	0	13	2	13	2	2394	0.002999	UNKNOWN

zChaff	minisat	SatELite
0.002	0.003999	0.012998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	52.38	47.62	0.00	13.24	12.80	0	8	1	8	1	1161	0.002999	UNKNOWN

zChaff	minisat	SatELite
0.005999	0.002999	0.011998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	51.76	48.24	0.00	13.09	12.65	0	0	0	0	0	0	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.002	0.001999	0.011998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	51.76	48.24	0.00	13.09	12.65	0	0	0	0	0	0	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.002	0.001999	0.011998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	51.76	48.24	0.00	13.09	12.65	0	0	0	0	0	0	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.002	0.001999	0.011998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	51.76	48.24	0.00	13.09	12.65	0	0	0	0	0	0	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.002	0.001999	0.011998