f34-b4-s0-0.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
120	516	37.60	32.56	12.79	9.50	9.69

zChaff	minisat	SatELite
0.017997	0.010998	0.047992

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	37.60	32.56	12.79	10.27	10.08	0	0	0	0	0	2216	0.002999	UNKNOWN

zChaff	minisat	SatELite
0.017997	0.010998	0.047992

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	37.60	32.56	12.79	10.27	10.08	0	0	0	0	0	1459	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.017997	0.010998	0.047992

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	37.60	32.56	12.79	10.27	10.08	0	0	0	0	0	2086	0.003999	UNKNOWN

zChaff	minisat	SatELite
0.017997	0.010998	0.047992

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	37.60	32.56	12.79	10.27	10.08	0	0	0	0	0	1421	0.002999	UNKNOWN

zChaff	minisat	SatELite
0.017997	0.010998	0.047992

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	37.60	32.56	12.79	10.27	10.08	0	0	0	0	0	2088	0.002999	UNKNOWN

zChaff	minisat	SatELite
0.017997	0.010998	0.047992

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	37.60	32.56	12.79	10.27	10.08	0	0	0	0	0	1421	0.003999	UNKNOWN

zChaff	minisat	SatELite
0.017997	0.010998	0.047992

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	37.60	32.56	12.79	10.27	10.08	0	0	0	0	0	2086	0.004999	UNKNOWN

zChaff	minisat	SatELite
0.017997	0.010998	0.047992

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	37.60	32.56	12.79	10.27	10.08	0	0	0	0	0	1421	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.017997	0.010998	0.047992