depots3_ks99i.renamed-as.sat05-3945.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
1037	27444	99.39	4.46	99.39	0.00	95.54

zChaff	minisat	SatELite
0.045994	0.016997	0.421935

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	99.34	4.82	99.34	0.03	95.18	0	2135	8	2135	8	4241468	0.987849	UNKNOWN

zChaff	minisat	SatELite
0.045994	0.014997	0.403938

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	99.39	4.46	99.39	0.03	95.54	0	0	0	0	0	1007	0.008998	UNKNOWN

zChaff	minisat	SatELite
0.045994	0.016997	0.421935

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	99.39	4.46	99.39	0.03	95.54	0	0	0	0	0	1007	0.015997	UNKNOWN

zChaff	minisat	SatELite
0.045994	0.016997	0.421935

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	99.39	4.46	99.39	0.03	95.54	0	0	0	0	0	1007	0.006998	UNKNOWN

zChaff	minisat	SatELite
0.045994	0.016997	0.421935

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	99.39	4.47	99.39	0.03	95.53	0	126	0	126	0	63086	0.029995	UNKNOWN

zChaff	minisat	SatELite
0.044993	0.015997	0.411937

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	99.39	4.46	99.39	0.03	95.54	0	0	0	0	0	1007	0.007998	UNKNOWN

zChaff	minisat	SatELite
0.045994	0.016997	0.421935

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	99.39	4.46	99.39	0.03	95.54	0	0	0	0	0	1007	0.014997	UNKNOWN

zChaff	minisat	SatELite
0.045994	0.016997	0.421935

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	99.39	4.46	99.39	0.03	95.54	0	0	0	0	0	1007	0.008998	UNKNOWN

zChaff	minisat	SatELite
0.045994	0.016997	0.421935