vmpc_31.shuffled-as.sat05-1950.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
961	146909	60.36	59.36	39.31	16.92	17.80

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	58.36	56.84	30.42	15.73	16.91	0	61956	42	61956	42	38490109	537.525	UNKNOWN

zChaff	minisat	SatELite
TimeOut	1214.75	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	74.31	49.96	41.62	10.92	21.92	0	27591	19	27591	19	16510728	275.022	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	63.07	61.71	49.42	18.09	19.21	0	30044	20	30044	20	30902976	429.553	UNKNOWN

zChaff	minisat	SatELite
TimeOut	5394.27	5751.03

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	69.85	52.96	45.49	16.50	20.60	0	19960	14	19960	14	15452724	240.784	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	62.25	61.26	46.82	17.95	18.68	0	35758	24	35758	24	32428658	449.635	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	70.45	52.56	44.93	15.71	20.78	0	21045	14	21045	14	15563856	251.644	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	63.07	61.71	49.42	18.09	19.21	0	30044	20	30044	20	30902976	429.561	UNKNOWN

zChaff	minisat	SatELite
TimeOut	5658.27	5780.75

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	69.85	52.96	45.49	16.50	20.60	0	19960	14	19960	14	15452724	228.89	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut