rand_net70-40-5.miter.shuffled.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
5600	16661	66.78	66.41	65.54	20.65	20.14

zChaff	minisat	SatELite
TimeOut	2171.37	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	66.39	65.97	64.17	20.54	20.04	0	640	4	640	4	4248244	2.46263	UNKNOWN

zChaff	minisat	SatELite
TimeOut	4585.21	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	67.39	66.10	65.23	19.92	20.33	0	152	1	152	1	1370523	0.814876	UNKNOWN

zChaff	minisat	SatELite
TimeOut	2394.05	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	66.78	66.41	65.54	20.65	20.14	0	0	0	0	0	1413839	0.845871	UNKNOWN

zChaff	minisat	SatELite
TimeOut	2171.37	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	66.78	66.41	65.54	20.65	20.14	0	0	0	0	0	674504	0.409937	UNKNOWN

zChaff	minisat	SatELite
TimeOut	2171.37	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	66.46	66.00	64.41	20.56	20.10	0	530	3	530	3	3848417	2.28865	UNKNOWN

zChaff	minisat	SatELite
TimeOut	4652.35	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	67.28	66.15	65.28	20.05	20.30	0	125	1	125	1	1271781	0.753885	UNKNOWN

zChaff	minisat	SatELite
TimeOut	2531.93	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	66.78	66.41	65.54	20.65	20.14	0	0	0	0	0	1380866	0.815875	UNKNOWN

zChaff	minisat	SatELite
TimeOut	2171.37	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	66.78	66.41	65.54	20.65	20.14	0	0	0	0	0	662625	0.39394	UNKNOWN

zChaff	minisat	SatELite
TimeOut	2171.37	TimeOut