rand_net60-30-1.miter.shuffled.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
3600	10681	66.16	66.27	65.16	20.92	20.55

zChaff	minisat	SatELite
0.610907	0.280957	1.21582

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	64.63	64.63	59.71	20.43	20.13	0	1445	14	1445	14	5813387	3.2705	UNKNOWN

zChaff	minisat	SatELite
0.747887	0.290955	1.18782

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	65.00	68.54	63.97	21.63	17.83	0	354	3	354	3	1972979	1.11383	UNKNOWN

zChaff	minisat	SatELite
0.616906	0.400939	1.05584

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	66.16	66.27	65.16	20.92	20.55	0	0	0	0	0	2202823	1.26481	UNKNOWN

zChaff	minisat	SatELite
0.610907	0.280957	1.21582

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	66.16	66.27	65.16	20.92	20.55	0	0	0	0	0	1069630	0.623905	UNKNOWN

zChaff	minisat	SatELite
0.610907	0.280957	1.21582

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	64.80	64.79	60.31	20.48	20.19	0	1306	12	1306	12	5432905	3.03854	UNKNOWN

zChaff	minisat	SatELite
0.718891	0.315951	1.10683

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	65.13	68.30	64.09	21.56	18.11	0	318	3	318	3	1870944	1.05884	UNKNOWN

zChaff	minisat	SatELite
0.594909	0.373943	1.13883

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	66.16	66.27	65.16	20.92	20.55	0	0	0	0	0	2164264	1.20182	UNKNOWN

zChaff	minisat	SatELite
0.610907	0.280957	1.21582

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	66.16	66.27	65.16	20.92	20.55	0	0	0	0	0	1053218	0.565913	UNKNOWN

zChaff	minisat	SatELite
0.610907	0.280957	1.21582