f34-b9-s0-0.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
120	516	34.88	37.79	12.79	6.98	7.56

zChaff	minisat	SatELite
0.019998	0.014997	0.05999

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	34.95	37.67	12.82	7.96	7.77	0	1	0	1	0	2196	0.004999	UNKNOWN

zChaff	minisat	SatELite
0.016997	0.013997	0.06199

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	34.88	37.79	12.79	7.95	7.75	0	0	0	0	0	1455	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.019998	0.014997	0.05999

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	34.95	37.67	12.82	7.96	7.77	0	1	0	1	0	2066	0.002999	UNKNOWN

zChaff	minisat	SatELite
0.017998	0.014997	0.06199

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	34.88	37.79	12.79	7.95	7.75	0	0	0	0	0	1427	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.019998	0.014997	0.05999

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	34.95	37.67	12.82	7.96	7.77	0	1	0	1	0	2068	0.003999	UNKNOWN

zChaff	minisat	SatELite
0.017998	0.015997	0.05999

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	34.88	37.79	12.79	7.95	7.75	0	0	0	0	0	1427	0.002999	UNKNOWN

zChaff	minisat	SatELite
0.019998	0.014997	0.05999

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	34.95	37.67	12.82	7.96	7.77	0	1	0	1	0	2066	0.003999	UNKNOWN

zChaff	minisat	SatELite
0.016997	0.015997	0.06299

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	34.88	37.79	12.79	7.95	7.75	0	0	0	0	0	1427	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.019998	0.014997	0.05999