driverlog6_ks99i.shuffled-as.sat05-4023.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
567	6338	76.27	72.81	98.19	22.78	26.11

zChaff	minisat	SatELite
0.002	0.003999	0.237963

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	74.15	73.23	96.86	24.51	25.27	0	2674	42	2674	42	810987	0.272958	UNKNOWN

zChaff	minisat	SatELite
0.003	0.002999	0.152976

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	83.62	70.20	98.01	15.53	28.85	0	557	9	557	9	192380	0.068989	UNKNOWN

zChaff	minisat	SatELite
0.003	0.004999	0.198969

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	76.27	72.81	98.19	22.96	26.32	0	0	0	0	0	453	0.003999	UNKNOWN

zChaff	minisat	SatELite
0.002	0.003999	0.237963

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	76.27	72.81	98.19	22.96	26.32	0	0	0	0	0	311	0.002999	UNKNOWN

zChaff	minisat	SatELite
0.002	0.003999	0.237963

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	75.95	73.09	98.10	23.24	26.00	0	292	5	292	5	95218	0.033994	UNKNOWN

zChaff	minisat	SatELite
0.001	0.005999	0.220966

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	76.88	72.60	98.17	22.34	26.53	0	50	1	50	1	17442	0.008998	UNKNOWN

zChaff	minisat	SatELite
0.001999	0.005999	0.228965

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	76.27	72.81	98.19	22.96	26.32	0	0	0	0	0	453	0.002999	UNKNOWN

zChaff	minisat	SatELite
0.002	0.003999	0.237963

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	76.27	72.81	98.19	22.96	26.32	0	0	0	0	0	311	0.003999	UNKNOWN

zChaff	minisat	SatELite
0.002	0.003999	0.237963