f60-b7-s0-0.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
560	5046	31.21	31.21	0.12	6.72	6.72

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	31.28	31.17	0.12	6.72	6.80	0	18	0	18	0	20149	0.050992	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	31.24	31.27	0.12	6.79	6.79	0	10	0	10	0	13877	0.034994	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	31.28	31.17	0.12	6.72	6.80	0	18	0	18	0	20143	0.051992	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	31.24	31.27	0.12	6.79	6.79	0	10	0	10	0	13877	0.034994	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	31.21	31.21	0.12	6.78	6.78	0	0	0	0	0	0	0.004999	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	31.21	31.21	0.12	6.78	6.78	0	0	0	0	0	0	0.004999	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	31.21	31.21	0.12	6.78	6.78	0	0	0	0	0	0	0.005999	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	31.21	31.21	0.12	6.78	6.78	0	0	0	0	0	0	0.003999	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut