rovers5_ks99i.shuffled-as.sat05-4041.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
1437	29170	75.03	74.06	99.09	24.37	25.35

zChaff	minisat	SatELite
0.098986	0.015997	1.09983

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	74.72	74.26	99.01	24.66	25.14	0	2223	8	2223	8	6531139	2.73458	UNKNOWN

zChaff	minisat	SatELite
0.044993	0.025996	0.913861

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	76.26	73.63	99.07	23.15	25.81	0	471	2	471	2	1653556	0.704892	UNKNOWN

zChaff	minisat	SatELite
0.015997	0.021996	1.04484

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	75.03	74.06	99.09	24.39	25.39	0	0	0	0	0	1687	0.014997	UNKNOWN

zChaff	minisat	SatELite
0.098986	0.015997	1.09983

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	75.03	74.06	99.09	24.39	25.39	0	0	0	0	0	1400	0.011998	UNKNOWN

zChaff	minisat	SatELite
0.098986	0.015997	1.09983

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	75.11	73.98	99.08	24.31	25.46	0	286	1	286	1	182687	0.095985	UNKNOWN

zChaff	minisat	SatELite
0.048992	0.017997	1.3128

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	75.28	73.97	99.09	24.15	25.47	0	94	0	94	0	46964	0.031995	UNKNOWN

zChaff	minisat	SatELite
0.056992	0.014997	1.10283

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	75.03	74.06	99.09	24.39	25.39	0	0	0	0	0	1687	0.018997	UNKNOWN

zChaff	minisat	SatELite
0.098986	0.015997	1.09983

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	75.03	74.06	99.09	24.39	25.39	0	0	0	0	0	1400	0.011998	UNKNOWN

zChaff	minisat	SatELite
0.098986	0.015997	1.09983