vmpc_32.renamed-as.sat05-1919.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
1024	161664	99.96	0.10	39.33	0.04	39.27

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	99.92	0.19	33.70	0.08	33.59	0	76602	47	76602	47	47524188	370.36	UNKNOWN

zChaff	minisat	SatELite
9721.38	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	99.96	0.10	39.33	0.04	39.27	0	0	0	0	0	2246	0.088986	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	99.95	0.13	53.00	0.05	52.92	0	41684	26	41684	26	38736272	334.133	UNKNOWN

zChaff	minisat	SatELite
9118.83	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	99.96	0.10	39.33	0.04	39.27	0	0	0	0	0	2246	0.091986	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	99.94	0.14	50.44	0.06	50.35	0	47879	30	47879	30	40452564	327.687	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	99.96	0.10	39.33	0.04	39.27	0	0	0	0	0	2246	0.090986	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	99.95	0.13	53.00	0.05	52.92	0	41684	26	41684	26	38736272	318.177	UNKNOWN

zChaff	minisat	SatELite
9301.33	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	99.96	0.10	39.33	0.04	39.27	0	0	0	0	0	2246	0.093985	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut