aim-200-2_0-yes1-4.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
200	400	50.75	49.50	0.50	16.25	15.75

zChaff	minisat	SatELite
0.001999	0.003999	0.011998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	51.01	49.25	0.50	16.33	15.83	0	2	0	2	0	1333	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.002	0.002999	0.012998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	51.01	49.25	0.50	16.33	15.83	0	2	0	2	0	652	0.002999	UNKNOWN

zChaff	minisat	SatELite
0.003	0.003999	0.011998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	51.01	49.25	0.50	16.33	15.83	0	2	0	2	0	1329	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.003	0.004999	0.012998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	51.01	49.25	0.50	16.33	15.83	0	2	0	2	0	650	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.003	0.001999	0.013997

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	50.75	49.50	0.50	16.25	15.75	0	0	0	0	0	52	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.001999	0.003999	0.011998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	50.75	49.50	0.50	16.25	15.75	0	0	0	0	0	30	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.001999	0.003999	0.011998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	50.75	49.50	0.50	16.25	15.75	0	0	0	0	0	52	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.001999	0.003999	0.011998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	50.75	49.50	0.50	16.25	15.75	0	0	0	0	0	30	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.001999	0.003999	0.011998