f83-b1-s0-0.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
686	6816	64.22	66.78	63.34	20.77	18.41

zChaff	minisat	SatELite
0.007999	0.010998	0.05999

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	64.98	67.42	66.19	22.25	19.86	0	294	4	294	4	225073	0.170974	UNKNOWN

zChaff	minisat	SatELite
0.008998	0.009998	0.057991

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	63.47	68.17	64.65	22.39	19.39	0	139	2	139	2	80213	0.06299	UNKNOWN

zChaff	minisat	SatELite
0.008999	0.008998	0.058991

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	64.98	67.42	66.19	22.25	19.86	0	294	4	294	4	106285	0.082987	UNKNOWN

zChaff	minisat	SatELite
0.008999	0.009998	0.058991

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	63.47	68.17	64.65	22.39	19.39	0	139	2	139	2	53668	0.043993	UNKNOWN

zChaff	minisat	SatELite
0.008999	0.010998	0.058991

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	64.98	67.42	66.19	22.25	19.86	0	294	4	294	4	109052	0.086986	UNKNOWN

zChaff	minisat	SatELite
0.009998	0.009998	0.057991

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	63.47	68.17	64.65	22.39	19.39	0	139	2	139	2	54268	0.046992	UNKNOWN

zChaff	minisat	SatELite
0.008998	0.009998	0.057991

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	64.98	67.42	66.19	22.25	19.86	0	294	4	294	4	106285	0.084987	UNKNOWN

zChaff	minisat	SatELite
0.008999	0.008998	0.058991

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	63.47	68.17	64.65	22.39	19.39	0	139	2	139	2	53668	0.043993	UNKNOWN

zChaff	minisat	SatELite
0.008999	0.008998	0.057991