rovers1_v01a.renamed-as.sat05-3975.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
258	4366	89.92	12.76	89.92	0.07	87.24

zChaff	minisat	SatELite
0	0.002999	0.086986

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	91.28	13.37	91.28	0.12	86.63	0	1957	45	1957	45	323353	0.219966	UNKNOWN

zChaff	minisat	SatELite
0	0.000999	0.085986

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	93.25	9.52	93.25	0.07	90.48	0	156	4	156	4	32770	0.031995	UNKNOWN

zChaff	minisat	SatELite
0.001	0.003999	0.136979

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	94.92	7.91	94.92	0.07	92.09	0	230	5	230	5	36245	0.032994	UNKNOWN

zChaff	minisat	SatELite
0.001	0.002999	0.160975

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	93.25	9.52	93.25	0.07	90.48	0	156	4	156	4	32770	0.031995	UNKNOWN

zChaff	minisat	SatELite
0.001	0.002999	0.139978

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	94.76	8.04	94.76	0.07	91.96	0	360	8	360	8	64655	0.049992	UNKNOWN

zChaff	minisat	SatELite
0.001	0.002999	0.161975

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	93.25	9.52	93.25	0.07	90.48	0	156	4	156	4	32770	0.030995	UNKNOWN

zChaff	minisat	SatELite
0	0.004999	0.137979

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	94.92	7.91	94.92	0.07	92.09	0	230	5	230	5	36245	0.030995	UNKNOWN

zChaff	minisat	SatELite
0.001	0.005999	0.172973

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	93.25	9.52	93.25	0.07	90.48	0	156	4	156	4	32770	0.029995	UNKNOWN

zChaff	minisat	SatELite
0.001	0.003999	0.143978