driverlog4_ks99i.shuffled-as.sat05-4021.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
920	16394	73.16	76.26	98.90	26.13	23.02

zChaff	minisat	SatELite
0.005	0.016997	0.311952

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	73.46	75.62	98.64	25.74	23.58	0	3066	19	3066	19	2837880	1.08083	UNKNOWN

zChaff	minisat	SatELite
0.005	0.014997	0.293955

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	72.05	79.41	98.85	27.27	19.91	0	651	4	651	4	691226	0.272958	UNKNOWN

zChaff	minisat	SatELite
0.004999	0.015997	0.289955

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	73.16	76.26	98.90	26.19	23.09	0	0	0	0	0	858	0.007998	UNKNOWN

zChaff	minisat	SatELite
0.005	0.016997	0.311952

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	73.16	76.26	98.90	26.19	23.09	0	0	0	0	0	665	0.006998	UNKNOWN

zChaff	minisat	SatELite
0.005	0.016997	0.311952

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	73.08	76.28	98.87	26.25	23.06	0	376	2	376	2	136176	0.056991	UNKNOWN

zChaff	minisat	SatELite
0.008998	0.015997	0.293955

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	73.01	76.69	98.89	26.33	22.65	0	92	1	92	1	38500	0.019996	UNKNOWN

zChaff	minisat	SatELite
0.003999	0.015997	0.289955

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	73.16	76.26	98.90	26.19	23.09	0	0	0	0	0	858	0.010998	UNKNOWN

zChaff	minisat	SatELite
0.005	0.016997	0.311952

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	73.16	76.26	98.90	26.19	23.09	0	0	0	0	0	665	0.004999	UNKNOWN

zChaff	minisat	SatELite
0.005	0.016997	0.311952