driverlog4_v01i.shuffled-as.sat05-4033.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
679	16124	74.50	69.11	94.23	21.29	26.56

zChaff	minisat	SatELite
0.011998	0.015997	0.25896

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	74.32	69.50	94.19	21.74	26.35	0	4389	27	4389	27	1989050	1.35579	UNKNOWN

zChaff	minisat	SatELite
0.013998	0.010998	0.336948

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	82.28	67.12	95.06	14.46	29.33	0	1525	9	1525	9	543523	0.486925	UNKNOWN

zChaff	minisat	SatELite
0.005999	0.010998	0.306953

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	75.50	70.01	95.70	21.58	26.92	0	249	2	249	2	100551	0.077988	UNKNOWN

zChaff	minisat	SatELite
0.004999	0.014997	0.440932

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	75.66	69.96	95.69	21.55	26.97	0	247	2	247	2	78179	0.069989	UNKNOWN

zChaff	minisat	SatELite
0.011998	0.015997	0.360945

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	75.53	69.81	95.60	21.48	27.05	0	610	4	610	4	194828	0.167974	UNKNOWN

zChaff	minisat	SatELite
0.010998	0.015997	0.433934

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	76.11	69.78	95.67	21.09	27.13	0	341	2	341	2	103359	0.090986	UNKNOWN

zChaff	minisat	SatELite
0.011999	0.014997	0.387941

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	75.50	70.01	95.70	21.58	26.92	0	249	2	249	2	100551	0.079987	UNKNOWN

zChaff	minisat	SatELite
0.005999	0.015997	0.430934

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	75.66	69.96	95.69	21.55	26.97	0	247	2	247	2	78179	0.066989	UNKNOWN

zChaff	minisat	SatELite
0.011998	0.015997	0.362944