rovers4_v01a.shuffled-as.sat05-4046.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
238	3163	66.77	74.39	89.54	27.44	20.17

zChaff	minisat	SatELite
0	0.003999	0.112982

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	65.78	74.09	86.76	26.88	20.34	1	1924	61	1924	61	152364	0.083987	UNKNOWN

zChaff	minisat	SatELite
0	0.002999	0.048992

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	62.62	89.47	91.94	33.00	7.83	0	533	17	533	17	41183	0.038994	UNKNOWN

zChaff	minisat	SatELite
0	0.002999	0.077988

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	68.62	77.14	94.53	28.34	20.56	0	167	5	167	5	17644	0.012998	UNKNOWN

zChaff	minisat	SatELite
0	0.003999	0.080987

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	67.68	77.45	93.22	28.57	20.28	0	125	4	125	4	10457	0.010998	UNKNOWN

zChaff	minisat	SatELite
0	0.002999	0.074988

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	68.06	77.19	94.15	28.69	20.34	0	361	11	361	11	33056	0.021996	UNKNOWN

zChaff	minisat	SatELite
0	0.004999	0.073988

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	67.24	78.49	93.10	28.95	19.18	0	165	5	165	5	15791	0.015997	UNKNOWN

zChaff	minisat	SatELite
0.001	0.004999	0.070989

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	68.62	77.14	94.53	28.34	20.56	0	167	5	167	5	17644	0.015997	UNKNOWN

zChaff	minisat	SatELite
0	0.002999	0.081987

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	67.68	77.45	93.22	28.57	20.28	0	125	4	125	4	10457	0.011998	UNKNOWN

zChaff	minisat	SatELite
0	0.003999	0.073988