f40-b9-s0-0.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
360	1536	37.11	37.89	12.11	9.77	9.57

zChaff	minisat	SatELite
1.57176	1.62175	0.84887

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	37.11	37.89	12.11	10.03	9.70	0	0	0	0	0	6653	0.008998	UNKNOWN

zChaff	minisat	SatELite
1.57176	1.62175	0.84887

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	37.11	37.89	12.11	10.03	9.70	0	0	0	0	0	4316	0.006998	UNKNOWN

zChaff	minisat	SatELite
1.57176	1.62175	0.84887

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	37.11	37.89	12.11	10.03	9.70	0	0	0	0	0	6283	0.008998	UNKNOWN

zChaff	minisat	SatELite
1.57176	1.62175	0.84887

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	37.11	37.89	12.11	10.03	9.70	0	0	0	0	0	4218	0.008998	UNKNOWN

zChaff	minisat	SatELite
1.57176	1.62175	0.84887

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	37.11	37.89	12.11	10.03	9.70	0	0	0	0	0	6285	0.008998	UNKNOWN

zChaff	minisat	SatELite
1.57176	1.62175	0.84887

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	37.11	37.89	12.11	10.03	9.70	0	0	0	0	0	4218	0.007998	UNKNOWN

zChaff	minisat	SatELite
1.57176	1.62175	0.84887

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	37.11	37.89	12.11	10.03	9.70	0	0	0	0	0	6283	0.009998	UNKNOWN

zChaff	minisat	SatELite
1.57176	1.62175	0.84887

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	37.11	37.89	12.11	10.03	9.70	0	0	0	0	0	4218	0.006998	UNKNOWN

zChaff	minisat	SatELite
1.57176	1.62175	0.84887