f34-b1-s0-0.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
120	516	40.31	35.66	12.79	7.56	6.98

zChaff	minisat	SatELite
0.015998	0.013997	0.053991

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	40.31	35.66	12.79	7.95	7.75	0	0	0	0	0	2229	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.015998	0.013997	0.053991

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	40.31	35.66	12.79	7.95	7.75	0	0	0	0	0	1395	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.015998	0.013997	0.053991

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	40.31	35.66	12.79	7.95	7.75	0	0	0	0	0	2099	0.002999	UNKNOWN

zChaff	minisat	SatELite
0.015998	0.013997	0.053991

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	40.31	35.66	12.79	7.95	7.75	0	0	0	0	0	1359	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.015998	0.013997	0.053991

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	40.31	35.66	12.79	7.95	7.75	0	0	0	0	0	2101	0.003999	UNKNOWN

zChaff	minisat	SatELite
0.015998	0.013997	0.053991

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	40.31	35.66	12.79	7.95	7.75	0	0	0	0	0	1359	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.015998	0.013997	0.053991

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	40.31	35.66	12.79	7.95	7.75	0	0	0	0	0	2099	0.003999	UNKNOWN

zChaff	minisat	SatELite
0.015998	0.013997	0.053991

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	40.31	35.66	12.79	7.95	7.75	0	0	0	0	0	1359	0.002999	UNKNOWN

zChaff	minisat	SatELite
0.015998	0.013997	0.053991