rand_net60-40-10.miter.shuffled.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
4800	14281	66.70	66.49	65.54	20.55	20.26

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	66.46	66.31	64.68	20.47	20.11	0	348	2	348	2	2283134	1.3168	UNKNOWN

zChaff	minisat	SatELite
TimeOut	7714.39	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	67.09	66.29	65.34	20.09	20.38	0	83	1	83	1	725875	0.424935	UNKNOWN

zChaff	minisat	SatELite
TimeOut	7607.98	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	66.70	66.49	65.54	20.55	20.26	0	0	0	0	0	707971	0.431934	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	66.70	66.49	65.54	20.55	20.26	0	0	0	0	0	348946	0.212967	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	66.49	66.34	64.78	20.47	20.11	0	310	2	310	2	2083411	1.20282	UNKNOWN

zChaff	minisat	SatELite
TimeOut	6543.89	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	67.05	66.31	65.36	20.13	20.37	0	75	1	75	1	678914	0.410937	UNKNOWN

zChaff	minisat	SatELite
TimeOut	8909.32	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	66.70	66.49	65.54	20.55	20.26	0	0	0	0	0	696766	0.408937	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	66.70	66.49	65.54	20.55	20.26	0	0	0	0	0	344080	0.213967	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut